Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

INFORMATIK 2007 Informatik trifft Logistik Band 2 Beiträge der 37. Jahrestagung der Gesellschaft für Informatik e.V. (GI) 24. - 27. September 2007 in Bremen P-110, 415-420 (2007).

Gesellschaft für Informatik, Bonn


Otthein Herzog (ed.), Karl-Heinz Rödiger (ed.), Marc Ronthaler (ed.), Rainer Koschke (ed.)

Copyright © Gesellschaft für Informatik, Bonn


Creating test-cases incrementally with model-checkers

F. Wotawa and G. Fraser


Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, they are flexible due to different concrete techniques, and under certain conditions they are also efficient. There are still many issues that need to be resolved in order to achieve widespread acceptance in the industry. Because modelcheckers were not originally designed with test-case generation in mind, a large percentage of the test-cases produced are duplicates. Many of the remaining test-cases share identical prefixes that do not contribute to the overall fault sensitivity of a testsuite. Some test criteria also result in large test-suites of rather short test-cases. In this paper, we address these problems and suggest to create test-cases incrementally instead of separately for each test requirement. For this, heuristics based on an estimated distance between a state and a temporal logic formula are presented, which allows to chose which test-case to extend with regard to which test requirement.

Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-206-1

Last changed 04.10.2013 18:15:08