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.
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|
|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 (Formerly, School of Automation)|
|Date Deposited:||09 Jan 2008|
|Last Modified:||12 Jan 2012 05:24|
Actions (login required)