
SUMMARYThis paper explores the generation of conformance test cases for recursive tile systems (RTSs) in the framework of the classical ioco testing theory. The RTS model allows the description of reactive systems with recursion and is very similar to other models like pushdown automata, hyperedge replacement grammars or recursive state machines. Test generation for this kind of infinite state labelled transition systems is seldom explored in the literature. The first part presents an off‐line test generation algorithm for weighted RTSs, a determinizable sub‐class of RTSs, and the second one an on‐line test generation algorithm for the full RTS model. Both algorithms use test purposes to guide test selection through targeted behaviours. Additionally, essential properties relating verdicts produced by generated test cases with both the soundness, with respect to the specification, and the precision, with respect to a test purpose, are proved. Copyright © 2014 John Wiley & Sons, Ltd.
[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM], Recursive Systems, Model-based Testing, IOCO Theory, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM], Recursive Systems, Model-based Testing, IOCO Theory, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 3 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
