Title :
Test Sequence Generation from Classification Trees
Author :
Kruse, Peter M. ; Wegener, Joachim
Author_Institution :
Berner & Mattner Systemtechnik GmbH, Berlin, Germany
Abstract :
The combinatorial test design and combinatorial interaction testing are well studied topics. For the generation of dynamic test sequences from a formal specification of combinatorial problems, there has not been much work yet. The classification tree method implements aspects from the field of combinatorial testing. This paper extends the classification tree with additional information to allow the interpretation of the classification tree as a hierarchical concurrent state machine. Using this state machine, our new approach then uses a Multi-agent System to generate test sequences by finding and rating valid paths through the state machine.
Keywords :
finite state machines; formal specification; multi-agent systems; program testing; trees (mathematics); classification trees; combinatorial interaction testing; combinatorial problems; combinatorial test design; combinatorial testing; dynamic test sequences; formal specification; hierarchical concurrent state machine; multiagent system; test sequence generation; Complexity theory; Data models; History; Keyboards; Microwave theory and techniques; Testing; Unified modeling language; classification trees; state machines; test sequence generation;
Conference_Titel :
Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on
Conference_Location :
Montreal, QC
Print_ISBN :
978-1-4577-1906-6
DOI :
10.1109/ICST.2012.139