常用的基于数据流的测试充分性准则.pdfVIP

常用的基于数据流的测试充分性准则 王 峰1，郭长国2，宗建建1，施寅生1 (1 北京系统工程研究所，北京100101；2 中国电子设备系统工程公司，北京100039) 摘 要：本文综合介绍几种在软件单元测试 充分性准则是基于软件的数据流的，其主要 中常用的基于数据流的测试充分性评价准 关注软件中数据的定义和使用，可以用来改 则。这些准则适用于用过程式语言、面向对 进针对基于控制流准则充分的测试集。 象语言编写的程序。测试人员可用这些准则 本文将综合介绍几种基于数据流的测 判断究竟测了多少代码，还有多少代码未测 试充分性评价准则，这些准则主要运用于单 到。 元测试，既可应用于用过程式语言编写的程 关键词：软件测试；测试充分性准则；数据 序，也可应用于用面向对象语言编写的程 流 序。为方便起见，我们假设软件P 满足功能 中图分类号: TM 311. 5 文献标识码: A 需求集合R ，记为（P ，R ）。 文章编号: 2 数据流相关概念与术语 Test Adequacy Criteria Based on Data Flow WANG Feng, GUO Changguo, ZONG Jianjian, （1）变量的定义和使用 SHI Yinsheng ( Beijing Institute of System Engineering, Beijing 使用C、Java 等语言编写的程序包含大 100101, China) 量的变量。变量通过赋值来定义，并在表达 Abstract ：This paper introduce some test adequacy criteria based on data flow commonly used when 式中被使用。下面的赋值语句定义了变量x ： testing software coded with procedure-oriented or x = y+z; object-oriented languages, which allow a tester to 该语句同时也使用了变量y 和z 。下面的赋 determine how much of the code has been tested and 值语句定义了变量x ，并在右侧表达式中使 what remains untested. 用x ： Key words ：Software testing; test adequacy criteria; x = x+y; data flow 声明也被认为是对变量的定义，下面的声明 定义了三个变量x 、y、A[10] ： 1 引言 int x, y, A[10]; 软件测试所有技术活动的基础，在于测 一个输入函数，例如C 语言中的scanf 函数， 试的设计、选择以及评价。如何设计出高质 也被用于定义一个或者多个变量，例如，下 量的、充分的测试集，以最小的代价达到最 面的scanf 语句就定义了变量x 和y ： 佳的测试效果，一直是测试人员苦苦追求的 scanf (“%d%d”, x, y); 目标。所谓“充分性”，是用来度量一个测 同样，下面的C 语言的printf 语句使用或者 试集T 能否验证软件P 满足其需求R 。这种 引用了变量x 和y ： 度量总是相对于某个具体的准则C 的。当测