Construction of Test Cases for Electronic Controllers Based on Timed Automata

摘要

In the verification and testing of electronic embedded controllers, one of the main difficulties is how to generate a collection of consistent and complete test-cases, and how to implement the test process in an automatic means. In this paper, we propose an approach to generating test-cases based on the timed automata-the formal models of controllers. The main contribution of this work is that we present a number of rules, which can be used to guide the generation of test-cases and to reduce their total number. Furthermore, we prove that the presented rules enjoy the completeness property in the sense that the set of the test-cases is able to cover all the functionalities of controllers which formally specified with timed automata.