| 常用的基于数据流的测试充分性准则 |
| |
| 引用本文： | 王峰,郭长国,宗建建,施寅生. 常用的基于数据流的测试充分性准则[J]. 清华大学学报(自然科学版), 2011, 0(Z1) |
| |
| 作者姓名： | 王峰 郭长国 宗建建 施寅生 |
| |
| 作者单位： | 北京系统工程研究所;中国电子设备系统工程公司; |
| |
| 基金项目： | 国家“八六三”高技术计划项目(2009AA01Z146) |
| |
| 摘 要： | 软件测试所有技术活动的基础,在于测试用例的设计、选择以及评价。如何设计充分的测试集一直是测试人员面对的一个难题。控制流、数据流是分析程序结构的2个主要手段。该文综合介绍了几种在软件单元测试中常用的基于数据流的测试充分性评价准则,如c-use覆盖、p-use覆盖、all-use覆盖、k-dr链覆盖、上下文覆盖等。这些准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测了多少代码还有多少代码未测到。
|
| 关 键 词： | 软件测试 测试充分性准则 数据流 |
Commonly used test adequacy criteria based on data flows |
| |
| WANG Feng,GUO Changguo,ZONG Jianjian,SHI Yinsheng. Commonly used test adequacy criteria based on data flows[J]. Journal of Tsinghua University(Science and Technology), 2011, 0(Z1) |
| |
| Authors: | WANG Feng GUO Changguo ZONG Jianjian SHI Yinsheng |
| |
| Affiliation: | WANG Feng,GUO Changguo,ZONG Jianjian,SHI Yinsheng(1.Beijing Institute of System Engineering,Beijing 100101,China,2.China Electric Equipment and System Engineering Company Ltd.,Beijing 100039,China) |
| |
| Abstract: | The essential step in software testing is to design,select and prioritize test cases.Designing an adequate test set is always difficult.Control-flow and data-flow graphs are the two main means to analyze the test program structure.This paper introduces test adequacy criteria based on data flows that are commonly used when testing software coded with procedure-oriented or object-oriented languages,such as c-use coverage,p-use coverage,all-uses coverage,k-dr chain coverage,and context coverage,which allow a t... |
| |
| Keywords: | software testing test adequacy criteria data flow |
| 本文献已被 CNKI 等数据库收录！ |
|
