Title :
Ensuring the Integrity of Embedded Software with Static Code Analysis
Author :
Chelf, Ben ; Ebert, Christof
Abstract :
With embedded software becoming increasingly pervasive and critical to our society, developers must ensure that their software code performs as intended and doesn´t fail. Static code analysis is key in controlling code quality even before unit testing. It doesn´t replace other verification and validation steps but helps remove certain defect types that otherwise wouldn´t be found. This article provides an overview on static code analysis and insight on how to best use it.
Keywords :
program verification; software quality; systems analysis; embedded software integrity; program validation; program verification; static code analysis; Computer industry; Embedded software; Hardware; Open source software; Radiation safety; Risk analysis; Security; Software safety; Software tools; Testing; code checking; inspection; review; static code analysis; unit test; verification;
Journal_Title :
Software, IEEE