8.1 软件测试目标域软件测试过程模型
8.2 软件测试技术
8.3 静态分析技术-程序正确性证明
8.4 软件测试步骤
8.5 本章小结
相关推荐
张较瘦_17 小时前
[论文阅读] 人工智能 + 软件工程 | AI助力软件可解释性：从用户评论到自动生成需求与解释张较瘦_1 天前
[论文阅读] 人工智能 + 软件工程 | LLM辅助软件开发：需求如何转化为代码？爱思德学术2 天前
CCF发布《计算领域高质量科技期刊分级目录（2025年版）》workflower2 天前
MDSE和敏捷开发相互矛盾之处：方法论本质的冲突~尼卡~3 天前
软考（软件设计师）软件工程-软件质量，软件测试，McCabe圈复杂度~尼卡~3 天前
软考（软件设计师）软件工程-成本评估模型，软件能力成熟度，软件配置管理No Silver Bullet3 天前
软件工程前端渠道类产品如何精准评估项目规模{⌐■_■}4 天前
【软件工程】tob和toc含义理解~尼卡~4 天前
软考（软件设计师）软件工程-软件过程模型，敏捷开发tuan_zhang4 天前
人机协同的关键枢纽：软件工程3.0中对象模型与模型驱动的融合路径