面向对象课程第四次随笔
摘要：
一、测试与正确性论证 测试主要是对产品进行检查和测试，及时地发现程序中的故障和逻辑错误，以保障程序的可靠性。测试可以分为许多种类。测试可以为黑盒，也可以通过程序的逻辑结构进行白盒测试。通过测试用例来构造的测试，只能证明程序有错，不能证明程序无错。 正确性论证是从理论上对程序的正确性进行论证，通过证明 阅读全文
posted @ 2018-06-25 14:17 MBRA 阅读(108) 评论(0) 推荐(0) 编辑
