In: Proc. 26th EUROMICRO Conference, 5-7 September 2000, Maastricht, The Netherlands, Vol. 2, pages 270-276. 2000.
Abstract: The time-dependent and asynchronous nature of many real-time applications adds a new and potentially difficult element to the testing activities, which needs to be solved. To address this need, the paper presents a formal testing strategy for real-time software by using dual-language approach. The approach starts with the derivation of ral-time software requirements in temporal logic form as the descriptive formalism. Then an abstract semantics is presented to correlate the temporal logic formulae with the time Petri net model of the software, which is the operational formalism, and is used to generate the test cases. Based on the temporal properties of the software requirements, the descriptive formalism provides rich information for test oracle generation. By combining the timed test cases with oracles, the firm and definite test suites are formed.
Keywords: dual-language approach, formal testing methods, real-time systems, temporal logics, test generation, time Petri nets.