摘要： 测试与正确性论证 测试是检测特定的目标是否符合标准而进行的验证，得出特定的结果。换句话说，测试就是在为代码提供了特定的应用场景，以一定的概率查找出漏洞或错误。它实施起来较简单，但覆盖率和逻辑完整性不如系统的论证。 程序正确性论证是个偏公式化的体系，步骤严格精细，可靠性与稳定性更强，但操作起来具有一定 阅读全文