Generating timed test cases with oracles for real-time software

The time-dependent and asynchronous nature of many real-time applications a dds a potentially difficult problem to the testing activities, which needs to be solved. To address this need, we present a formal testing strategy fo r real-time software by using dual-language approach. In our approach, we s tart with the derivation of real-time software requirements in temporal log ic form as our basis of descriptive formalism. Then we propose an abstract semantics to correlate the temporal logic formulae with the time Petri nets of the software. Therefore, we obtain the operational formalism to generat e the test cases. According to the temporal properties of the software requ irements, the descriptive formalism provides rich information for test orac le generation. By combining the timed test cases with oracles, the firm and definite test suites are formed. (C) 2001 Elsevier Science Ltd. All rights reserved.