TZ_2018

摘要： 一、论述测试与正确性论证 测试是拿出测试数据来进行实际上的测试，而正确性论证则是通过代码规格来论述代码方法实现过程。 很明显大规模覆盖性的测试样例可以很快的发现bug但是要找到bug发生的根源则有一定上的难度，而正确性论证是建立在代码规格上的，所以很容易在论证过程中找到不严谨的可能产生bug的地方。 阅读全文

摘要： （一）总结介绍规格化设计的大致发展历史和为什么得到了人们的重视 早期程序的代码量不是很大所以人们没有意识到规格化设计的重要性，但随着人们需求的增加以及程序功能性的增强，程序代码量越来越大，一个人无法完成庞大程序的编写和维护的工作量，但编写代码的人不一定会是维护程序的人，在阅读代码进行维护时给维护人员 阅读全文

摘要： 第五次作业类图： 度量图： UML时序图： 第五次作业中的电梯和调度器都用到了线程机制，然后在run方法中用到了很多的if-else，所以导致了嵌套比较深。由于这是第一次接触写文件和多线程，在没有合理安排时间下，这是过了提交时间后我才写出来的，所以被评为无效作业了，也就没了公测和互测，写完后自己也不 阅读全文

摘要： 第一次作业： 第一次作业的指导书发下来之后我按着上面的步骤一步一步的做了之后发现项目拉下来了，怎么开始码代码呢...然后在舍友的帮助下才知道怎么建包建类，然后对Java的语法又不是很了解，于是就先把C的代码写了然后照着C程序的代码进行面向过程编程... 第一次作业中未熟练了解到正则表达式的用法，所以 阅读全文