专栏首页arxiv.org翻译专栏基于需求的黑箱反应系统自动化测试(CS)
原创

基于需求的黑箱反应系统自动化测试(CS)

本文提出了一种黑箱无功系统一致性测试的新方法。我们将系统规范视为线性时序逻辑公式,将测试生成为输入/输出对序列:输入从对应于规范的Buchi自动机中提取,输出通过将输入馈送给系统来获得。通过比较输入/输出序列和自动机跟踪来检查一致性,以检测违反规范的情况。我们考虑了提取测试和停止生成的几个准则,并使用覆盖率和错误检测指标对它们进行了实验比较。结果表明,该方法能够生成具有良好系统覆盖率和错误检测能力的测试集。

原文题目:Automated Requirements-Based Testing of Black-Box Reactive Systems

原文:We present a new approach to conformance testing of black-box reactive systems. We consider system specifications written as linear temporal logic formulas to generate tests as sequences of input/output pairs: inputs are extracted from the Buchi automata corresponding to the specifications, and outputs are obtained by feeding the inputs to the systems. Conformance is checked by comparing input/output sequences with automata traces to detect violations of the specifications. We consider several criteria for extracting tests and for stopping generation, and we compare them experimentally using both indicators of coverage and error-detection. The results show that our methodology can generate test suites with good system coverage and error-detection capability.

原文作者:Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto

原文地址:https://arxiv.org/abs/2005.06750

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

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

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 从功能不确定性传感器到确定性双磁带自动机(CS CC)

    P = NP的问题围绕着有效生产与图灵机验证之间的差异。在本文中,我们研究了有限换能器和自动机的类似问题。每个不确定的有限换能器都定义一个二进制关系,将输入字与...

    蔡秋纯
  • 神经二部匹配(CS ML)

    图神经网络已经发现在算法空间学习中的应用。但是,从理论计算机科学家的角度来看,现有研究选择的算法(排序,广度优先搜索,最短路径查找等)通常是微不足道的。该报告描...

    蔡秋纯
  • 分布式学习中用于抑制散乱的高效梯度编码(CS IT)

    基于梯度的方法的分布式实现,其中服务器在工作机之间分配梯度计算,需要克服两个限制:由运行缓慢的机器(称为“散列器”)引起的延迟和通信开销。最近,Ye和Abbe[...

    蔡秋纯
  • 通过位置历史评估疾病暴露风险并保护隐私:应对全球流行病的密码学方法(CS AI)

    世界各地的政府和研究人员正在实施数据联系追踪解决方案,以阻止传染病COVID-19的传播。这些解决方案中的大多会威胁个人权利和隐私。我们的目标是打破接触追踪中高...

    用户7035935
  • 5G的构建:构建端到端支持5G的系统(CS)

    本文介绍了世界上第一个商用前符合标准的端到端5G系统。本文聚焦于标准化的5G架构,包括底层3GPP组件、ETSI网络功能虚拟化(NFV)管理和编排功能。我们讨论...

    Pamela_Lin
  • 古典法国剧院放词和POS标签的语料库和模型(CS CL)

    本文介绍了为法国古典文学建立带注释的语料库和训练模型的过程,重点是戏剧,尤其是诗歌中的喜剧。它最初是作为在Cafiero和Camps [2019]中进行的笔势分...

    刘子蔚
  • 从外表和行为来检测假冒视频(multimedia)

    合成生成的音频和视频——所谓的“深度伪造”——继续吸引着计算机图形和计算机视觉社区的想象力。与此同时,技术的民主化仍然令人担忧,因为它有可能破坏民主选举,造成小...

    用户6869393
  • 蝙蝠式在结构上栖息动作的仿生研究:惯性动力学(CS RO)

    蝙蝠的飞行特性在无人机设计中被忽视了。与其他动物不同,蝙蝠在栖息时利用惯性动力学来表现空中翻转。受这一独特动作的启发,这项工作开发并使用了一个名为“鱼叉”的微型...

    时代在召唤
  • Flink Forward 2019系列文章--实战相关(1)--农业机械公司John Deere

    How John Deere uses Flink to process millions of sensor measurements per second-...

    阿泽
  • Python Algorithms - C1 Introduction

    算法导论是一本经典的大而全的算法书籍,而本书Python Algorithms不是来取代而是来补充算法导论的,因为算法导论提供的是简易的伪代码和详细的证明,而本...

    宅男潇涧

扫码关注云+社区

领取腾讯云代金券