Sarma, VVS and Rao, DV (1994) A new model for software reliability. In: of the International Conference on Stochastic Models, Optimization Techniques and Computer Applications (ICSOC '94), 15-17 Dec. 1994, Coimbatore, India, pp. 400-409.
Full text not available from this repository. (Request a copy)Abstract
In recent years, advances in computer technology have gone hand-in-hand with the introduction of computers into new applications areas. Software is now being used in applications ranging from transaction processing to real-time life critical systems, which demand extremely high reliability characteristics. This is achieved by testing, proofs of correctness and certifying the process of building the product. A novel approach combining reliability and the re-entrant lines model to depict the software testing/debugging verification and validation phases of the software life cycle is presented. The importance of the results obtained to industry is discussed and a methodology for the process of software testing is proposed.
| Item Type: | Conference Paper |
|---|---|
| Publisher: | Wiley Eastern |
| Additional Information: | Copyright of this article belongs to Wiley Eastern. |
| Keywords: | certification;program debugging;program testing;program verification;software reliability |
| Department/Centre: | Division of Electrical Sciences > Computer Science & Automation |
| Date Deposited: | 09 Jan 2008 |
| Last Modified: | 12 Jan 2012 05:24 |
| URI: | http://eprints.iisc.ac.in/id/eprint/11085 |
Actions (login required)
 |
View Item |
