CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments
详细信息 查看全文
- 关键词：Differential testing ; Cyber ; physical systems ; Model ; based design ; Simulink
- 刊名：Lecture Notes in Computer Science
- 出版年：2017
- 出版时间：2017
- 年：2017
- 卷：10107
- 期：1
- 页码：46-60
- 丛书名：Cyber Physical Systems. Design, Modeling, and Evaluation
- ISBN：978-3-319-51738-4
- 卷排序：10107
文摘
Designing complex systems using graphical models in sophisticated development environments is becoming de-facto engineering practice in the cyber-physical system (CPS) domain. Development environments thrive to eliminate bugs or undefined behaviors in themselves. Formal techniques, while promising, do not yet scale to verifying entire industrial CPS tool chains. A practical alternative, automated random testing, has recently found bugs in CPS tool chain components. In this work we identify problematic components in the Simulink modeling environment, by studying publicly available bug reports. Our main contribution is CyFuzz, the first differential testing framework to find bugs in arbitrary CPS development environments. Our automated model generator does not require a formal specification of the modeling language. We present prototype implementation for testing Simulink, which found interesting issues and reproduced one bug which MathWorks fixed in subsequent product releases. We are working on implementing a full-fledged generator with sophisticated model-creation capabilities.