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...

• Type: Conference
• Year: 2007
• Where: KBSE
• Authors: Jüri Vain, Kullo Raiend, Andres Kull, Juhan P. Ernits
• Keywords: IUT Model, KBSE 2007, Software Engineering, Test Purpose, Variables Called Traps