Portal de Periódicos da CAPES

Artigo Produção Nacional Revisado por pares

BIBTEX RIS

Best practices in code inspection for safety-critical software

2003; IEEE Computer Society; Volume: 20; Issue: 3 Linguagem: Inglês

10.1109/ms.2003.1196322

1937-4194

Jorge Rady de Almeida, João Batista Camargo, Bruno Abrantes Basseto, Sérgio Miranda Paz,

Software Engineering Research

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.