A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications

This paper discusses how to generate the test suites of embedded real-time systems (ERTS) at software architecture level to ensure the correctness of the system design. For that purpose, an architecture description language of distributed/embedded real-time system (DRTSADL) is used to describe configuration (structure) and behavior of the implementation under test (IUT) of ERTS. A test suites generation algorithm of ERTS based on DRTSADL specification is developed, the ideas of this algorithm are to map the DRTSADL specification into intermediate format of timed input/output automaton, and the test suites are generated with an improved Wp-method. Experiments show that the method employed in this paper can be applied to systems in practice.