基于模型的实时系统测试方法

Model-Based Methods for Real-Time System Testing

本文分析了基于模型的实时系统测试的主要特征,分类介绍了现有的测试方法,并对这些方法作了归纳、比较和评价,指出了这类测试面临的困难和今后的发展趋势。

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