.png){kind=icon}
返回
Specification-Driven Conformance Checking for Virtual/Silicon Devices Using Mutation Testing
.png){kind=icon}
OA
AI
DOI：10.1109/TC.2020.2988906.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Modern software systems, either system or application software, are increasingly being developed on top of virtualized software platforms. They may simply intend to execute on virtual machines or they may be expected to port to physical machines eventually. In either case, the devices, virtual or silicon, in the target virtual or physical machines are expected to conform to the specifications based on which the software systems have been developed. Non-conformance of these devices to the specifications can cause catastrophic failures of the software systems. In this article, we propose a mutation-based framework for effective and efficient conformance checking between virtual/silicon device implementations and their specifications. Based on our defined mutation operators, device specifications can be automatically instrumented with weak mutant-killing constraints to model potential erroneous device behaviors. To kill all feasible mutants, our approach adopts a cooperative symbolic execution mechanism that can efficiently automate the test case generation and conformance checking for virtual/silicon devices. By symbolically executing the instrumented specifications with virtual/silicon device traces obtained from the cooperative execution, our method can accurately measure whether the designs have been sufficiently validated and report the inconsistencies between device specifications and implementations. Comprehensive experiments on two industrial network adapters and their virtual devices demonstrate the effectiveness of our proposed approach in conformance checking for both virtual and silicon devices.
Keyword:
Testing
Silicon devices
Software systems
Instruments
Registers
Frequency division multiplexing
Generators
Conformance checking
mutation testing
virtual prototype
silicon device
specification
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.8
论文数:
5.4K
被引数:
1.0W
机构
引用论文
.png){kind=icon}
Analysis and Modeling of HVSR in the Presence of a Velocity Inversion: The Case of Venosa, Italy存在速度反演的HVSR的分析和建模: 意大利Venosa的情况
PREAI
分享收藏分享收藏
查看更多内容