DCO Analyzer：分布式测试场景的局部可控性与可观测性分析及强制实施
软件工程
2020-04-10 v1
摘要
为确保异构分布式系统在关键场景中的互操作性和正确行为，基于分布式测试组件（称为本地测试器）进行自动化集成测试十分重要，这些组件部署在系统组件附近，以模拟来自环境的输入并监视与环境及其他系统组件的交互。如果测试输入可由本地决定且一致性错误可由本地测试器在本地检测，而无需在测试执行期间于测试组件间交换协调消息（这可能降低测试装置的响应性和故障检测能力），我们则称该分布式测试场景是局部可控且局部可观测的。DCO Analyzer 是首个检查由 UML 序列图指定的分布式测试场景是否展现这些属性，并自动确定强制实施它们所需的最少协调消息数量的工具。
引用
@article{arxiv.2004.04616,
title = {DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios},
author = {Bruno Lima and João Pascoal Faria},
journal= {arXiv preprint arXiv:2004.04616},
year = {2020}
}