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