Software reliability methods

Software reliability is affected by many factors during the life cycle of a software product, from the definition of the product to the operation and maintenance. All the activities within the software development life cycle are prone to introduce faults. Where in this cycle are the problems introduced and how can they be removed? And finally, how to deal with the problems that remain after delivery to the operations field in safety-critical applications?

[1]  John D. Musa,et al.  Software reliability - measurement, prediction, application , 1987, McGraw-Hill series in software engineering and technology.

[2]  Kyo Chul Kang,et al.  Issues in Requirements Elicitation , 1992 .

[3]  Ivy Hooks,et al.  WRITING GOOD REQUIREMENTS , 1994 .

[4]  Linda H. Rosenberg,et al.  Automated Analysis of Requirement Specifications , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[5]  Linda H. Rosenberg,et al.  SOFTWARE METRICS AND RELIABILITY , 1998 .

[6]  David Banks,et al.  Software Testing by Statistical Methods Preliminary Success Estimates for Approaches based on Binomial Models, Coverage Designs, Mutation Testing, and Usage Models , 1998 .

[7]  Tippure S. Sundresh.  Software hardening-unifying software reliability strategies , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[8]  Ram Chillarege.  Software Testing Best Practices , 1999 .

[9]  Torres Wilfredo,et al.  Software Fault Tolerance: A Tutorial , 2000 .

[10]  Brian Randell,et al.  A Generic Implementation Approach to Concurrent Fault-Tolerant Software , 2000 .

[11]  Doron A. Peled,et al.  Software Reliability Methods , 2001, Texts in Computer Science.

[12]  Peter M. Broadwell,et al.  A Comparison of Static Analysis and Fault Injection Techniques for Developing Robust System Services , 2002 .

[13]  Donald Firesmith,et al.  Specifying Good Requirements , 2003, J. Object Technol..

[14]  Alain Deutsch,et al.  STATIC VERIFICATION OF DYNAMIC PROPERTIES , 2003 .

[15]  Timothy Fraser,et al.  Hardening COTS software with generic software wrappers , 1999, Proceedings of the 1999 IEEE Symposium on Security and Privacy (Cat. No.99CB36344).

[16]  Francesca Saglietti.  Licensing Reliable Embedded Software for Safety-Critical Applications , 2004, Real-Time Systems.

[17]  John D. Musa,et al.  Software Reliability Engineering: More Reliable Software Faster and Cheaper , 2004 .

[18]  Giuseppe Lami.  QuARS: A Tool for Analyzing Requirements , 2005 .