程序正确性证明与程序测试由刀豆文库小编整理，希望给你工作、学习、生活带来方便，猜你可能喜欢“程序正确性证明例题”。
1.试比较程序正确性证明与程序测试
正确性证明是论证程序达到预期目的的一般性陈述，而该论证与程序输入数据的特定值无关，能够代表穷举性测试。
程序测试是指测试者特意挑出一批输入数据，通过运行程序，检查每个输入数据所对应的运行结果是否符合预期要求。
Dijkstra说过“程序测试只能证明程序有错，不能说明程序正确”。除非进行穷举行测试。
2.什么是程序的正确性？试叙述程序正确性证明的基本思想和过程
正确性证明是论证程序达到预期目的的一般性陈述，而该论证与程序输入数据的特定值无关，能够代表穷举性测试。主要是利用谓词演算和演算规则集合来证明程序的部分正确性。主要方法。
4.说明程序正确性断言{P}S{Q}的含义，及证明它成立的方法
如何确认一个子类是真正的、忠实的合乎规则的子类型？即子类的类型和父类的类型保持一致所要做的工作是：
从类不变式、方法的前置和后置条件、状态空间和行为等方面加以约束
