简述软件质量保证的措施。
简述软件质量保证的措施。
发布时间：2025-05-23 15:53:08
请在 下方输入 要搜索的题目：
推荐参考答案 (
由 快搜搜题库 官方老师解答 )
答案：软件质量保证的措施主要包括：基于非执行的测试（也称为复审）、基于执行的测试（即通常所说的软件测试）和程序正确性证明。技术复审主要用来保证在编码之前各阶段产生的文档的质量。基于执行的测试需要在程序编写出来之后进行，是保证软件质量的最后一道防线。 程序正确性证明使用数学方法来严格验证程序是否与它的说明完全一致。
