Modular Test Plans for Certification of Software Reliability

Modular Test Plans for Certification of Software Reliability

Cached

Download Links

[www.pitt.edu]

by Jayant Rajgopal Senior , Jayant Rajgopal , Mainak Mazumdar (member

Versions

Version History

Metadata Version 2

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Modular Test Plans for Certification of Software Reliability	user correction - Legacy Corrections
AUTHOR NAME	Jayant Rajgopal Senior	user correction - Legacy Corrections
AUTHOR NAME	Jayant Rajgopal	user correction - Legacy Corrections
AUTHOR AFFIL	1	user correction - Legacy Corrections
AUTHOR NAME	Mainak Mazumdar (member	user correction - Legacy Corrections
AUTHOR AFFIL	Vikram Talada (Student Member, IIE); Department of Industrial Engineering; University of Pittsburgh	user correction - Legacy Corrections
AUTHOR ADDR	Pittsburgh, PA 15261; 1	user correction - Legacy Corrections
ABSTRACT	This paper considers the problem of certifying 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. A test procedure is considered in which only the individual modules are tested and the system is certified if, and only if, no failures are observed. The minimum number of tests required of each module is determined such that the probability of certifying a system whose reliability falls below a specified value R 0 is less than a specified small fraction b. 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. Keywords: Software reliability; Modular Tests; Sample Size Determination; Mathematical Programming 1 1. Introduc...	user correction - Legacy Corrections
CITATIONS	14 found	ParsCit 1.0