DocumentCode :
2850487
Title :
Specification-based Test Generation and Optimization Using Model Checking
Author :
Zeng, Hongwei ; Miao, Huaikou ; Liu, Jing
Author_Institution :
Shanghai Univ., Shanghai
fYear :
2007
fDate :
6-8 June 2007
Firstpage :
349
Lastpage :
355
Abstract :
The capability of model checkers to construct counterexamples provides a basis for automated test generation. However, many model checking-based testing approaches just focus on generating test sets with respect to some coverage criteria. Such test sets generally are large and inefficient because of much redundancy. We propose an on-the-fly approach that performs test generation and redundancy elimination by turns. Our approach employs a test-tree to pick out and represent a subset of tests with equal coverage for a test criterion and no redundancy. Along with model checking for a property, a new test sequence is derived from the counterexample and is used to detect redundant properties, and then is winnowed by the test-tree as well. We demonstrate the approach by applying some small examples to our prototyped algorithm.
Keywords :
automatic test pattern generation; formal specification; program testing; redundancy; automated test generation; model checking; redundancy; specification-based test generation; test-tree; Application software; Automatic testing; Automation; Costs; Formal specifications; Laboratories; Programming; Software engineering; Software testing; Time factors;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Theoretical Aspects of Software Engineering, 2007. TASE '07. First Joint IEEE/IFIP Symposium on
Conference_Location :
Shanghai
Print_ISBN :
978-0-7695-2856-4
Type :
conf
DOI :
10.1109/TASE.2007.46
Filename :
4239978
Link To Document :
بازگشت