Advertisement

Scenario-Based System Assessment

  • Silke Kuball
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2043)

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.

Keywords

Prior Information Failure Probability Input Space System Risk Software Reliability 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    J. Musa, “Operational profiles in software-reliability engineering,” IEEE Software, pp. 14–32, March 1993.Google Scholar
  2. [2]
    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
  3. [3]
    J. Duran and J. Wiorkowski, “Quantifying software validity by sampling,” IEEE Software Reliability, vol. R-29,no. 2, pp. 141–144, 1980.CrossRefGoogle Scholar
  4. [4]
    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
  5. [5]
    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.CrossRefGoogle Scholar
  6. [6]
    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.CrossRefGoogle Scholar
  7. [7]
    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.CrossRefGoogle Scholar
  8. [8]
    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
  9. [9]
    W. Ehrenberger, “Combining probabilistic and deterministic verification efforts,” Safety of Computers in Safety-Critical Applications, pp. 299–304, 1992.Google Scholar
  10. [10]
    D. ed. Zwillinger, Standard Mathematical Tables and Formulae. CRS Press, 1996.Google Scholar
  11. [11]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Silke Kuball
    • 1
  1. 1.Safety Systems Research Centre, Department of Computer ScienceUniversity of BristolBristolUK

Personalised recommendations