| Nowadays, embedded system is being extensively applied in control system components and intelligent instruments. As the system component growing more and more dependent on the embedded system, its requirement for the embedded software quality especially for reliability is much stricter. Therefore, through recommending the techniques and methods applying in the software safety life cycle, IEC61508 functional safety standard is drawn to improve the software reliability and assure the software quality.Arounding the research on the design and verification technology for high reliability, based on the software development lifecycle (the V-model) in IEC61508 and with the demand of SIL 2(Safety Integrity Level 2), in this paper, according to the module phase of V model, firstly, the definition of coding standard and the realization of code static analysis is put forward. Secondly, with the analysis on the functional demand of module test process, an Embedded Software Module Test Framework is proposed. According to components of framework, the theoretical foundation and implementation details of program information extractor, code generator, test function library and test report generator are introduced. Program information extractor which adopts Lex&Yacc technique could construct the Abstract Syntax Tree model of program to collect the interface information and realize the auto-analysis of the source code. While code generator and test report generator which is based on the XML/XSLT technology could generate test code and test report in format of XML. For the test code generated by many commercial testing tools is beyond the capacity of some embedded system's memory space, the framework simplifies the realization of some test functions to reduce the resources employed in the under-test system. Finally, an example program of intelligent instrument software was cited to demonstrate the realization of code static analysis and module test process. |
PDF Full Text Request