大型关键控制系统特定配置下抽象测试的自动实例化
软件工程
2022-06-29 v1
摘要
基于计算机的控制系统在规模、复杂性、分布性和关键性方面不断增长。本文提出了一种高效执行此类大型控制系统抽象测试的方法论：抽象测试直接根据系统功能需求指定，并必须实例化为更多的测试运行，以覆盖包含任意数量控制实体（传感器、执行器和逻辑过程）的特定配置。此类过程通常针对控制系统的每个安装手动执行，需要耗费大量时间且是容易出错的验证活动。为了自动化从与所谓通用软件应用相关的抽象测试到任何特定安装的安全过渡，本文提供了一种算法，该算法始于参考架构和控制软件的状态行为模型。所提出的方法已应用于铁路联锁系统，证明了其在多年测试经验中的可行性和有效性。
引用
@article{arxiv.1303.2966,
title = {Automatic instantiation of abstract tests on specific configurations for large critical control systems},
author = {Francesco Flammini and Nicola Mazzocca and Antonio Orazzo},
journal= {arXiv preprint arXiv:1303.2966},
year = {2022}
}