@inproceedings{30c039acfa8f45e49ed561f23555e75c,
title = "The method of test oracle generation based on event temporal logic",
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.",
keywords = "Real time system, Temporal logic, Test Oracle",
author = "Minfang Sun and Ji Wu and Chao Liu and Haiyan Yang",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 2017 International Conference on Computer Technology, Electronics and Communication, ICCTEC 2017 ; Conference date: 18-12-2017 Through 20-12-2017",
year = "2017",
month = dec,
doi = "10.1109/ICCTEC.2017.00149",
language = "英语",
series = "Proceedings - 2017 International Conference on Computer Technology, Electronics and Communication, ICCTEC 2017",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "664--670",
booktitle = "Proceedings - 2017 International Conference on Computer Technology, Electronics and Communication, ICCTEC 2017",
address = "美国",
}