专栏首页arxiv.org翻译专栏DCO分析器:分布式测试场景的局部可控性与可观测性的分析与实现(CS SE)
原创

DCO分析器:分布式测试场景的局部可控性与可观测性的分析与实现(CS SE)

为了确保关键场景中异构分布式系统的互操作性和行为的正确性,必须要基于部署在系统组件附近的分布式测试组件(称为本地测试程序)来执行自动化集成测试,以模拟来自环境的输入并监视环境和其他系统组件之间的交互。我们认为,如果测试输入可以由本地决定,并且一致性错误可以由本地测试人员在本地检测,那么分布式测试场景将是本地可控的且可观察的,不需要在测试执行期间在测试组件之间交换协调消息(在测试组件之间交换消息可能会降低测试工具的响应性和故障检测能力)。分布式测试场景是通过UML序列图指定的,DCO分析器是第一个检查它是否显示上述属性的工具,并自动确定执行这些属性的最小协调消息数。

原文题目:DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios

原文: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.

原文作者:Bruno Lima, João Pascoal Faria

原文链接:https://arxiv.org/abs/2004.04616

原创声明,本文系作者授权云+社区发表,未经许可,不得转载。

如有侵权,请联系 yunjia_community@tencent.com 删除。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 肺炎自动检测的深度学习(CS CV)

    肺炎是导致幼儿死亡的主要原因,也是全世界致死率最高的疾病之一。肺炎的检测通常是由经验丰富的专家通过胸片检查来完成的,检查过程冗长乏味,并且经常导致放射科医生之间...

    Elva
  • 使用参与式设计构建更好的接触者追踪和邻近追踪应用程序(CS CY)

    随着接触者追踪和邻近追踪解决方案慢慢成为控制流行病蔓延的一种重要手段,公民和部署这些解决方案的当局之间存在着不信任。这些解决方案的有效性取决于满足一个最低吸收阈...

    Elva
  • 敏捷软件开发的文献计量分析(CS SE)

    敏捷方法目前被认为是软件开发的主要范例之一。从科学的角度来看,它的研究近年来受到软件工程相关科学界的重视。本研究旨在对与该领域最相关研究的数量、特点和范围进行文...

    Elva
  • C++核心准则T.3:使用模板表现容器和范围

    Containers need an element type, and expressing that as a template argument is g...

    面向对象思考
  • 公共交通中的被动式Wi-Fi监控:以马德拉岛为例(CS CY)

    在过去的几年里,交通变得越来越重要,影响着人们的满意度并显著影响他们的生活质量。在本文中,我们提出了一个更加人性化的无线交通监控系统,以期对低成本的公共交通进行...

    小童
  • 深度学习与TensorFlow:FCN论文翻译

    这篇论文跟上一篇的VGG论文一样,在深度学习领域同样的经典,在2015年的CVPR,该论文拿到了best paper候选的论文,在之后的PASCAL VOC20...

    云时之间
  • 【论文推荐】最新八篇生成对抗网络相关论文—离散数据生成、设计灵感、语音波形合成、去模糊、视觉描述、语音转换、对齐方法、注意力

    【导读】专知内容组整理了最近八篇生成对抗网络(Generative Adversarial Networks )相关文章,为大家进行介绍,欢迎查看! 1.Cor...

    WZEARW
  • 张亚勤寄语哥伦比亚大学2020年毕业生:引领未知时代

    5月18日,人工智能和数字视频的世界级科学家和企业家,美国艺术与科学院院士、百度前总裁、清华大学智能科学讲席教授张亚勤博士,在哥伦比亚大学工学院的毕业典礼上发表...

    数据猿
  • Choosing a Technology Stack for Web App Development in 2019

    How To Choose The Best Technology Stack For Web Application Development? Choosin...

    用户4822892
  • Top 10 Python Frameworks for Web Development for 2020

    Top Python Frameworks for Web Development for 2020. Top 10 Python Frameworks to ...

    用户4822892

扫码关注云+社区

领取腾讯云代金券