One evaluation of model-based testing and its automation

Model-based testing approaches selection for software projects

“…Testing success is directly associated with the quality of the artefacts received as input for the building of behaviour/structural models used for test generation [16,27,38,39,41]. Constructing models from incomplete, inconsistent, or wrong software artefacts may result in the generation and execution of inappropriate tests to evaluate software characteristics.…”

Computing refactorings of state machines

“…The model was the basis for applying and assessing model-based testing technology in an NM implementation [38].…”

“…As a proof of concept, we show how our techniques were applied in a case study concerned with testing an automotive network controller [38]. We concentrate on one single flat state machine: parallel composition and hierarchical states are not in the scope.…”

“…For each transition, the guard and the assignments to the data space are specified in a well-defined action language. Our work builds on experience with the CASE tool AutoFocus [22] that we used to model industry-size systems to the end of test case generation [37,38,41]. Building a model reflects the process of understanding the requirements.…”

“…Consequently, there is a plethora of tools that enable one to specify systems with these languages. Behavior models are then used to generate simulation and production code [5,14,15] or test cases [4,16,37,38]. They are also subjected to formal verification technology such as model checking [8,12] or automated deductive theorem proving [2,3].…”