关键词: 实时系统 基于模型的测试 时间自动机 时序逻辑 Petri net

Abstract:

】This paper analyzes the main characteristics of model-based real-time system testing. Existing approaches are classified into categories and are revie  wed in detail, and comparisons are made between them. Current difficulties and future directions of model-based real-time system testing are also pointe d out and proposed.

Key words: real- time system, model-based testing, timed automata, temporal logic, Petri net