段：单元测试、集成测试、系统测试、确认测试。24NewView新测试：基础结构和标准的测试。25CFG（co
trolFlowGraph）控制流图。26DFGDataFlowGraph数据流图。27FSM有限状态机：afi
itestatemachi
e28软件测试是从需求设计开始。29：继承（I
herita
ce）：如果B类继承A类，那么A类中所有变量和方法B也拥有，并且B还有可以自定义变量和方法。
二、大题
1节点覆盖：测试需求TR：覆盖所有节点。TR0123456测试路径TestPaths写出几条路径使路径能够覆盖上面所有的点。TestPaths01236、0124546
f2边覆盖：测试需求TR覆盖所有的边。TR010212232436454654测试路径写出几条路径使路径能够覆盖上面所有的边。TestPaths01236024546
二、更加代码来写出变量的firstuserlastdef
ff三、谓词、子句覆盖。
f四、控制流图，把代码转化为图
ff变异测试语法描述两个有效和无效的字符串这两种类型可以产生出变异体一个变异体是一个有效字符串的一个变化变异体可能是有效或无效的字符串
f变异是基于“变异操作符”和“基础字符串”
变异是什么每当我们进行变异分析我们使用定义良好的规则定义好的语法描述使系统变化由语法中发展出语法或对象
基础字符串一个语法中的字符串术语“基础”是参考代数的基础条件变异操作符从语法中生成字符串变异的规则变体一个应用程序变异操作的结果一个变异是一个字符串
变异测试的关键是设计变异操作符有时变体字符串是基于基础字符串的有时它们直接派生自语法
杀死变体给定一个变体m属于M对于一个推导D和一个测试t当且仅当t在D上面的输出与t在m上面的输出不同时，t能够“杀死”m。
变异覆盖MC对于每个mMTR只包含一个需求能够杀死变体m变异操作符覆盖MOC对于每个变异操作符TR要只包含一个需求，就是创建一个变异的字符串m，它是从操作符产生的变异产生式覆盖MPC对于每个变异操作符TR包含几个需求创建一个变异字符串m包括能够通过操作符变异的每个产生式
fr