Automated Test Approach Based on All Paths Covered Optimal Algorithm and Sequence Priority Selected Algorithm

Coloured Petri nets for abstract test generation in software engineering

“…Most studies also applied the state-space approach, differing one each other by the algorithms implemented. Nine studies focused on railway control systems [6,10,11,[32][33][34][35][36][37]. One of them applied the Chinese postman algorithm using the CPN model simulation approach to generate abstract tests [6].…”

“…One of them applied the Chinese postman algorithm using the CPN model simulation approach to generate abstract tests [6]. Eight studies applied other algorithms (e.g., variation of DFS and model checking) using the state-space approach [10,11,[32][33][34][35][36][37]. However, three of the eight studies combined the state-space and structural (i.e., handling the structure of the model) approaches to generate abstract tests [10,32,37].…”

“…Eight studies applied other algorithms (e.g., variation of DFS and model checking) using the state-space approach [10,11,[32][33][34][35][36][37]. However, three of the eight studies combined the state-space and structural (i.e., handling the structure of the model) approaches to generate abstract tests [10,32,37]. Five studies addressed the generation of redundant abstract tests [6,10,32,33,37].…”

“…Currently, testers conduct the abstract test generation based on CPN models by three general approaches: (1) exploring the state-space of the system, (2) conducting model simulations, and (3) handling the structure of the model (e.g., places and transitions). Algorithms and techniques such as the depth-first search (DFS), Chinese postman, and model checking, support specific implementations [6,10,11]. In the remaining of this article, we refer to (1) as the statespace approach, (2) as the simulation approach, and (3) as the structural approach.…”

Hybrid Online Model-Based Testing for Communication-Based Train Control Systems

“…The authors in [7] present a model based railway signaling system and verify its safety-critical specifications, exploring the possibilities of applying modelbased technologies to railway system verification. The authors in [8] introduce automatic test case generation algorithms based on Coloured Petri-Net (CPN). They apply their algorithms on movement authority (MA) handover scenarios (where the MA is transferred from the current ZC to an adjacent ZC when the train is approaching the boundary of the two ZCs) to automatically generate testing cases with an adjustable coverage strategy.…”