Data dependence based testability transformation in automated test generation

Source-code based test data generation is a process of finding program input on which a selected element, e.g., a target statement, is executed. There exist many test generation methods that automatically find a solution to the test generation problem. The existing methods work well for many program...

Full description

Saved in:

Bibliographic Details
Published in:	16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05) pp. 10 pp. - 254
Main Authors:	Korel, B., Harman, M., Chung, S., Apirukvorapinit, P., Gupta, R., Zhang, Q.
Format:	Conference Proceeding
Language:	English
Published:	IEEE 2005
Subjects:	Automatic testing Computer science Data analysis Educational institutions Evolutionary computation Flow graphs Genetics Information resources Logic Process control
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	Source-code based test data generation is a process of finding program input on which a selected element, e.g., a target statement, is executed. There exist many test generation methods that automatically find a solution to the test generation problem. The existing methods work well for many programs. However, they may fail or are inefficient for programs with complex logic and intricate relationships between program elements. In this paper we present a testability transformation that transforms programs so that the chances of finding a solution are increased when the existing methods fail using only the original program. In our approach data dependence analysis is used to identify statements in the program that affect computation of the fitness function associated with the target statement. The transformed program contains only these statements, and it is used to explore different ways the fitness may be computed. These explorations are inexpensive when using the transformed program as compared to explorations using the original program. As a result, executions in the transformed program that lead to the evaluation of the fitness function to the target value are identified. The identified executions are then used to guide the search in the original program to find an input on which the target statement is executed. In this paper, the approach is evaluated using a case study which demonstrates the potential for this testability transformation to improve the efficacy of the test generation
ISBN:	0769524826 9780769524825
ISSN:	1071-9458 2332-6549
DOI:	10.1109/ISSRE.2005.16