自然科学版 英文版
自然科学版 英文版
自然科学版 英文版

您目前所在的位置:首页 - 期刊简介 - 详细页面

中南大学学报(英文版)

Journal of Central South University

Vol. 13    No. 1    February 2006

[PDF Download]    [Flash Online]

    

A scheme on automated test data generation and its evaluation
CHEN Ji-feng(陈继锋) 1, ZHU Li(朱 利)2, SHEN Jun-yi(沈钧毅)1,
WANG Zhi-hai(王志海) 1

1. Institute of Computer Software, Xi an Jiaotong University, Xi an 710049, China;
2. School of Software, Xi an Jiaotong University, Xi an 710049, China

Abstract:By analyzing some existing test data generation methods, a new automated test data generation approach was presented. The linear predicate functions on a given path was directly used to construct a linear constrain system for input variables. Only when the predicate function is nonlinear, does the linear arithmetic representation need to be computed. If the entire predicate functions on the given path are linear, either the desired test data or the guarantee that the path is infeasible can be gotten from the solution of the constrain system. Otherwise, the iterative refining for the input is required to obtain the desired test data. Theoretical analysis and test results show that the approach is simple and effective, and takes less computation. The scheme can also be used to generate path-based test data for the programs with arrays and loops.

 

Key words: test data generation; linear constrain; linear arithmetic representation

中南大学学报(自然科学版)
  ISSN 1672-7207
CN 43-1426/N
ZDXZAC
中南大学学报(英文版)
  ISSN 2095-2899
CN 43-1516/TB
JCSTFT
版权所有:《中南大学学报(自然科学版、英文版)》编辑部
地 址:湖南省长沙市中南大学 邮编: 410083
电 话: 0731-88879765 传真: 0731-88877727
电子邮箱:zngdxb@csu.edu.cn 湘ICP备09001153号