Erstellung und Prüfung sicherheitsgerichteter Software

Chapter

Zusammenfassung

Die Qualitätssicherung von Software wird noch einmal aufgegriffen. Dazu werden durch Verschärfung und Vereinfachung aus einer internationalen Norm abgeleitete Richtlinien zur Konstruktion sicherheitsgerichteter Software angegeben. Es werden Verfahren zur Prüfung von Dokumentationen und Methoden zur effektiven und effizienten sowohl manuellen als auch automatisierten Prüfung eigentlicher Programme betrachtet. Analytische Qualitätssicherung wird anhand der industriellen Prüfung prozessleittechnischer Software im Detail beschrieben.

Literatur

  1. 1.
    ANSI/IEEE Standard 829-1983: IEEE Standard for Software Test Documentation. ANSI, New York (1983)Google Scholar
  2. 2.
    ANSI/IEEE-Standard 1008-1987: IEEE Standard for Software Unit Testing. New York (1987)Google Scholar
  3. 3.
    ANSI/IEEE-Standard 1012-1986: IEEE Standard for Software Verification and Validation Plans. ANSI, New York (1986)Google Scholar
  4. 4.
    Boehm, C. und Jacopini, G.: Flow Diagrams, Turing Machines and Languages with only Two Formation Rules. Comm. ACM 9, 5 (1966)Google Scholar
  5. 5.
    Dijkstra, E.W.: Goto Statement Considered Harmful. Comm. ACM 11, 3 (1968)Google Scholar
  6. 6.
    Fagan, M.E.: Design and Code Inspection to Reduce Errors in Program Development. IBM Systems Journal 15(3), 182–211 (1976)CrossRefGoogle Scholar
  7. 7.
    Floyd, R.W.: Assigning Meanings to Programs. Proc. AMS Symp. Appl. Math. 19, 19–32 (1967)MathSciNetCrossRefGoogle Scholar
  8. 8.
    Grimm, K.: Methoden und Verfahren zum systematischen Testen von Software. Automatisierungstechnische Praxis atp 30(6), 271–280 (1988)MathSciNetGoogle Scholar
  9. 9.
    Hausen, H.L., Müllerburg, M. und Schmidt, M.: Über das Prüfen, Messen und Bewerten von Software. Informatik-Spektrum 10, 132–144 (1987)Google Scholar
  10. 10.
    Hoare, C.A.R.: An Axiomatic Basis for Computer Programming. Comm. ACM 12(10), 576–580 (1969)MATHCrossRefGoogle Scholar
  11. 11.
    Hughes, J.K. und Michtom, J.I.: Strukturierte Software-Herstellung. R. Oldenbourg Verlag, München-Wien (1980)Google Scholar
  12. 12.
    Internationale Norm IEC 880: Software for computers in the safety systems of nuclear power stations. Internationale Elektrotechnische Kommission, Genf (1986)Google Scholar
  13. 13.
    Kishida, K.: Techniques of C1 Coverage Analysis. Test. Techn. Newslett. 3, 3 (1980)Google Scholar
  14. 14.
    Konakovsky, R.: Ein Verfahren der rechnergestützten Messung der Software-Zuverlässigkeit. Tagungsband Technische Zuverlässigkeit, pp. 245–253. VDE-Verlag Berlin, Berlin (1985)Google Scholar
  15. 15.
    Konakovsky, R. und Woitzik, P.: Automatische Prüfung der Software von Prozessleitsystemen. GMA-Fachbericht 4, pp. 79–89. VDE-Verlag, Berlin (1993)Google Scholar
  16. 16.
    Langer, I., Schulz v. Thun, F. und Tausch, R.: Verständlichkeit in Schule, Verwaltung, Politik und Wissenschaft. Reinhardt, München-Basel (1974)Google Scholar
  17. 17.
    Muth, P. und Uhlig, C.: Verfahren und Werkzeuge zur Prüfung von DV-Software. QZ 28(8), 242–246 (1993)Google Scholar
  18. 18.
    Myers, G.J.: A Controlled Experiment in Program Testing and Code Walkthroughs/Inspections. Comm. ACM 21, 760–768 (1978)CrossRefGoogle Scholar
  19. 19.
    Myers, G.J.: Methodisches Testen von Programmen. R. Oldenbourg-Verlag, München (1982)Google Scholar
  20. 20.
    Schuller, K.: Systematisches Verfahren beim Test der Software von Prozessautomatisierungssystemen. Regelungstechnische Praxis rtp 25(7), 279–286 (1983)Google Scholar
  21. 21.
    Schulz v. Thun, F.: Verständlichkeit von Informationstexten: Messung, Verbesserung und Validierung. Z. Sozialpsychol. 5, 124–132 (1974)Google Scholar
  22. 22.
    Sohns, G. (Hrsg.): Einsatz eines Testtools zum Regressionstest von Online-Applikationen. Mitteilungen der GI-Fachgruppe Software-Engineering 12(1), 20–21 (1987)Google Scholar
  23. 23.
    Steinbach, I., Langer, I. und Tausch, R.: Merkmale von Wissens- und Informationstexten im Zusammenhang mit der Lerneffektivität. Z. Entwicklungspsychol. Päd. Psychol. 4, 130–139 (1972)Google Scholar
  24. 24.
    Stetter, F.: Softwaretechnologie. Reihe Informatik Nr. 33. B.I. Wissenschaftsverlag, Mannheim (1980)Google Scholar
  25. 25.
    Thaler, G.E.: Software-Qualität: Entwicklung-Test-Sicherung. SYBEX-Verlag, Düsseldorf (1990)Google Scholar
  26. 26.
    Trauboth, H.: Validation von Prozessinformationssystemen. Kongreß Spektrum, München (1988)Google Scholar
  27. 27.
    Winkler, H. und Schmied, W.-S.: Methoden und Werkzeuge eines Arbeitsplatzes für die Prüfung von Anwendersoftware. Tagungsband Technische Zuverlässigkeit, pp. 91–104. VDE-Verlag Berlin, Berlin (1985)Google Scholar
  28. 28.
    Zimmermann, P.A.: Test-Techniken: Methodisches Testen von Systemen und Programmen. IWT-Verlag, München (1987)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  1. 1.Lehrstuhl für InformationstechnikFernuniversität in HagenHagenDeutschland
  2. 2.StuttgartDeutschland

Personalised recommendations