Mengql

摘要： 一，测试与正确性论证 ①测试是使用测试样例对程序进行检测。 在完成程序后通过测试一些用例可以短时间很高效地找到的bug，但如果想要验证程序有没有bug，测试是难以完全覆盖的。 ②正确性论证是根据代码的逻辑进行验证。 正确性论证相对于测试就需要花费更多的时间去论证，但是覆盖率很高，很好地完成正确性论证 阅读全文

摘要： 1. 规格化设计 随着软件开发项目的工程量的逐步提升，为了保证良好的可移植性和传递性，便开始通过规格来降低程序交接的难度，使得每一个接手非本人程序的程序员也可以轻松读懂工程的目的以及各个类的概述，甚至每一个方法的实现过程和功能。在这一过程中，逐渐产生了规格的特性。就过程规格而言，有以下几个方面：1、 阅读全文

摘要： 第二次博客作业 在五六七次作业中，线程安全问题一直是个难点也是重点，稍微不注意就会有线程间的共享资源被不安全使用从而导致程序出现bug甚至崩溃，所以解决线程安全问题是一个很重要的环节。 线程安全问题的解决有多种，我个人比较喜欢使用简单粗暴的synchronized。Synchronized因为简单适 阅读全文

摘要： 第一次作业 第一次作业是计算多项式，看起来很简单，但在码代码过程中就发现这些那些的细节就很烦。因为之前的编程都会将输入标准化，不需要如同此次作业一样考虑一些刁钻的输入，不需要判断输入的内容。但事实的情况肯定是会和后者一样，所以这些细节的处理对我们来说也是一种锻炼。 因为头回使用Java语言，助教让我 阅读全文