程序正确性证明-软考在线

程序正确性证明



考试要求：了解

知识路径： > 电子商务系统程序设计基础 > 电子商务系统的测试 > 软件测试的基本方法 > 静态测试

程序正确性证明就是试图利用某种特定的方法，去证明所开发出来的程序是正确的，不存在任何错误。所谓证明，就是确信一个断言真实性的论证。这种证明可以是形式化的或非形式化的。断言是一种逻辑表达式，它规定必须存在的一个程序状态，或者规定在程序执行过程中某一个特定点上程序变量必须满足的条件集合。

更多复习资料
请登录电脑版软考在线 www.rkpass.cn

京B2-20210865 | 京ICP备2020040059号-5