无法证明从非形式化的需求说明到源程序的转换是正确的，只能使用评审、测试等各种方法来验证软件。
A、正确;
B、错误
发布时间：2025-05-20 17:24:31
请在 下方输入 要搜索的题目：
推荐参考答案 (
由 快搜搜题库 官方老师解答 )
答案：正确
相关试题
- 1.无法证明从非形式化的需求说明到源程序的转换是正确的，只能使用评审、测试等各种方法来验证软件。
- 2.评审和测试是软件验证和确认的两种有效手段。
- 3.软件测试时需要三类信息：（ ）指需求规格说明书、设计说明书、源程序等。（ ）指测试方案、测试用例、测试驱动程序等。（ ）指计算机辅助测试的工具。
- 4.确认测试的目标是验证软件的________。
- 5.软件测试是对数据库应用系统从需求分析、系统设计到系统实现的最终复审。
- 6.软件测试需求分析阶段，需要用到的测试方法是（）
- 7.判断题：有效性测试是在真实环境下验证被测软件是否满足需求规格说明书列出的需求。
- 8.一个好的策略是找到一个非形式的证明然后试着形式化它。
- 9.软件测试的目的是( )A、试验性运行软件B、发现软件错误C、证明软件正确D、找出软件中全部错误
- 10.性能测试的目的是保证软件的功能符合软件需求（）
