Test sets generation from algebraic specifications using logic programming
Journal of Systems and Software
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Theory of Modeling and Simulation
Theory of Modeling and Simulation
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Graded CTL model checking for test generation
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
A testing framework for DEVS formalism implementations
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
On-the-fly verification of discrete event simulations by means of simulation purposes
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
A language for test case refinement in the test template framework
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
| Hi-index | 0.00 |
One way to validate a model of a system against its requirements is to simulate it several times under different conditions and observe its behavior in order to compare it with what the system is supposed to do. This paper presents a technique that is widely used in the software testing community but barely known in the modeling and simulation community. We formalize a family of criteria to conduct DEVS model simulations in an ordered way and to cover the most significant simulation scenarios to increase the confidence that the model has been properly validated.