31、实时与混合系统测试及相关工具案例分析

实时与混合系统测试及相关工具案例分析

1. 实时与混合系统测试概述

实时和混合系统的测试自动化与无时间系统的测试自动化有所不同。在测试评估等方面，需要同时考虑时间域，对于混合系统还需考虑密集值域。被测系统（SUT）的模型必须对其实际行为进行抽象，以便生成合理的测试用例。而测试驱动程序则将生成的输入具体化，以提供给 SUT，反之，SUT 的具体输出又会被再次抽象，从而能够根据抽象模型进行测试评估。

2. 不同建模技术

• 过程代数与自动机
  • 过程代数（如 ACSR） ：能够对由通过事件相互通信的进程组成的系统进行建模，可显式建模并发，时间被视为离散的。不过，该建模技术在偏好图形化建模的行业中缺乏支持，但基于它的测试已被证明是有用且可行的。
  • 自动机 ：基于自动机的建模更受欢迎，例如在 UML 中，状态机被用作自动机的变体。定时自动机引入离散或密集时间，以能够对时间约束进行建模。图形化模型原则上易于理解，但大型模型在图形表示上会变得难以处理，需要使用层次结构或不同的抽象级别来改善这种情况。
• 离散时间与密集时间建模
  • 离散时间 ：定时器是一个连续递增的计数器，由于计算机本身是离散工作的，这种建模方式似乎比较合适。
  • 密集时间 ：时间本质上是密集的，基于密集时间的建模更接近现实，例如在使用