程序正确性证明与程序测试.doc

《程序正确性证明与程序测试.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、1.试比较程序正确性证明与程序测试正确性证明是论证程序达到预期目的的一般性陈述，而该论证与程序输入数据的特定值无关，能够代表穷举性测试。程序测试是指测试者特意挑出一批输入数据，通过运行程序，检查每个输入数据所对应的运行结果是否符合预期要求。Dijkstra说过“程序测试只能证明程序有错，不能说明程序正确”。除非进行穷举行测试。2.什么是程序的正确性？试叙述程序正确性证明的基本思想和过程正确性证明是论证程序达到预期目的的一般性陈述，而该论证与程序输入数据的特定值无关，能够代表穷举性测试。主要是利用谓词演算和演算规则集合来证明程序的部分正确性。主要方法。4.说明程序正确性断言{P}S

2、{Q}的含义，及证明它成立的方法如何确认一个子类是真正的、忠实的合乎规则的子类型？即子类的类型和父类的类型保持一致所要做的工作是：从类不变式、方法的前置和后置条件、状态空间和行为等方面加以约束