摘要： 1. 论述测试与正确性论证的效果差异，比较其优缺点 测试比较简单，只需要设计测试样例，并检查结果是否符合期望就可以检查程序是否有bug。而正确性论证需要写复杂的公式，需要进行严密的推理才能论证。测试的优点是操作简单，找bug也比较简单，缺点是不能覆盖所有的情况。正确性论证的优点是基本上能覆盖所有的情 阅读全文

只有注册用户登录后才能阅读该文。 阅读全文

摘要： (1)从多线程的协同和同步控制方面，分析和总结自己三次作业来的设计策略及其变化。 首先，第五次作业从单线程过渡到了多线程，这是一个难度的飞跃。我几乎用了一天的时间才理清该怎么写，但最后写出来的却是一个不完整的多线程。因为我没有模拟真实时间，所以捎带和同质根本判断不出来，只能跑一些简单的比如（FR，1 阅读全文

摘要： 我第一次作业一共有一个类，其中包括了主函数和一个方法，说是一个方法，其实就是在主函数里添加了一个过程，跟面向过程类编程并没有什么区别，这个类大概200行左右，因为我没有用正则表达式，所以给自己添了不少麻烦。第二次作业一共有两个类，request类和requeue类，request类相当于C语言的结构 阅读全文