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...

Full description

Saved in:
Bibliographic Details
Published inIEEE software Vol. 20; no. 3; pp. 56 - 63
Main Authors de Almeida, J.R., Camargo, J.B., Basseto, B.A., Paz, S.M.
Format Journal Article
LanguageEnglish
Published Los Alamitos IEEE 01.05.2003
IEEE Computer Society
Subjects
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 AccessGet full text

Cover

More Information
Summary: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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
ObjectType-Article-2
ObjectType-Feature-1
ISSN:0740-7459
1937-4194
DOI:10.1109/MS.2003.1196322