一句话：提出去中心化一致性检查与测试输入生成算法，并检查/强制局部可观测性和可控性，实现分布式系统场景化集成测试自动化。
在越来越多的领域中，端到端服务依赖多个系统互操作，形成常带时序约束的新分布式系统。为确保互操作性与完整性，需要在关键场景下开展集成测试，验证系统组件之间以及系统与环境之间的交互。然而，分布式测试的自动化面临执行分散、观测与控制受限等挑战。该论文提出用于去中心化一致性检查与测试输入生成的算法，并给出检查和强制局部可观测性与可控性条件的算法，从而支持去中心化测试执行。摘要未报告具体实验评估；贡献集中在算法层面，为基于场景的分布式系统集成测试自动化提供了方法基础。
In a growing number of domains, the provisioning of end-to-end services to the users depends on the proper interoperation of multiple systems, forming a new distributed system, often subject to timing constraints. To ensure interoperability and integrity, it is important to conduct integration tests that verify the interactions with the environment and between the system components in key scenarios. To tackle test automation challenges, we propose algorithms for decentralized conformance checking and test input generation, and for checking and enforcing the conditions (local observability and controllability) that allow decentralized test execution.
DOI 原文 ·
@inproceedings{paperbot4607,
title = {Automated scenario-based integration testing of distributed systems},
author = {Bruno Lima},
booktitle = {FSE},
year = {2018},
doi = {10.1145/3236024.3275431}
}