摘要：
一、测试与正确性论证 a) 程序测试是指对一个完成了全部或部分功能、模块的计算机程序在正式使用前的检测，以确保程序能按预定的方式正确运行。测试用例由测试数据和预期结果构成，高效的测试应用尽量少的测试用例发现软件尽可能多的错误。但程序测试只能发现错误，测试用例全部通过仍不能证明程序的正确性，穷举测试（ 阅读全文
摘要：
１、规格化设计的历史（附参考链接～） 1950，第一次分离，主程序和子程序的分离 产生基本的软件开发过程：分析—设计—编码—测试，使大型软件系统的开发成为可能 1975—1980，第二次分离，规格说明（Spec）和体（body）的分离 说明是类型定义和操作描述，体是操作的具体实现。 （具体的例子就是 阅读全文
摘要：
一、metrics简介 （1）使用 · 使用metrics：首先选中需要进行度量分析的project，右键选择最下的Properties菜单，点击Metrics，选中Enable Metrics复选框，Apply，OK。 · 从 Eclipse 中选择 Window 菜单，然后选择 Show Vie 阅读全文