rabbitswy

摘要： 一、测试与正确性论证 a) 程序测试是指对一个完成了全部或部分功能、模块的计算机程序在正式使用前的检测，以确保程序能按预定的方式正确运行。测试用例由测试数据和预期结果构成，高效的测试应用尽量少的测试用例发现软件尽可能多的错误。但程序测试只能发现错误，测试用例全部通过仍不能证明程序的正确性，穷举测试（ 阅读全文

摘要： １、规格化设计的历史（附参考链接～） 1950，第一次分离，主程序和子程序的分离 产生基本的软件开发过程：分析—设计—编码—测试，使大型软件系统的开发成为可能 1975—1980，第二次分离，规格说明（Spec）和体（body）的分离 说明是类型定义和操作描述，体是操作的具体实现。 （具体的例子就是 阅读全文

摘要： 一、metrics简介 （1）使用 · 使用metrics：首先选中需要进行度量分析的project，右键选择最下的Properties菜单，点击Metrics，选中Enable Metrics复选框，Apply，OK。 · 从 Eclipse 中选择 Window 菜单，然后选择 Show Vie 阅读全文

摘要： 第一次作业：多项式算法 1. 度量分析 2. 作业类图 3. 程序分析 在动手写第一次作业前，“面向对象”和“面向过程”两个名词在我眼里还是一对孪生兄弟——毕竟都是敲代码实现设计，到底有什么大的不同？ 第一堂课，老师反复强调，所谓“面向对象”，就是以数据为中心。类是实现对象的模板，类与对象的区别好比 阅读全文