Issue No. 03 - May/June (2009 vol. 26)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MS.2009.65
Ben Chelf , Coverity
Christof Ebert , Vector
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.
static code analysis, verification, code checking, unit test, review, inspection
B. Chelf and C. Ebert, "Ensuring the Integrity of Embedded Software with Static Code Analysis," in IEEE Software, vol. 26, no. , pp. 96-99, 2009.