摘要： 测试与正确性论证 测试根据各种在合理范围内的情况构造对应的测试样例来对程序进行覆盖性测试。 正确性论证则是通过严谨的逻辑语言来对程序达到预期目标的一般性描述。 测试的优点是可以直接对程序进行检查，缺点是没有办法保证测试覆盖全面。 正确性论证优点是可以通过更一般的论证来覆盖程序，能够代表测试穷举性测试 阅读全文