Certifying the reliability of software
IEEE Transactions on Software Engineering
Markov analysis of software specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
The engineering of knowledge-based systems: theory and practice
The engineering of knowledge-based systems: theory and practice
WSC '92 Proceedings of the 24th conference on Winter simulation
Building correct simulation models is difficult
WSC '92 Proceedings of the 24th conference on Winter simulation
A Markov Chain Model for Statistical Software Testing
IEEE Transactions on Software Engineering
Validation, verification, and testing techniques throughout the life cycle of a simulation study
WSC '94 Proceedings of the 26th conference on Winter simulation
Statistical testing of software based on a usage model
Software—Practice & Experience
Principles and techniques of simulation validation, verification, and testing
WSC '95 Proceedings of the 27th conference on Winter simulation
Real time validation of man-in-the-loop simulations
WSC '95 Proceedings of the 27th conference on Winter simulation
A knowledge-based approach for the validation of simulation models: the foundation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Simulation model verification and validation: increasing the users' confidence
Proceedings of the 29th conference on Winter simulation
Verification & validation in military simulations
Proceedings of the 29th conference on Winter simulation
Introduction to military training simulation: a guide for discrete event simulationists
Proceedings of the 30th conference on Winter simulation
Verification and validation of simulation models
Proceedings of the 30th conference on Winter simulation
Essential techniques for military modeling and simulation
Proceedings of the 30th conference on Winter simulation
Generating transition probabilities to support model-based software testing
Software—Practice & Experience
Operational Profiles in Software-Reliability Engineering
IEEE Software
Quantitative Analysis of Faults and Failures in a Complex Software System
IEEE Transactions on Software Engineering
A knowledge-based method for the validation of military simulation
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Expert Systems with Applications: An International Journal
A method for visualising possible contexts
International Journal of Advanced Intelligence Paradigms
ISVC'05 Proceedings of the First international conference on Advances in Visual Computing
Hi-index | 0.00 |
Scalability and input domain explosion make it impossible to exhaustively test simulation systems. Improved methods such as statistical usage testing are needed to provide quantitative support for test planning and test management. This paper describes the challenges and the state of the practice of testing simulation systems. A brief introduction to statistical usage testing is provided. An approach to developing an abstract usage model structure appropriate for testing military simulation systems is suggested and illustrated. This approach supports the creation and analysis of test scenarios that are flexible enough to handle a wide range of uses in military simulations.