期刊
2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020)
卷 -, 期 -, 页码 335-346出版社
IEEE COMPUTER SOC
DOI: 10.1145/3377811.3380381
关键词
Cyber-physical systems; differential testing; equivalence modulo input; model mutation; Simulink
资金
- National Science Foundation (NSF) [1527398, 1736323, 1910017, 1911017, 1918450]
- Air Force Office of Scientific Research (AFOSR) [FA9550-18-1-0122]
- Direct For Computer & Info Scie & Enginr
- Division of Computing and Communication Foundations [1527398, 1918450] Funding Source: National Science Foundation
- Direct For Computer & Info Scie & Enginr
- Division of Computing and Communication Foundations [1910017, 1911017, 1736323] Funding Source: National Science Foundation
Finding bugs in commercial cyber-physical system development tools (or model-based design tools) such as MathWorks's Simulink is important in practice, as these tools are widely used to generate embedded code that gets deployed in safety-critical applications such as cars and planes. Equivalence Modulo Input (EMI) based mutation is a new twist on differential testing that promises lower use of computational resources and has already been successful at finding bugs in compilers for procedural languages. To provide EMI-based mutation for differential testing of cyber-physical system (CPS) development tools, this paper develops several novel mutation techniques. These techniques deal with CPS language features that are not found in procedural languages, such as an explicit notion of execution time and zombie code, which combines properties of live and dead procedural code. In our experiments the most closely related work (SLforge) found two bugs in the Simulink tool. In comparison, SLEMI found a super-set of issues, including 9 confirmed as bugs by MathWorks Support.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据