2023年12月5日
Floyd归纳断言法验证程序部分正确性
摘要： 1.设断点 一般我们会在如下位置设置断点： (1)程序开始处 (2)程序结束处 (3)循环主干处 2.建断言 (1)开始处A： 一般为题干的要求，写为 (2)结束处C： 一般为输出结果z，写为 (3)循环主干处： （写为） 此处断言最为难建立，一般有三种方法得出断言： 1)从结果倒推 2)观察题目及 阅读全文
posted @ 2023-12-05 19:45 鸢凛 阅读(62) 评论(0) 推荐(0) 编辑