The Conformance Test Of OSEK/VDX Operating System

OSEK/VDX specification is a vehicle electronic designation specification developed by the European auto industry during 1990s, and it provides embedded computer system development standards for network connection of advanced automotive electronic equipment. Nowadays, many companies and research institutions have developed OSEK operating systems. However, as the OSEK/VDX specification is specified in natural language and is still under development, OSEK operating systems developed by different developers may function differently. So, it's necessary to do conformance test for OSEK operating systems.After an in-depth study of OSEK/VDX operating system specification, a method of conformance test for OSEK/VDX operating system based on classification tree to construct test cases is proposed in this paper. First, test purposes are extracted from the OSEK operating system specification; next, classification trees are constructed according to the test purposes and test cases are obtained from the classification tree; then test cases are implemented and executed under the test OSEK operating system; finally, the execution result of test cases is analyzed. This method makes use of the OSEK operating system's property that it has only a few function modules and API functions, and the structural and systematic advantage of classification tree method, both of which make the construction of test cases easy and comprehensive.The main work and contribution of this paper include two aspects as follows:(1) A specification for conformance test of operating system based on classification tree method is proposed.This specification specifies that the conformance test of operating system includes four steps: first, it's necessary to extract test purposes from the specification; next, according to the specification and test purposes, abstract test cases are implemented through classification tree; then test cases are implemented and executed under the test operating system; finally, by analyzing the execution result of test cases, the conclusion whether the operating system being tested is conformant is given out. The specification also specifies the representation of each step, for example, the representation of test purposes and abstract test cases.(2) Conformance test cases of OSEK operating system is constructed using classification tree method. After in-depth study of OSEK operating system specification, the input domains of classification tree are decided by analyzing the execution level, activation and affection of API. Test cases and test sets are implemented according to the analysis of test purposes and using classification tree tool.(3) The conformance test of MiniOSEKBased on the implementation feature of MiniOSEK, test cases are implemented and executed on MiniOSEK, and the test result is also analyzed to get the conclusion whether MiniOSEK is conformant. The test result shows that the modules of MiniOSEK under test are conformant.