Sciweavers

Share
KBSE
2007
IEEE

Synthesis of test purpose directed reactive planning tester for nondeterministic systems

12 years 8 months ago
Synthesis of test purpose directed reactive planning tester for nondeterministic systems
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output observable nondeterministic EFSM with the assumption that all transition paths are feasible. A test purpose is attributed to the IUT model by a set of Boolean variables called traps that are used to measure the progress of the test run. These variables are associated with the transitions of the IUT model. The situation where all traps have been reached means that the test purpose has been achieved. We present a way to construct a tester that at runtime selects a suboptimal test path from trap to trap by finding the shortest path to the next unvisited trap. The principles of reactive planning are implemented in the form of the decision rules of selecting the shortest paths at run-time. The decision rules are constructed in advance from the IUT model and the test purpose. Preliminary experimental results confirm t...
Jüri Vain, Kullo Raiend, Andres Kull, Juhan P
Added 04 Jun 2010
Updated 04 Jun 2010
Type Conference
Year 2007
Where KBSE
Authors Jüri Vain, Kullo Raiend, Andres Kull, Juhan P. Ernits
Comments (0)
books