如果结果不匹配，请 
更多“程序正确性证明是用______来证明程序正确性的方法。”相关的问题
A.利用测试程序来模拟常规处理过程
B.利用程序追踪来显示程序指令在系统中是怎样处理的,是以什么样的顺序处理的
C.用支持性证明材料验证从数据库中抽取的样本
D.在现行系统中运行一批测试交易,用预计结果来验证其准确性
软件测试的方法有三种：静态测试、动态测试和()。
A．程序正确性证明
B．调试
C．验收测试
D．集成测试
软件测试是保证软件质量的重要手段，其首要任务是()。
A．保证软件的正确性
B．改正软件存在的错误
C．发现软件的潜在错误
D．实现程序正确性证明
软件测试是保证软件质量的重要手段，其首要任务是
A．保证软件的正确性
B．改正软件存在的错误
C．发现软件的潜在错误
D．实现程序正确性证明
软件测试是保证软件质量的重要手段，其首要任务是()。
A．保证软件的正确性
B．改正软件存在的错误 ，
C．发现软件的潜在错误
D．实现程序正确性证明
软件测试的目的是(59)，通常可分为白盒测试和黑盒测试。白盒测试根据程序的(60)来设计测试用例，黑盒测试根据软件规格说明来设计测试用例。
A．尽可能多地发现程序中的错误
B．改正程序中的所有错误
C．证明程序是正确的
D．证明程序完成了应完成的功能
软件测试是保证软件可靠性的主要手段之一。测试阶段的根本任务是(28)，设计测试用例的基本目标是(29)。测试大型软件系统时通常由模块测试、集成测试、系统测试、(30)和并行运行等步骤所组成。系统测试通常采 用黑盒法，常用的黑盒测试法有边值分析、等价类划分、错误推测和(31)。系统测试的工作应该由(32)来承担。
A．证明经测试后的程序是正确的
B．确认编码阶段的结束
C．发现并改正软件中的错误
D．利用计算机调试程序和改进程序
A.程序测试的目的是要找出程序中的错误
B.程序测试的目的是要证明程序没有错误
C.黑盒测试一般由计算机专业人员来完成
D.软件开发商推出的软件β版，即为测试版，免费提供给用户使用，属于白盒测试
A.证明程序正确
B.验证程序无错误
C.改正程序错误
D.查找程序错误
下列关于软件测试的目的和准则的叙述中，正确的是（）。
A) 软件测试是证明软件没有错误
B)主要目的是发现程序中的错误
C)主要目的是确定程序中错误的位置
D)测试最好由程序员自己来检查自己的程序
