MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets

Wang, Rui; Kristensen, Lars Michael; Stolz, Volker

doi:10.1007/978-3-030-00359-3_7

Cited by 3 publications

(6 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Due to the state‐space explosion problem, the algorithm generated an undefined number (i.e., the algorithm never stopped running) of abstract tests for the complete insulin infusion pump model. Based on the state‐space and simulations, the MBT/CPN tool [3] presented better results and prevented the state‐space explosion problem, at the cost of decreasing the coverage of less critical requirements. This situation occurs because the MBT/CPN tool requires testers to define input and output events (i.e., instrumentation of the model), increasing the risk of misleading definitions or missing information.…”

Section: Discussion and Future Research Directionsmentioning

confidence: 99%

“…To improve the feasibility of the state-space approach [48], the simplification of CPN models is required. Besides, in a recent study [3], the authors presented a tool named MBT/CPN, aiming to generate abstract tests from CPN models, providing support for developing tests from simulation or state space.…”

Section: Characterization Of Selected Papersmentioning

confidence: 99%

“…We imported the tool using CPN ML in CPN Tools and ran the algorithms following methodological steps. The MBT/CPN tool, developed by the authors Wang et al [3], is freely available online (provided by the authors as a link for download 3 ) along with the usage instructions. For the state-space and simulation approaches, the tool requires modifying configuration files and defining CPN ML functions based on specific transitions of the CPN model.…”

Section: State-space/simulation Approachesmentioning

confidence: 99%

“…Wang et al [3] proposed the MBT/CPN to assist the generation of test cases using CPN models. We imported the tool using CPN ML in CPN Tools and ran the algorithms following methodological steps.…”

Section: Experiments On Medical Systemsmentioning

confidence: 99%

“…However, to our knowledge, there is still a research gap regarding a comprehensive comparative analysis of abstract test generation approaches focusing on coloured Petri nets (CPN) [2]. Few studies present brief discussions on general advantages and disadvantages, only considering the state‐space and simulation approaches (i.e., Wang et al [3], Silva et al [4], Farooq et al [5], Zhao et al [6], Liu et al [7], and Wang and Chen [8]). To address this gap, we focus on a comprehensive comparative analysis of existing approaches used to generate abstract tests from CPN models of critical systems.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Coloured Petri nets for abstract test generation in software engineering

Sobrinho

Almeida

Silva

et al. 2022

Software Testing Verif & Rel

View full text Add to dashboard Cite

Summary Model‐based testing (MBT) relies on models of the system's behaviour to generate abstract tests. Testers can reuse formal models using MBT to increase confidence in critical systems (e.g., medical and avionic systems). In this article, we investigate the current abstract test generation approaches for CPN to provide insights for testers who need to select a suitable one when applying the MBT using CPN. We conduct a systematic literature review to investigate the existing abstract test generation approaches designed for CPN. Subsequently, focusing on specific implementations and advantages/disadvantages, we experiment with formal models of medical systems during our empirical analysis to improve the discussion on existing abstract test generation approaches for CPN. Our study shows that CPN provides reliable tests quickly, depending on the abstract test generation approach applied.

show abstract

Section: Discussion and Future Research Directionsmentioning

confidence: 99%

Section: Characterization Of Selected Papersmentioning

confidence: 99%

Section: State-space/simulation Approachesmentioning

confidence: 99%

Section: Experiments On Medical Systemsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Coloured Petri nets for abstract test generation in software engineering

Sobrinho

Almeida

Silva

et al. 2022

Software Testing Verif & Rel

View full text Add to dashboard Cite

show abstract

Development and Verification of a Microservice Architecture for a Fire Risk Notification System

Strand,

Kristensen,

Petrucci

2023

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Design and Implementation of Integrated-Based Model (I-BM) Framework in Software Testing

Zulkifli

Gaol

Trisetyarso

et al. 2023

Preprint

View full text Add to dashboard Cite

In software development, the software testing phase is an important process, one of which is the determination of the classification of fault output classes. This paper presents the results of the design and implementation of the integration-based model (I-BM) framework as a software testing framework. The integration-based model (I-BM) framework has the ability to systematically classify software fault output classes in the form of datasets. The research method itself is experimental. This integration-based model (I-BM) framework will document the tested software's fault output based on variables such as function, interface, structure, performance, requirement, documentation, positive, and negative. This I-BM Framework can also be used by software companies' testing divisions. In the final stage of the I-BM framework, the accuracy level of the Fault Output is measured by comparing the fault output of Neural Network Algorithm, SVM, and I-BM to the Actual Expected Fault Output. The average accuracy levels are 0.86, 0.81, 0.85, and 0.85.

show abstract

MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets

Cited by 3 publications

References 10 publications

Coloured Petri nets for abstract test generation in software engineering

Coloured Petri nets for abstract test generation in software engineering

Development and Verification of a Microservice Architecture for a Fire Risk Notification System

Design and Implementation of Integrated-Based Model (I-BM) Framework in Software Testing

Contact Info

Product

Resources

About