Browse Publications Technical Papers 2005-01-3977

Formal software inspection as an option for software quality improvement 2005-01-3977

Software has been an area of great focus in the industry lately. Quality in software products is the main goal of the relatively new Software Engineering discipline. In order to achieve a good level of quality, the software engineers must follow rigid and well-documented procedures. This paper assesses a software quality assurance technique called formal inspection. This technique is very effective in finding software defects early in the software development process1, contributing to improve software quality and decrease development cost. This paper also presents a study case where formal inspection was experienced to improve the quality of software for engine management system.


Subscribers can view annotate, and download all of SAE's content. Learn More »


Members save up to 43% off list price.
Login to see discount.
Special Offer: With TechSelect, you decide what SAE Technical Papers you need, when you need them, and how much you want to pay.