论文标题
DCO分析仪：局部可控性和可观察性分析以及分布式测试方案的执行
DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
论文作者
论文摘要
为了确保在关键方案中的异质分布式系统的互操作性和正确的行为，重要的是基于分布式测试组件（称为本地测试人员）进行自动集成测试，这些测试（称为本地测试人员）被部署到附近的系统组件，以模拟来自环境的输入并监视与环境和其他系统组件的相互作用。我们说，如果可以在本地确定测试输入，并且可以在本地测试人员本地检测到一致性错误，而无需在测试执行过程中在测试组件之间交换协调消息（这可能会降低测试磁盘的响应能力和测试磁盘的故障检测能力）。 DCO Analyzer是第一个检查通过UML序列图指定的分布式测试方案，显示这些属性，并自动确定最少数量的协调消息来强制执行它们。
To ensure interoperability and the correct behavior of heterogeneous distributed systems in key scenarios, it is important to conduct automated integration tests, based on distributed test components (called local testers) that are deployed close to the system components to simulate inputs from the environment and monitor the interactions with the environment and other system components. We say that a distributed test scenario is locally controllable and locally observable if test inputs can be decided locally and conformance errors can be detected locally by the local testers, without the need for exchanging coordination messages between the test components during test execution (which may reduce the responsiveness and fault detection capability of the test harness). DCO Analyzer is the first tool that checks if distributed test scenarios specified by means of UML sequence diagrams exhibit those properties, and automatically determines a minimum number of coordination messages to enforce them.
