Best Practices in Code Inspection for Safety-Critical Software

Authors:
Jorge Rady de Almeida Jr.;João Batista Camargo Jr.;Bruno Abrantes Basseto;Sérgio Miranda Paz
Affiliations:
Escola Politecnica da USP;Escola Politecnica da USP;Escola Politecnica da USP;Escola Politecnica da USP
Venue:
IEEE Software
Year:
2003

Citing 11
Cited 2

Safeware: system safety and computers

Safeware: system safety and computers
A Statistical Approach to the Inspection Checklist Formal Synthesis and Improvement

IEEE Transactions on Software Engineering
Qualitative Methods in Empirical Studies of Software Engineering

IEEE Transactions on Software Engineering
Measuring Process Consistency: Implications for Reducing Software Defects

IEEE Transactions on Software Engineering
Software Inspection

Software Inspection
Comparing Detection Methods For Software Requirements Inspections: A Replication Using Professional Subjects

Empirical Software Engineering
Safety Analysis of Requirements for a Product Family

ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
A Systematic Approach to Software Safety

APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Comparing Inspection Strategies for Software Requirement Specifications

ASWEC '96 Proceedings of the 1996 Australian Software Engineering Conference
A WWW-Based Tool for Software Inspection

HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences - Volume 3
Towards automation of checklist-based code-reviews

ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering

Managing change and reliability of distributed software system

International Journal of Information Systems and Change Management
Impact of maintainability defects on code inspections

Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement

Quantified Score

Hi-index	0.01

Visualization

Abstract

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.