Automatic generation of run-time test oracles for distributed real-time systems

Distributed real-time systems are of one important type of real-time systems. They are usually characterized by both reactive and real-time factors and it has long been recognized that how to automatically check such systems' correctness at run time is still an unaddressed problem. As one of the main solutions, test oracle is a method usually used to check whether the system under test has behaved correctly on a particular execution. Test oracle is not only the indispensable stage of software testing, but also the weak link of the software testing research. In this paper, real-time specifications are adopted to describe the properties of distributed real-time systems and a real-time specification-based method for automatic run-time test oracles generating is proposed. The method proposed here is based on tableau construction theory of realtime model checking, automatically generates timed automata as test oracles, which can automatically check system behaviors' correctness from real-time specifications written in MITL[0,d].