Best practices in code inspection for safety-critical software

Best practices in code inspection for safety-critical software

One of the most important issues in analyzing safety-critical systems is code verification through an inspection checklist, whose items must be applied to the source code. The attention given to this list will help ensure obedience to good coding rules and represents an important factor in the desig...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE software 2003-05, Vol.20 (3), p.56-63
Hauptverfasser: de Almeida, J.R., Camargo, J.B., Basseto, B.A., Paz, S.M.
Format: Artikel
Sprache:eng
Schlagworte:
Application software
Best practices
Code standards
Codes
Coding
Coding standards
Computer programming
Computer programs
Control systems
Conventions
Design engineering
Design factors
Design specifications
Hardware
Inspection
Inspections
Lists
Product safety
Program verification (computers)
Programming languages
Security
Software
Software reliability
Software safety
Software standards
Suppliers
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:One of the most important issues in analyzing safety-critical systems is code verification through an inspection checklist, whose items must be applied to the source code. The attention given to this list will help ensure obedience to good coding rules and represents an important factor in the design of safety-critical systems. This list also helps in the development of non-safety-critical systems, improving their quality and correctness.
ISSN:0740-7459
1937-4194
DOI:10.1109/MS.2003.1196322