Communicating sequential processes
Communicating sequential processes
Model-based testing in practice
Proceedings of the 21st international conference on Software engineering
A Discipline of Programming
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Introducing Dynamic Constraints in B
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
Refinement Calculus, Part I: Sequential Nondeterministic Programs
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Using scenarios to support traceability
TEFSE '05 Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
ProTest: An Automatic Test Environment for B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Rigorous development of fault-tolerant agent systems
Rigorous Development of Complex Fault-Tolerant Systems
Synthesis of scenario based test cases from b models
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Systematic performance evaluation based on tailored benchmark applications
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
Hi-index | 0.00 |
In this paper, we present a model-based testing approach based on user provided testing scenarios. In this approach, when a software model is refined to add or modify features, the corresponding testing scenarios are automatically refined to incorporate these changes. The test cases, to be applied on the system under test, are generated from these scenarios. We use the Event-B formalism for software models, while user scenarios are represented as Communicating Sequential Process (CSP) expressions. The presented case study demonstrates how our approach can be used to test different features of a system such as incorporated fault-tolerance mechanisms.