A Testing Method For Component-based Embedded Real-time Software

With the development of embedded technology, embedded component technology has become the focus of the public. Test methods for embedded components, especially, test of embedded real-time component, become an important part of protection the quality of component-based embedded software. In order to choose safe and reliable embedded real-time components to assemble embedded real-time software, the functional and real-time test of embedded real-time components has to be completed.Currently, there are still some problems for testing component-based embedded real-time software:no-standard interface definition of embedded real-time component, time-constrained test problems and so on. A series of achievements have been reached in common software component interface definition at home and abroad which is extensively applied to the development process of the software. Component models such as COM, CORBA, EJB proposed the definitions of component interfaces. However, interface definitions for embedded real-time components also need to improve the description of time constraints, because of the lack of uniform norms. Meanwhile, the time constraints test of the embedded real-time component needs to construct a time-dependent model of interactions action between the components to effectively complete the test. Therefore, studying how to standardize embedded real-time component of the interface definition, and structure test model for testing to complete the component-based embedded real-time software assembly, is of great significance.In this paper, on the learning of component technology and theory of timed automata, on the bases of existing research results, proposed one test method for component-based embedded real-time software, mainly to discuss and study at the following aspects: First, this paper proposed a definition for interface of embedded real-time component, divided embedded real-time component into embedded real-time functional component and embedded real-time scheduling component to execute the definition of the interface and meet the interaction of embedded real-time components.Second, for real time requirement in the embedded real-time components interaction, this paper based on time automata theory, puts forward a construction method of component-based embedded real-time software timed automata model-CBERSTA, Which can realize the description of state transition and time constraints of embedded real-time components interactions.Third, in order to simplify the CBERSTA model, this paper uses the symbolic state splitting algorithm to split the state spaces of constructed CBERSTA model. On this basis, the abstract time delay will be replaced with time variable after the split of CBERSTA model, and the time variable will be added to the state transition actions in order to facilitate test cases generation.Finally, to verify the feasibility and effectiveness of the CBERSTA model proposed in this thesis, it takes advantages of the constructed CBERSTA model to generate test cases and test algorithms to carry through the software testing and test results analysis.