DocumentCode :
1240233
Title :
Ensuring the Integrity of Embedded Software with Static Code Analysis
Author :
Chelf, Ben ; Ebert, Christof
Volume :
26
Issue :
3
fYear :
2009
Firstpage :
96
Lastpage :
99
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;
fLanguage :
English
Journal_Title :
Software, IEEE
Publisher :
ieee
ISSN :
0740-7459
Type :
jour
DOI :
10.1109/MS.2009.65
Filename :
4814967
Link To Document :
بازگشت