Design and Implementation of a Static Test Approach for Embedded Software

On the basis of static test tool Splint and ARM Developer Suite, a static test approach for embedded software was designed and implemented in the platform ARM test for embedded software testing. This approach selects different parameters for static test according to the requirements, invokes Splint to enforce the test, arranges and categorizes test results, and associates the results with the program to be tested. Experiments showed that this static test approach based on Splint and ADS can perform static test of embedded software precisely and efficiently.