Rigorously assessing software reliability and safety

European Space Agency, (Special Publication) ESA SP

Volumn , Issue 377, 1996, Pages 193-198

  Strigini, Lorenzo ^a   Fenton, Norman ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 5244286883     PISSN: 03796566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (25)

1. L. Strigini, "Limiting the Dangers of Intuitive Judgment in Decision Making," IEEE Software, "Quality Time", January, pp. 101-103, 1996.
2. P. Ayton, "On the Competence and Incompetence of Experts", in Expertise and Decision Support, G. Wright and F. Bolger, Eds.: Plenum Press, 1993, pp. 77-105.
3. K. Yasuda and K. Koga, "Product development and quality in the software factory", in Software Quality Assurance and metrics: A Worldwide perspective, N. E. Fenton, R. W. Whitty, and Y. Iizuka, Eds.: International Thomson Press, 1995, pp. 195-205.
4. T. Keller, "Measurements role in providing "error-free" onboard shuttle software", 3rd Intl Applications of Software Metrics Conference, La Jolla, California, 1992.
5. K. W. Miller, L. J. Morell, R. E. Noonan, S. K. Park, D. M. Nicol, B. W. Murrill, and J. M. Voas, "Estimating the Probability of Failure When Testing Reveals No Failures", IEEE Transactions on Software Engineering, vol. 18, pp. 33-43, 1992.
6. B. Littlewood and L. Strigini, "Validation of Ultra-High Dependability for Software-based Systems", Communications of the ACM, vol. 36, pp. 69-80, 1993.
7. M. Paulk, W. C. V., and B. Curtis, The Capability Maturity Model for Software: Guidelines for Improving the Software Process,: Addison Wesley, 1994.
8. N. Fenton, "How effective are software engineering methods?", Journal of Systems and Software, vol. 20, pp. 93-100, 1993.
9. N. Fenton, "Software Measurement: a Necessary Scientific Basis", IEEE TSE, vol. SE-20, pp. 199-206, 1994.
10. N. Fenton, S. Pfleeger, and R. Glass, "Science and Substance: A Challenge to Software Engineers", IEEE Software, July, pp. 86-95, 1994.
11. B. Littlewood and D. Wright, "On a Stopping Rule for the Operational Testing of Safety Critical Software", 25th Annual International Symposium on Fault -Tolerant Computing), Pasadena, 1995.
12. A. Bertolino and L. Strigini, "On the use of testability measures for dependability assessment", IEEE TSE, vol. 22, pp. 97-108, 1996.
13. A. Bertolino and L. Strigini, "Predicting Software Reliability from Testing Taking into Account Other Knowledge about a Program", to be presented at Proc. Quality Week '96, San Francisco, 1996.
14. B. Littlewood and D. Wright, "A Bayesian model that combines disparate evidence for the quantitative assessment of system dependability", presented at SafeComp95, Belgirate, Italy, 1995.
15. K. A. Delic, F. Mazzanti, and L. Strigini, "Formalising a software safety case via belief networks", SHIP Project Technical Report T046, July 1995.
16. M. Neil, B. Littlewood, and N. Fenton, "Applying Bayesian Belief Networks to Systems Dependability Assessment", Proc. Fourth Safety-Critical Systems symposium, Leeds, U.K., 1996.
17. N. E. Fenton, "The role of measurement in software safety assessment", , Report DATUM/CSR/11, 1995.
18. S. Henry, C. Selig, "Design metrics which predict source code quality", IEEE Software, March, 1990.
19. O. Johansson and C. Nord, "Using predictions to improve software reliability", Ericsson Review, vol. 1, pp. 30-35, 1995.
20. N. E. Fenton, "Multi-criteria Decision Aid; with emphasis on its relevance in dependability assessment", Report CSR DATUM/CSR/02, 1995.
21. P. Vincke, Multicriteria Decision Aid. New York: J. Wiley, 1992.
22. T. Saaty, The Analytic Hierarchy Process. New York: McGraw Hill, 1980.
23. A. Auer, "A judgement and decision making framework", SHIP Project Report SHIP/T/013, 1994.
24. A. Vaisanen, A. Auer, and J. Korhonen, "Assessment of the safety of PLCs: Janiksenlinna water plant study", SHIP Project Report SHIP/T/033, 1994.
25. M. V. Frank, "Choosing among safety improvement strategies: a discussion with example of risk assessment and multi-criteria decision approaches for NASA", Reliability Engineering and System Safety, vol. 49, pp. 311-324, 1995.