An Extended Domain-Based Model of Software Reliability
IEEE Transactions on Software Engineering
Comparing test data adequacy criteria
ACM SIGSOFT Software Engineering Notes
Estimating the Probability of Failure When Testing Reveals No Failures
IEEE Transactions on Software Engineering
Markov chain techniques for software testing and reliability analysis
Markov chain techniques for software testing and reliability analysis
CTRS '92 Proceedings of the Third International Workshop on Conditional Term Rewriting Systems
Testing for software reliability
Proceedings of the international conference on Reliable software
On testing of classes in object-oriented programs
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Automated gui testing guided by usage profiles
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Using a pilot study to derive a GUI model for automated testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Test case generation for the task tree type of architecture
Information and Software Technology
The use of mathematics in software quality assurance
Frontiers of Computer Science in China
Software testing with an operational profile: OP definition
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
We describe a technique for specifying operational profiles for modules. The technique is more general than those of the current literature and allows more accurate specification of module usage. We also outline an algorithm for automatically generating random test cases from any such operational profile specification for a module, such that the test cases correspond to a random sampling of the module's input in actual operation. Operational-based statistical estimations, such as operational reliability, may be more meaningful when our specification method and generation algorithm are used, because our method permits more precise specifications than do other methods in the current literature.