8.1 软件测试目标域软件测试过程模型
8.2 软件测试技术
8.3 静态分析技术-程序正确性证明
8.4 软件测试步骤
8.5 本章小结
相关推荐
梁辰兴2 小时前
软件工程：数据库设计lidtao4 小时前
青少年信息学奥赛C++四阶段学习路线（L1-L4完整体系）三品PLM系统1 天前
PLM平台在制造业档案治理中的技术落地：OPPO设备后勤部架构、编码与权限解析 | 三品软件hans汉斯2 天前
《软件工程与应用》期刊推荐&10月版面征稿中梁辰兴2 天前
软件工程：结构化程序设计技术Dr.kangder2 天前
嵌入式面试总结（七）——哈佛架构与冯·诺依曼架构7177772 天前
软件工程工业化实践：Gitee 智能化软件工厂全链路标准化交付体系解析吴free3 天前
现代软件工程新范式：Harness、LOOP与Graph工程深度解析zhaoshuzhaoshu3 天前
软件需求工程：需求管理详解江畔柳前堤4 天前
HBM：大语言模型时代的「算力血液」——从内存墙到带宽革命的深度拆解