Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Musa, “Operational profiles in software-reliability engineering,” IEEE Software, pp. 14–32, March 1993.
J. May, G. Hughes, and A. Lunn, “Reliability estimation from appropriate testing of plant protection software,” Software Engineering Journal, pp. 206–218, 1995.
J. Duran and J. Wiorkowski, “Quantifying software validity by sampling,” IEEE Software Reliability, vol. R-29,no. 2, pp. 141–144, 1980.
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.
K. Miller, L. Morell, R. E. Noonan, S.K. Park, and D. Nicol, “Estimating the probability of failure when testing reveals no failures,” IEEE Transactions on Software Engineering, vol. 10,no. 2, pp. 33–43, 1992.
C. Smidts and D. Sova, “An architectural model for software reliability quantification: sources of data,” Reliability Engineering and System Safety, vol. 64, pp. 279–290, 1999.
J. May, S. Kuball, and G. Hughes, “Test statistics for system design failure,” International Journal of Reliability, Quality and Safety Engineering, vol. 6,no. 3, pp. 249–264, 1999.
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.
W. Ehrenberger, “Combining probabilistic and deterministic verification efforts,” Safety of Computers in Safety-Critical Applications, pp. 299–304, 1992.
D. ed. Zwillinger, Standard Mathematical Tables and Formulae. CRS Press, 1996.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kuball, S. (2001). Scenario-Based System Assessment. In: Craeynest, D., Strohmeier, A. (eds) Reliable SoftwareTechnologies — Ada-Europe 2001. Ada-Europe 2001. Lecture Notes in Computer Science, vol 2043. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45136-6_19
Download citation
DOI: https://doi.org/10.1007/3-540-45136-6_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42123-8
Online ISBN: 978-3-540-45136-5
eBook Packages: Springer Book Archive