ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

A new model for software reliability

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)


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 View Item