Scenario-Based System Assessment
In this paper we introduce a new approach to the assessment of risk and reliability of safety-critical software systems: scenario-based system assessment. This approach uses the notion of input-space scenarios, which are created by a link between system structure and input space structure. Scenario-based system assessment combines two differing already existing approaches to software reliability and risk assessment: input space partitioning and code partitioning and it draws on the strengths of both models while at the same time helping to overcome some of their restrictions.
KeywordsPrior Information Failure Probability Input Space System Risk Software Reliability
Unable to display preview. Download preview PDF.
- J. Musa, “Operational profiles in software-reliability engineering,” IEEE Software, pp. 14–32, March 1993.Google Scholar
- J. May, G. Hughes, and A. Lunn, “Reliability estimation from appropriate testing of plant protection software,” Software Engineering Journal, pp. 206–218, 1995.Google Scholar
- W. Ehrenberger, “Probabilistic techniques for software verification,” paper produced for the IAEA Technical Committee Meeting on Safety Implications of Computerised Process Control in Nuclear Power Plants, Vienna Austria, vol. November, 1989.Google Scholar
- S. Kuball, J. May, and G. Hughes, “Building a system failure rate estimator by identifying component failure rates,” Proceedings from ISSRE’99, IEEE Computer Society Press, pp. 32–41, 1999.Google Scholar
- W. Ehrenberger, “Combining probabilistic and deterministic verification efforts,” Safety of Computers in Safety-Critical Applications, pp. 299–304, 1992.Google Scholar
- D. ed. Zwillinger, Standard Mathematical Tables and Formulae. CRS Press, 1996.Google Scholar
- S. Kuball, G. Hughes, and J. May, “Review of statistical black-box testing-with particular emphasis on its application to cots,” Deliverable report for the British Energy project NewDDT, PP/40030530, 2000.Google Scholar