Certifying the reliability of software
IEEE Transactions on Software Engineering
Box structured information systems
IBM Systems Journal
Adopting Cleanroom software engineering with a phased approach
IBM Systems Journal
A Markov Chain Model for Statistical Software Testing
IEEE Transactions on Software Engineering
Usability analysis with Markov models
ACM Transactions on Computer-Human Interaction (TOCHI)
Usage testing of military simulation systems
Proceedings of the 33nd conference on Winter simulation
Planning and Certifying Software System Reliability
IEEE Software
Tailoring Cleanroom for Industrial Use
IEEE Software
Certification of Software Components
IEEE Transactions on Software Engineering
Foundations of Sequence-Based Software Specification
IEEE Transactions on Software Engineering
Reliability Certification of Software Components
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Confidence-Based Reliability And Statistical Coverage Estimation
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Assessing the Sensitivity to Usage Profile Changes in Test Planning
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Using operational distributions to judge testing progress
Proceedings of the 2003 ACM symposium on Applied computing
Active learning for automatic classification of software behavior
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Computing system reliability using Markov chain usage models
Journal of Systems and Software - Special issue: Applications of statistics in software engineering
Usage model-based automated testing of C++ templates
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Testing software modelling tools using data mutation
Proceedings of the 2006 international workshop on Automation of software test
Random testing of formal software models and induced coverage
Proceedings of the 1st international workshop on Random testing
Adaptive software testing with fixed-memory feedback
Journal of Systems and Software
Software testing processes as a linear dynamic system
Information Sciences: an International Journal
Better reliability assessment of database based application software
ICC'05 Proceedings of the 9th International Conference on Circuits
An experimental study of adaptive testing for software reliability assessment
Journal of Systems and Software
Modeling Input Space for Testing Scientific Computational Software: A Case Study
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Extracting test sequences from a Markov software usage model by ACO
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Mathematical modeling of software reliability testing with imperfect debugging
Computers & Mathematics with Applications
Calculating the usage probabilities of statistical usage models by constraints optimization
Proceedings of the 5th Workshop on Automation of Software Test
A Polyhedron Approach to Calculate Probability Distributions for Markov Chain Usage Models
Electronic Notes in Theoretical Computer Science (ENTCS)
A comfortable testplayer for analyzing statistical usage testing strategies
Proceedings of the 6th International Workshop on Automation of Software Test
Customized testing for probabilistic systems
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
An approach to defining requirements for exceptions
Advanced Topics in Exception Handling Techniques
Enhancing software reliability estimates using modified adaptive testing
Information and Software Technology
Software testing with an operational profile: OP definition
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
A procedure for modeling software usage with the finite state, discrete parameter Markov chain is described. It involves rigorous analysis of the specification before design and coding begin. Many benefits emerge from this process, including the ability to synthesize a macro level usage distribution from a micro level understanding of how the software will be used. This usage distribution becomes the basis for a statistical test of the software, which is fundamental to the Cleanroom development process. Some analytical results known for Markov chains that have meaningful implications and interpretations for the software development process are described.