
AbstractDeveloping efficient and automatic testing techniques is one of the major challenges facing software validation community. In this paper, we show how a uniform random generation process of finite automata, developed in a recent work by Bassino and Nicaud, is relevant for many faces of automatic testing. The main contribution is to show how to combine two major testing approaches: model-based testing and random testing. This leads to a new testing technique successfully experimented on a realistic case study. We also illustrate how the power of random testing, applied on a Chinese Postman Problem implementation, points out an error in a well-known algorithm. Finally, we provide some statistics on model-based testing algorithms.
data generators, automata, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Random generation, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], coverage testing), 004, Theoretical Computer Science, model-based testing, Chinese Postman algorithm, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., Computer Science(all)
data generators, automata, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Random generation, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], coverage testing), 004, Theoretical Computer Science, model-based testing, Chinese Postman algorithm, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., Computer Science(all)
| 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 |
