摘要：
论述测试与正确性论证的效果差异，比较其优缺点 程序的正确性论证通过需求规格，论证所写的程序程序是否符合规格的过程。 缺点是不如代码和测试数据直观，且工作量巨大。好处是对代码整体进行了具体的剖析，可以在一定程度上保证程序的正确性。 测试是指通过输入特定数据，检查程序运行结果是否和预期相同。 缺点是只能 阅读全文
摘要：
规格设计的发展历史 规格设计用于对程序设提供分解,抽象等的手段. 在撰写代码规格的时候, 需要对组成部件进行抽象. 在1960s, 软件设计出现危机, 例如 Dijkstra 提出了 goto 语句的种种危害, 引发了软件开发领域长期的论战, 并且在这时候产生了结构化程序设计方法, 例如Pascal 阅读全文
摘要：
基于度量分析程序结构 第五次作业 第六次作业 第七次作业 分析自己程序的 Bug 经过了前三次作业的“教训”，我尝试不看任何的 issue 和微信群答疑，只看指导书来完成本次作业。 第五次作业失误了，没有正确处理括号的输入，错了两个公测点。 第六次作业 IFTTT 对于文件夹的监控理解不够到位。 第 阅读全文
摘要：
基于度量分析程序结构 第一次作业 第二次作业 第三次作业 分析自己程序的 Bug 第一次作业使用 java 正则表达式类库的时候，没有详细查询文档，导致输入串过长的时候，正则表达式类库会爆栈抛出 Error。而我在最外层只 catch 了 Exception，导致程序崩溃。 第二次作业没有被发现 B 阅读全文