{'fraction_non_alphanumeric': 0.018538713195201745, 'fraction_numerical': 0.0, 'mean_word_length': 4.961038961038961, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
The Method of Test Oracle Generation Based on Event Temporal Logic

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.