Static analysis techniques for robotics software verification
Static analysis techniques for robotics software verification
复制标题
用于机器人软件验证的静态分析技术
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
N. Chaki
中科院分区：
文献类型：
--
作者：
Agostino Cortesi;Pietro Ferrara;N. Chaki
我们概述了用于软件验证的主要基于语义的静态分析技术：数据流分析，控制流分析，模型检查和抽象解释。控制软件的复杂性位于机器人系统的核心，而数值的密集使用对正式验证功能或非功能性能构成了几个挑战。
We overview the main semantics-based static analysis techniques for software verification: Data-flow analysis, Control-flow Analysis, Model Checking, and Abstract Interpretation. The complexity of control software, lying at the core of robotic systems, and the intensive use of numeric values pose several challenges for the formal verification of either functional or non-functional properties.