Zusammenfassung
Prinzipien, Techniken und Phasen der Verifikation und Validierung von Software werden betrachtet. Die dazu in der Praxis häufig eingesetzten Verfahren Begutachtung, Revision, Inspektion und strukturiertes Nachvollziehen werden im Anschluß beschrieben. Auf die wichtigsten Aspekte von Software-Tests wird eingegangen. Als einzige vom TÜV anerkannte strenge, jedoch nicht formale Verifikationsmethode wird diversitäre Rückwärtsanalyse im Detail vorgestellt. Abschließend wird gezeigt, wie sich das zeitliche Verhalten auch verteilter Echtzeitsysteme mittels Ereignis- und Umgebungssimulation sowie Messung validieren läßt.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Literatur
Clutterbuck, D.L., Carré, B.A.: The verification of low level code. IEE Softw. Eng. J. 3, 97–111 (1988)
Descartes, R.: Meditationen. Felix Meiner Verlag, Hamburg (1960)
Entwurf VDE-Richtlinie 0116: Elektrische Ausrüstung von Feuerungsanlagen. Beuth Verlag, Berlin (1989)
EWICS TC7 Software Sub-Group: Techniques for the verification and validation of safety-related software. Comput. Stand. 4, 101–112 (1985)
Fagan, M.E.: Design and code inspection to reduce errors in program development. IBM Syst. J. 15(3), 182–211 (1976)
Grimm, K.: Methoden und Verfahren zum systematischen Testen von Software. Automatisierungstechnische Praxis atp 30(6), 271–280 (1988)
Hausen, H.L., Müllerburg, M., Schmidt, M.: Über das Prüfen, Messen und Bewerten von Software. Informatik-Spektrum 10, 132–144 (1987)
IEEE/ANSI Standard 610: Glossary of Software Engineering Terminology. Institute of Electrical and Electronics Engineers, New York (1990)
IEEE/ANSI Standard 730: Software Quality Assurance Plans. Institute of Electrical and Electronics Engineers, New York (1989)
IEEE/ANSI Standard 983: Guide for Software Quality Assurance Planning. Institute of Electrical and Electronics Engineers, New York (1986)
Krebs, H., Haspel, U.: Ein Verfahren zur Software-Verifikation. Regelungstechnische Praxis rtp 26 73–78 (1984)
MALPAS (Malvern Program Analysis Suite). Rex, Thompson & Partners Ltd., Farnham) (1985)
Wannemacher, M., Halang, W.A.: GPS-based timing and clock synchronisation for real time computers. IEE Electron. Lett. 30(20), 1653–1654 (1994)
Yourdon, E.: Structured Walkthroughs. Prentice-Hall, Englewood Cliffs (1980)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer-Verlag GmbH Deutschland, ein Teil von Springer Nature
About this chapter
Cite this chapter
Halang, W.A., Konakovsky, R.M. (2018). Software-Verifikation. In: Sicherheitsgerichtete Echtzeitsysteme. VDI-Buch. Springer Vieweg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-56369-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-662-56369-4_6
Published:
Publisher Name: Springer Vieweg, Berlin, Heidelberg
Print ISBN: 978-3-662-56368-7
Online ISBN: 978-3-662-56369-4
eBook Packages: Computer Science and Engineering (German Language)