Static analysis test platform construction for embedded systems

Abstract

Greatly progress has been made in embedded system product recent years. With widely application of embedded system, measures must be taken to assure its quality and accelerate its development time. A static analysis test platform for embedded systems is constructed in this paper with two static analysis tools, PolySpace and Pclint. Since embedded software and ordinary software are not the same, these tools can be useful after complicated configuration. By comparing the differences between embedded software and ordinary software, a set of steps are introduced, which are concluded and verified by authorspsila practice in recent two years. In order to present organized configuration processes, analysis result of 5 source files are shown to illustrate the effect of this platform. This analysis test platform should be used as early as possible during embedded system development cycle.