摘要：
2，12 测试和面向正确性和健壮性的软件构造 白盒测试：对程序内部代码结构的测试 白盒测试标准： 独立/基本路径测试：对程序所有执行路径进行等价类划分，找出有代表性的最简单的路径（例如循环只需执行一次），设计测试用例使每一条基本路径被至少覆盖一次。 黑盒测试：对程序外部表现出来的行为的测试 测试用例 阅读全文
posted @ 2022-06-13 22:32
feeling123
阅读(39)
评论(0)
推荐(0)
摘要：
8 Equality in ADT and OOP ADT和OOP中的等价性 抽象函数AF：内部表示->抽象表示，我们基于抽象函数AF来定义ADT的等价操作， 从数学角度上来说，”绝对相等“存在 相等关系需满足：自反，对称和传递，是一种等价关系 站在外部观察者角度：对两个对象调用任何相同的操作，都会 阅读全文
posted @ 2022-06-13 20:07
feeling123
阅读(43)
评论(0)
推荐(0)
摘要：
6 Abstract Data Type (ADT) ADT：抽象数据类型 ADT的特性：表示泄漏、抽象函数AF、表示不变量RI Creators：构造器 Producers：生产器 Observers：观察器 Mutators：变值器 不可变数据类型没有变值器 重点： String类型： crea 阅读全文
posted @ 2022-06-13 19:29
feeling123
阅读(84)
评论(0)
推荐(0)
摘要：
4 Data Type and Type Checking 数据类型与类型检验 基本数据类型：int，long,boolean,double,char,float 只有值，没有ID，不可变，且在栈中分配内存 对象数据类型：Classes, interfaces, arrays, enums,anno 阅读全文
posted @ 2022-06-13 16:40
feeling123
阅读(28)
评论(0)
推荐(0)
摘要：
1 Views and Quality Objectives oSoftware Construction 软件的多维度视图及质量目标 划分： 1.按阶段划分 ：build- and run-time views 2.按动态性划分：moment and period views 3.按构造对象的层次 阅读全文
posted @ 2022-06-13 16:09
feeling123
阅读(46)
评论(0)
推荐(0)
浙公网安备 33010602011771号