可以用形式化方法证明软件的需求和设计的正确性和合理性，因此，如果为了降低软件的测试成本和改正错误代价等，可以不用对软件进行测试，也可以保证软件的质量和降低开发成本等软件工程的目标。
举一反三
- 软件工程的目标是： A: 开发软件 B: 提高软件的开发质量 C: 降低软件的开发成本 D: 缩短软件的开发周期
- 第6题(本题:0分) 下面描述正确的是 A: 软件测试是指动态测试 B: 软件测试可以随机地选取测试数据 C: 软件测试是保证软件质量的重要手段 D: 软件测试的目的是发现和改正错误
- 软件测试一般在软件签发给用户( )进行可以降低软件成本. A: 同时 B: 之后 C: 之前 D: 之中
- 软件测试是保证软件质量的主要手段。测试是一个程序的执行过程,其目标是()。 A: 证实软件没有错误 B: 证实软件有错误 C: 发现错误 D: 证明软件可以正常运行
- 软件测试目的是 。（ ） A: 发现当前开发工作中所采用的软件过程的缺陷 B: 对软件质量进行评度量和评估 C: 修正软件错误和缺陷提高软件质量 D: 为了证明软件没有错误