Abstract | ||
---|---|---|
We describe a method and algorithm for model-based construction of an on-line reactive planning tester (RPT) for black-box testing of state based systems specified by non-deterministic extended finite state machine (EFSM) models. The key idea of RPT lies in off-line pre-processing of the System Under Test (SUT) model to prepare the data for efficient on-line reactive test planning. A test purpose is attributed to the transitions of the SUT model by a set of Boolean conditions called traps. The result of the off-line analysis is a set of constraints used in online testing for guiding the SUT towards taking the moves represented by trap-labelled transitions in SUT model and generating required data for inputs. We demonstrate the results on a simple example and discuss the practical experiences of using the proposed method. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-15585-7_14 | TAIC PART |
Keywords | Field | DocType |
non-deterministic extended finite state,black-box testing,non-deterministic efsm model,on-line reactive planning tester,on-line planning tester,efficient on-line reactive test,online testing,off-line pre-processing,test purpose,off-line analysis,sut model,black box testing,system under test,extended finite state machine | System under test,Test plan,Time horizon,Simulation,Extended finite-state machine,Reactive planning,Control engineering,Engineering | Conference |
Volume | ISSN | ISBN |
6303 | 0302-9743 | 3-642-15584-7 |
Citations | PageRank | References |
1 | 0.37 | 7 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marko Kääramees | 1 | 2 | 1.45 |
Jüri Vain | 2 | 57 | 12.80 |
Kullo Raiend | 3 | 9 | 1.55 |