填空题

程序正确性证明是用______来证明程序正确性的方法。

【参考答案】

数学的方法
<上一题 目录 下一题>
热门 试题

填空题
______主要根据输入条件和输出条件确定测试数据，来检查程序是否能够产生正确的输出。
填空题
白盒测试方法是将被测对象看成一个打开的盒子，测试人员了解程序的内部结构和处理过程，测试用例要根据程序的______来设计，测试时要尽可能多地覆盖程序中所出现的所有逻辑路径。
相关试题