University of Limerick Institutional Repository

Software inspections we can trust

DSpace Repository

Show simple item record Parnas, David Lorge 2009-03-03T15:03:23Z 2009-03-03T15:03:23Z 2003
dc.description non-peer-reviewed
dc.description.abstract Software is devilishly hard to inspect. Serious errors can escape attention for years. Consequently, many are hesitant to employ software in safety-critical applications and developers and users are finding the correction of software errors to be an increasingly burdensome cost. This talk describes a procedure for inspecting software that consistently finds subtle errors in software that is believed to be correct. The procedure is based on four key principles: * All reviewers actively use the code. * Reviewers exploit the hierarchical structure of the code rather than proceeding sequentially through the code. * Reviewers focus on small sections of code, producing precise summaries that are used when inspecting other sections. The summaries provide the links between the sections. * Reviewers proceed systematically so that no case, and no section of the program, gets overlooked. The inspectors produce and review mathematical documents. The mathematics allows them to check for complete coverage; tabular notation allows the work to proceed systematically in small steps. en
dc.language.iso eng en
dc.subject software inspection en
dc.title Software inspections we can trust en
dc.type Report en
dc.type.supercollection all_ul_research en
dc.type.restriction none en
dc.contributor.sponsor SFI

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account