读书笔记(0927)

 

一、代码覆盖

       基本的度量

       1 2.1 语句覆盖（STATEMENT COVERAGE ） 也称为：行覆盖（line coverage）, 段覆盖（segment coverage）和基本块覆盖（basic block coverage

              ：报告每一个可执行语句是否被执行。

       1 2.2 判定覆盖（DECISION COVERAGE ）：报告是否BOOL型的表达式取值true 和false在控制结构中被测试到了

也被称为：分支覆盖（branch coverage）, 所有边界覆盖（all-edges coverage） 基本路径覆盖（basis path coverage ），C2覆盖 , 判定到判定路径覆盖（decision-decision-path或DDP testing）

       2 2.3 条件覆盖（CONDITION COVERAGE ）：报告每一个子表达式的结果的true 或false ，条件覆盖独立的度量每一个子表达式

       3 2.4 多条件覆盖（MULTIPLE CONDITION COVERAGE ）：报告每一个可能的BOOL型子表达式的组合发生了。

       3 2.5 分支条件组合覆盖（CONDITION/DECISION COVERAGE ）

       4 2.6 修正条件/判定覆盖（MODIFIED CONDITION/DECISION COVERAGE） 也被称为MC/DC 和MCDC

       当以下的需求遇到时，需要考虑用MCDC覆盖：

       • 需求1： 每一个程序模块的入口和出口点都要考虑要至少被调用一次，每个程序的判定到所有可能的结果值要至少转换一次。

       • 需求2：程序的判定被分解为通过逻辑操作符(AND, OR, etc.)连接为BOOL条件。

               每一个条件对于判定的结果值是独立的，或者说单条件的变化将导致判决的变化。

       4 2.6.1 覆盖率的计算公式：

       5 2.7 路径覆盖（PATH COVERAGE ）

       其它度量

       6 3.1 函数覆盖（FUNCTION COVERAGE ）

       6 3.2 函数出入口覆盖（FUNCTION EXITS COVERAGE）

       6 3.3 调用覆盖（CALL COVERAGE ）

       6 3.4 线性代码顺序及跳转覆盖（LINEAR CODE SEQUENCE AND JUMP (LCSAJ) COVERAGE ）

       7 3.4.1 覆盖率的计算公式：

       7 3.5 数据流覆盖（DATA FLOW COVERAGE ）

       8 3.6 目标代码分支覆盖（OBJECT CODE BRANCH COVERAGE ）

       8 3.7 循环覆盖（LOOP COVERAGE ）

       8 3.8 竞争覆盖（RACE COVERAGE）

       8 3.9 比较操作符覆盖（RELATIONAL OPERATOR COVERAGE）

       8 3.10 弱变化覆盖（WEAK MUTATION COVERAGE）

       9 3.11 表覆盖（TABLE COVERAGE）

   结构化测试和功能测试（STRUCTURAL TESTING&FUNCTIONAL TESTING）

 

二、适用的面向方面测试（Adequate Testing of Aspect-Oriented Programs）

1。摘要：将白盒覆盖规则和突变测试结合找出一种适合于面向方面的测试，在系统内使用静态分析指导白盒子规则的选择，利用突变算子去评估测试组是否足够第三的去发现切点和方面中的错误。

2．AOP可以降低日志，持续性和安全等关注点的外在藕合提高模块性。在使用方面代码片段和其量化指示时都将会产生新的编程错误。面向方面系统测试必须考虑片段故障或通过切入点插入的地方（即量化）。

3．由于以下原因使方面测试变的困难：

（1）方面并不是独立的存在。要考虑上下文

（2）方面与编织环境紧紧的联结在一起。

（3）控制和数据与方面或类的源代码的依赖关系并不明显：方面可以变换现有的依赖和引入新的依赖。

？（4）故障可能导致中心关注点和方面交互引发的突发的特性。

4．将基于故障的测试应用到AOP，突变测试将故障注入到现有系统，看测试组是否是充分敏感的检测出共同的故障。