Skip to main content

2018 | OriginalPaper | Buchkapitel

9. Erstellung und Prüfung sicherheitsgerichteter Software

verfasst von : Wolfgang A. Halang, Rudolf M. Konakovsky

Erschienen in: Sicherheitsgerichtete Echtzeitsysteme

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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 prozeßleittechnischer Software im Detail beschrieben.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
Diesem Abschnitt liegt der Artikel [9] zu Grunde.
 
2
Diesem Abschnitt liegt der Artikel [9] zu Grunde.
 
3
Dieser Abschnitt basiert auf der Arbeit [15].
 
Literatur
1.
Zurück zum Zitat ANSI/IEEE Standard 829–1983: IEEE Standard for Software Test Documentation. ANSI, New York (1983) ANSI/IEEE Standard 829–1983: IEEE Standard for Software Test Documentation. ANSI, New York (1983)
2.
Zurück zum Zitat ANSI/IEEE-Standard 1012–1986: IEEE Standard for Software Verification and Validation Plans. ANSI, New York (1986) ANSI/IEEE-Standard 1012–1986: IEEE Standard for Software Verification and Validation Plans. ANSI, New York (1986)
3.
Zurück zum Zitat ANSI/IEEE-Standard 1008–1987: IEEE Standard for Software Unit Testing. ANSI, New York (1987) ANSI/IEEE-Standard 1008–1987: IEEE Standard for Software Unit Testing. ANSI, New York (1987)
4.
Zurück zum Zitat Boehm, C., Jacopini, G.: Flow diagrams, turing machines and languages with only two formation rules. Commun. ACM 9(5), 366–371 (1966) Boehm, C., Jacopini, G.: Flow diagrams, turing machines and languages with only two formation rules. Commun. ACM 9(5), 366–371 (1966)
5.
Zurück zum Zitat Dijkstra, E.W.: Goto statement considered harmful. Commun. ACM 11(3), 147–148 (1968) Dijkstra, E.W.: Goto statement considered harmful. Commun. ACM 11(3), 147–148 (1968)
6.
Zurück zum Zitat Fagan, M.E.: Design and code inspection to reduce errors in program development. IBM Syst. J. 15(3), 182–211 (1976) Fagan, M.E.: Design and code inspection to reduce errors in program development. IBM Syst. J. 15(3), 182–211 (1976)
7.
Zurück zum Zitat Floyd, R.W.: Assigning meanings to programs. Proc. AMS Symp. Appl. Math. 19, 19–32 (1967) Floyd, R.W.: Assigning meanings to programs. Proc. AMS Symp. Appl. Math. 19, 19–32 (1967)
8.
Zurück zum Zitat Grimm, K.: Methoden und Verfahren zum systematischen Testen von Software. Automatisierungstechnische Praxis atp 30(6), 271–280 (1988) Grimm, K.: Methoden und Verfahren zum systematischen Testen von Software. Automatisierungstechnische Praxis atp 30(6), 271–280 (1988)
9.
Zurück zum Zitat Hausen, H.L., Müllerburg, M., Schmidt, M.: Über das Prüfen, Messen und Bewerten von Software. Informatik-Spektrum 10, 132–144 (1987) Hausen, H.L., Müllerburg, M., Schmidt, M.: Über das Prüfen, Messen und Bewerten von Software. Informatik-Spektrum 10, 132–144 (1987)
10.
Zurück zum Zitat Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580 (1969) Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580 (1969)
11.
Zurück zum Zitat Hughes, J.K., Michtom, J.I.: Strukturierte Software-Herstellung. R. Oldenbourg Verlag, München/Wien (1980) Hughes, J.K., Michtom, J.I.: Strukturierte Software-Herstellung. R. Oldenbourg Verlag, München/Wien (1980)
12.
Zurück zum Zitat Internationale Norm IEC 880: Software for Computers in the Safety Systems of Nuclear Power Stations. Internationale Elektrotechnische Kommission, Genf (1986) Internationale Norm IEC 880: Software for Computers in the Safety Systems of Nuclear Power Stations. Internationale Elektrotechnische Kommission, Genf (1986)
13.
Zurück zum Zitat Kishida, K.: Techniques of C1 coverage analysis. Test. Techn. Newslett. 3(3) (1980) Kishida, K.: Techniques of C1 coverage analysis. Test. Techn. Newslett. 3(3) (1980)
14.
Zurück zum Zitat Konakovsky, R.: Ein Verfahren der rechnergestützten Messung der Software-Zuverlässigkeit. Tagungsband Technische Zuverlässigkeit, S. 245–253. VDE-Verlag, Berlin (1985) Konakovsky, R.: Ein Verfahren der rechnergestützten Messung der Software-Zuverlässigkeit. Tagungsband Technische Zuverlässigkeit, S. 245–253. VDE-Verlag, Berlin (1985)
15.
Zurück zum Zitat Konakovsky, R., Woitzik, P.: Automatische Prüfung der Software von Prozeßleitsystemen. GMA-Fachbericht 4, S. 79–89. VDE-Verlag, Berlin (1993) Konakovsky, R., Woitzik, P.: Automatische Prüfung der Software von Prozeßleitsystemen. GMA-Fachbericht 4, S. 79–89. VDE-Verlag, Berlin (1993)
16.
Zurück zum Zitat Langer, I., Schulz von Thun, F., Tausch, R.: Verständlichkeit in Schule, Verwaltung, Politik und Wissenschaft. Reinhardt, München-Basel (1974) Langer, I., Schulz von Thun, F., Tausch, R.: Verständlichkeit in Schule, Verwaltung, Politik und Wissenschaft. Reinhardt, München-Basel (1974)
17.
Zurück zum Zitat Muth, P., Uhlig, C.: Verfahren und Werkzeuge zur Prüfung von DV-Software. QZ 28(8), 242–246 (1993) Muth, P., Uhlig, C.: Verfahren und Werkzeuge zur Prüfung von DV-Software. QZ 28(8), 242–246 (1993)
18.
Zurück zum Zitat Myers, G.J.: A controlled experiment in program testing and code walkthroughs/inspections. Commun. ACM 21, 760–768 (1978) Myers, G.J.: A controlled experiment in program testing and code walkthroughs/inspections. Commun. ACM 21, 760–768 (1978)
19.
Zurück zum Zitat Myers, G.J.: Methodisches Testen von Programmen. R. Oldenbourg-Verlag, München (1982) Myers, G.J.: Methodisches Testen von Programmen. R. Oldenbourg-Verlag, München (1982)
20.
Zurück zum Zitat Schuller, K.: Systematisches Verfahren beim Test der Software von Prozeßautomatisierungssystemen. Regelungstechnische Praxis rtp 25(7), 279–286 (1983) Schuller, K.: Systematisches Verfahren beim Test der Software von Prozeßautomatisierungssystemen. Regelungstechnische Praxis rtp 25(7), 279–286 (1983)
21.
Zurück zum Zitat Schulz von Thun, F.: Verständlichkeit von informationstexten: messung, verbesserung und validierung. Z. Sozialpsychol. 5, 124–132 (1974) Schulz von Thun, F.: Verständlichkeit von informationstexten: messung, verbesserung und validierung. Z. Sozialpsychol. 5, 124–132 (1974)
22.
Zurück zum Zitat Sohns, G. (Hrsg.): Einsatz eines Testtools zum Regressionstest von Online-Applikationen. Mitteilungen der GI-Fachgruppe Software-Engineering 12(1), 20–21 (1987) Sohns, G. (Hrsg.): Einsatz eines Testtools zum Regressionstest von Online-Applikationen. Mitteilungen der GI-Fachgruppe Software-Engineering 12(1), 20–21 (1987)
23.
Zurück zum Zitat Steinbach, I., Langer, I., Tausch, R.: Merkmale von Wissens- und Informationstexten im Zusammenhang mit der Lerneffektivität. Z. Entwicklungspsychol. Päd. Psychol. 4, 130–139 (1972) Steinbach, I., Langer, I., Tausch, R.: Merkmale von Wissens- und Informationstexten im Zusammenhang mit der Lerneffektivität. Z. Entwicklungspsychol. Päd. Psychol. 4, 130–139 (1972)
24.
Zurück zum Zitat Stetter, F.: Softwaretechnologie. Reihe Informatik Nr. 33. B.I. Wissenschaftsverlag, Mannheim (1980) Stetter, F.: Softwaretechnologie. Reihe Informatik Nr. 33. B.I. Wissenschaftsverlag, Mannheim (1980)
25.
Zurück zum Zitat Thaler, G.E.: Software-Qualität: entwicklung-Test-Sicherung. SYBEX-Verlag, Düsseldorf (1990) Thaler, G.E.: Software-Qualität: entwicklung-Test-Sicherung. SYBEX-Verlag, Düsseldorf (1990)
26.
Zurück zum Zitat Trauboth, H.: Validation von Prozeßinformationssystemen. Kongreß Spektrum, München (1988) Trauboth, H.: Validation von Prozeßinformationssystemen. Kongreß Spektrum, München (1988)
27.
Zurück zum Zitat Winkler, H., Schmied, W.-S.: Methoden und Werkzeuge eines Arbeitsplatzes für die Prüfung von Anwendersoftware. Tagungsband Technische Zuverlässigkeit, S. 91–104. VDE-Verlag, Berlin (1985) Winkler, H., Schmied, W.-S.: Methoden und Werkzeuge eines Arbeitsplatzes für die Prüfung von Anwendersoftware. Tagungsband Technische Zuverlässigkeit, S. 91–104. VDE-Verlag, Berlin (1985)
28.
Zurück zum Zitat Zimmermann, P.A.: Test-Techniken: methodisches Testen von Systemen und Programmen. IWT-Verlag, München (1987) Zimmermann, P.A.: Test-Techniken: methodisches Testen von Systemen und Programmen. IWT-Verlag, München (1987)
Metadaten
Titel
Erstellung und Prüfung sicherheitsgerichteter Software
verfasst von
Wolfgang A. Halang
Rudolf M. Konakovsky
Copyright-Jahr
2018
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-56369-4_9