Skip to main content
SpringerLink
Log in

Formale und stochastische Methoden zur Qualitätssicherung technischer Software

  • Conference paper
Informatik 2000

Part of the book series: Informatik aktuell ((INFORMAT))

Zusammenfassung

Technische softwareintensive Systeme besitzen oft Sicherheitsanforderungen und quantifizierte Verfügbarkeitsziele, die entsprechende Qualitätssicherungstechniken fordern. Die Eigenschaften formaler und stochastischer Techniken befriedigen einerseits die existierenden Anforderungen; andererseits besitzen sie in der industriellen Praxis der Softwareentwicklung keine wesentliche Verbreitung. Im folgenden werden eine Erweiterung einer formalen Technik im Hinblick auf die Analyse ausfallbehafteteter technischer Systeme sowie ein Ansatz zur stochastisehen Analyse und Prognose von Zuverlässigkeitskennwerten vorgestellt. Beide Techniken sind umfassend automatisiert, um sowohl eine einfache Benutzbarkeit in der Praxis als auch die Anwendbarkeit auf umfangreiche Systeme zu gewährleisten.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 64.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 82.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Abdel-Ghaly A.A., Chan P.Y., Littlewood B., Evaluation of competing software reliability predictions, in: IEEE Transactions on Software Engineering, Vol. 12, No. 9, 1986, pp. 950–967

    Google Scholar 

  2. Beck A., Beer H., ESSI Process Improvement Experiment 23843 — USST Usage Specification and Statistical Testing, in: Proceedings EuroSTAR ‘98, Munich 1998, pp. 421–427

    Google Scholar 

  3. Birolini A., Qualität und Zuverlässigkeit technischer Systeme: Theorie, Praxis, Management, Berlin: Springer 1991

    MATH  Google Scholar 

  4. Bormann J., Lohse J., Payer M., Venzl G., Model Checking in Industrial Hardware Design, in: Proceedings of the 32st Conference on Design Automation, San Francisco, June 12–16, 1995, ACM Press 1995, pp. 298–303

    Google Scholar 

  5. Brandin B., The Real-Time Supervisory Control of an Experimental Manufacturing Cell, in: IEEE Transactions on Robotics and Automation, Vol. 12, No. 1, February 1996, pp. 1–14

    Google Scholar 

  6. Bryant R.E., Graph-Based Algorithms for Boolean Function Manipulation, in: IEEE Transactions on Computers, Vol. C-35, No. 8, August 1986, pp. 667–691

    Google Scholar 

  7. Burch J.R., Clarke E.M., Long D.E., McMillan K.L., Dill D.L., Symbolic Model Checking for Sequential Circuit Verification, in: IEEE Transactions on Computers, Vol. 13, No. 4, April 1994, pp. 401–424

    Google Scholar 

  8. Clarke E.M., Emerson E.A., Sistla A.P., Automatic Verification of Finite state Concurrent Systems using Temporal Logic Specifications, in: ACM Transactions on Programming Languages and Systems, Vol. 8, No. 2, April 1986, pp. 244–263

    Google Scholar 

  9. DIN 25424; DIN 25424–1, Fehlerbaumanalyse Methoden und Bildzeichen, September 1981; DIN 25424–2: Fehlerbaumanalyse Handrechenverfahren zur Auswertung eines Fehlerbaumes, April 1990; Berlin: Beuth Verlag

    Google Scholar 

  10. Heimdahl M.P.E., Leveson N.G., Completeness and Consistency Analysis of State-Based Requirements, in: Proceedings 17th International Conference on Software Engineering, Seattle, April 1995, pp. 3–14

    Google Scholar 

  11. IEC 812, Analysis Techniques for System Reliability — Procedure for Failure Mode and Effect Analysis (FMEA), International Electrotechnical Commission 1985

    Google Scholar 

  12. IEC 61025, Fault tree analysis (FTA), International Electrotechnical Commission 1990

    Google Scholar 

  13. IEC 61078, Analysis techniques for dependability — Reliability block diagram method, International Electrotechnical Commission 1991

    Google Scholar 

  14. IEC 61165, Application of Markov techniques, International Electrotechnical Commission 1995

    Google Scholar 

  15. Jaffe M.S., Leveson N.G., Heimdahl M.P.E., Melhart B.E., Software Requirements Analysis for Real-Time Process-Control Systems, in: IEEE Transactions on Software Engineering, Vol. 17, No. 3, March 1991, pp. 241–258

    Google Scholar 

  16. Jelinski Z., Moranda P.B., Software reliability research, in: Freiberger W. (Ed.), Statistical Computer Performance Evaluation, New York: Academic Press 1972, pp. 465–484

    Google Scholar 

  17. Jones C., Applied software measurement, New York: McGraw-Hill 1991

    MATH  Google Scholar 

  18. Leveson N.G., Safeware: System safety and computers, New York: Addison-Wesley 1995

    Google Scholar 

  19. Leveson N.G., Heimdahl M.P.E., Hildreth H., Reese J.D., Requirements Specification for Process-Control Systems, in: IEEE Transactions on Software Engineering, Vol. 20, No. 9, September 1994, pp. 684–707

    Google Scholar 

  20. Leveson N.G., Harvey P.R., Analyzing Software Safety, in: IEEE Transactions on Software Engineering, Vol. SE-9, No. 5, September 1983, pp. 569–579

    Google Scholar 

  21. Leveson N.G., Shimeall T.J., Safety Verifcation of ADA Programs using Software Fault Trees, in: IEEE Software, Vol. 8, No. 4, July 1991, pp. 48–59

    Google Scholar 

  22. Liggesmeyer P., Qualitätsicherung softwareintensiver technischer Systeme, Habilitationsschrift, Fakultät für Elektrotechnik und Informationstechnik, Ruhr-Universität Bochum, Heidelberg: Spektrum-Verlag 2000

    Google Scholar 

  23. Liggesmeyer P., Rothfelder M., Rettelbach M., Ackermann T., Qualitätssicherung softwarebasierter Systeme: Problembereiche und Lösungsansätze, in: Informatik-Spektrum, Band 21, Heft 5, Oktober 1998, S. 249–258

    Google Scholar 

  24. Liggesmeyer P., Ackermann T., Applying Reliability Engineering: Empirical Results, Lessons Learned, and Further Improvements, in: Proceedings ISSRE ‘98, The Ninth International Symposium on Software Reliability Engineering, Paderborn, November 1998, pp. 263–271

    Google Scholar 

  25. Liggesmeyer P., Rothfelder M., Improving System Reliability with Automatic Fault Tree Generation, in: Proceedings 28th Annual Fault Tolerant Computing Symposium, Munich, June 1998, pp. 90–99

    Google Scholar 

  26. Littlewood B., Verall J.L., A Bayesian reliability growth model for computer software, in: Applied Statistics, Vol. 22, No. 3, 1973, pp. 332–346

    Google Scholar 

  27. Lyu M.R., Handbook of Software Reliability Engineering, New York: McGraw-Hill 1995

    Google Scholar 

  28. McMillan K.L., Symbolic Model Checking, Norwell, Dordrecht: Kluwer Academic Publishers 1993

    Book  Google Scholar 

  29. Möller K.-H., Ausgangsdaten für Qualitätsmetriken — Eine Fundgrube für Analysen, in: Ebert C., Dumke R. (Hrsg.), Software-Metriken in der Praxis, Berlin, Heidelberg: Springer 1996, S. 105–116

    Chapter  Google Scholar 

  30. Musa J.D., Iannino A., Okumoto K., Software Reliability: Measurement, Prediction, Application, New York: McGraw-Hill 1987

    Google Scholar 

  31. Spillner A., Liggesmeyer P., Software-Qualitätssicherung in der Praxis — Ergebnisse einer Umfrage, in: Informatik-Spektrum, Band 17, Heft 6, Dezember 1994, S. 368–372

    Google Scholar 

  32. Störnier H., Mathematische Theorie der Zuverlässigkeit, München: Oldenbourg 1983

    Google Scholar 

  33. Tobias P.A., Trindade D.C., Applied Reliability, New York: Van Nostrand Reinhold 1995

    MATH  Google Scholar 

  34. Ulerich N.H., Powers G.J., On-Line Hazard Aversion and Fault Diagnosis in Chemical Processes: The Digraph + Fault-Tree Method, in: IEEE Transactions on Reliability, Vol. 37, No. 2, June 1988, pp. 171–177

    Google Scholar 

  35. Zhao M., Software reliability models based on nonhomogenous poisson processes, Thesis, Linköping University, 1991

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachgebiet Softwaresystemtechnik II: Qualitätsmanagement Hasso-Plattner-Institut für Softwaresystemtechnik Mathematisch-Naturwissenschaftliche Fakultät, Universität Potsdam, Deutschland

    Peter Liggesmeyer

Authors
  1. Peter Liggesmeyer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Informatik, Universität des Saarlandes, Am Stadtwald, 66123, Saarbrücken, Deutschland

    Kurt Mehlhorn

  2. Lehrstuhl für Softwaresysteme Fakultät für Mathematik und Informatik, Universität Passau, Innstraße 33, 94032, Passau, Deutschland

    Gregor Snelting

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Liggesmeyer, P. (2000). Formale und stochastische Methoden zur Qualitätssicherung technischer Software. In: Mehlhorn, K., Snelting, G. (eds) Informatik 2000. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-58322-3_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-58322-3_26

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67880-9

  • Online ISBN: 978-3-642-58322-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation