The Method of Test Oracle Generation Based on Event Temporal Logic

Minfang Sun,Ji Wu,Chao Liu,Haiyan Yang
DOI: https://doi.org/10.1109/icctec.2017.00149
2017-01-01
Abstract:Test Oracle is a method used to check whether the system under test is running correctly in the case of specific execution, which is indispensable in the test. The events in the real-time system are complex and the interaction are complicated with strict time constraints, resulting in difficulties in the generation of real-time system test predictions. This paper investigated the current situation of real-time system testing for real-time system timing and time characteristics. The research presented a formal description method of realtime system event temporal logic, and designed the temporal event matrix for the real-time system. Furthermore, it generated the test oracles for the real-time system through the temporal event matrix analysis and traversal. At the end, the paper provided the case study to verify the method in the research.
What problem does this paper attempt to address?