The complete guide to software testing
The complete guide to software testing
Reliability of Systems with Markov Transfer of Control
IEEE Transactions on Software Engineering
Evaluating Testing Methods by Delivered Reliability
IEEE Transactions on Software Engineering
The Mathematica Book
Planning and Certifying Software System Reliability
IEEE Software
Building a System Failure Rate Estimator by Identifying Component Failure Rates
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Application of Markov chains in an interactive information retrieval system
Information Processing and Management: an International Journal
Architecture-Based Software Reliability Analysis: Overview and Limitations
IEEE Transactions on Dependable and Secure Computing
The decision model of task allocation for constrained stochastic distributed systems
Computers and Industrial Engineering
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
A learning strategy for software testing optimization based on dynamic programming
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
Hi-index | 0.00 |
This paper considers the problem of assessing the reliability of a software system that can be decomposed into a finite number of modules. It uses a Markovian model for the transfer of control between modules in order to develop the system reliability expression in terms of the module reliabilities. An operational test procedure is considered in which only the individual modules are tested and the system is considered acceptable if, and only if, no failures are observed. The minimum number of tests required of each module is determined such that the probability of accepting a system whose reliability falls below a specified value R_0 is less than a specified small fraction beta. This sample size determination problem is formulated as a two-stage mathematical program and an algorithm is developed for solving this problem. Two examples from the literature are considered to demonstrate the procedure.