yangfeng123

摘要： 测试与正确性论证的效果差异 测试 测试是通过一系列的数据输入，通过对比程序跑出的结果和预期结果的异同来判断程序的执行正确。 测试的优点：操作简单，易于理解；容易直接定位bug； 测试的缺点：只能判断有问题，而不能确定程序没有问题，通过测试是无法完全确定程序是正确的；同时如果程序的代码数量巨大，构造测 阅读全文

摘要： 调研规格化设计 规格化设计的历史和发展进程网络上实在没有相关的资料......... 下面分析一下问什么得到人们的重视： 规格化将运行细节（即模块如何实现）抽象为用户所需求的行为（即模块做什么），是从具体实现中抽象出模块，需要的仅仅是模块的实现能够匹配我们所依赖的表述形式。每当将一个过程与一个注释（ 阅读全文

摘要： 分析程序结构 使用了eclipse里面的Metrics和AmaterasUML插件生成量化图和类图 第五次作业： 度量： 类图： 第六次作业： 度量： 类图： 第七次作业： 度量： 类图： 分析自己程序的bug 公测被发现的bug 第五次作业在公测中出的bug主要的原因我第一次运用多线程，对它的理论 阅读全文

摘要： 分析程序结构 使用了eclipse里面的Metrics和AmaterasUML插件生成量化图和类图 第一次作业： 度量： 类图： 第一次作业没有充分理解面向对象的思想，只有一个java文件，里面有两个类，但只放在一个文件里面；一个是多项式的类，另一个多项式计算的类； 第二次作业： 度量： 类图： 这 阅读全文