摘要：一、测试与正确性论证的效果差异 从效果上来说,测试的直接结果在于了解了一个程序的测试集,可以知道哪些样例程序能过,哪些不能,从而明白程序哪些功能是正确的,哪些功能还存在不完备或未成功实现的情况。正确性论证的结果则是从规格出发,获得了一篇论证文档,论证的基本单位是类,分别论证了对象的有效实现、对象有效 阅读全文
OO第三次博客
2018-05-29 17:35 by 小削, 239 阅读, 0 推荐, 收藏, 编辑
摘要：规格化设计的发展历史 20世纪60年代以前，软件刚刚诞生，规模较小，编写也没有规范，很少使用系统化的开发方式，通用性十分有限。 20世纪60年代末至20世纪70年代，随着计算机容量与运算速度的增大，软件代码量与规模得到扩大。程序在设计时更倾向于以模块为单位，每个模块专职自己的工作。在模块间交流，在开 阅读全文
OO第二次博客
2018-05-02 19:56 by 小削, 210 阅读, 0 推荐, 收藏, 编辑
摘要：(1)设计策略: 设计策略方面感觉最重要的就是一次次地读指导书吧，无论是线程的数量或是各线程的功能，甚至要建立哪些类，很大程度上都要根据指导书的限制来制定，正确理解解决问题过程中各线程功能，另一方面就是要注意线程安全的问题，比如第5次作业的设计就非常糟糕，在不同的线程类中添加其他线程作为成员，在第6 阅读全文
【第四次作业】OO前三次作业总结
2018-04-04 15:45 by 小削, 197 阅读, 0 推荐, 收藏, 编辑
摘要：作业1：多项式加减 第一次作业要求为按照输入的字符串标准格式进行多项式运算并输出，可以看作是字符串操作的题目，在写之前只学习了java一些基本语法和库函数，将输入的表达式按照正则表达式判断符合格式后去空格，并按“｝”分割后提取各项的指数与系数分别存储于数组中，如果多项式前为负号，则在提取系数时对值取 阅读全文