基于文法简化和语句深度的静态结构模型嵌入式软件分析

摘要：

提出了一种基于文法简化和配合语句深度的静态结构模型的嵌入式软件分析方法.该方法设计了文法简化的词法分析和配合语句深度的语法分析,结合控制流/数据流分析,对嵌入式软件进行分析.以智能电能表开源软件作为案例,进行了30次实验,将人为插入的错误代码作为验证对象,同PC-Lint和Splint测试工具进行对比,本方法能够正确分析的概率为91％,介于PC-Lint的95％和Splint的90％之间.该方法在解决了编译器对嵌入式平台不兼容问题以及保障正确率的情况下,提高了测试的效率.实验结果证明本方法适用于通过编译的C(含嵌入式)程序.

关键词：嵌入式系统、静态结构模型、软件分析

所属期刊栏目：43

分类号：TP305(计算技术、计算机技术)

资助基金：国网天津电力公司项目KJ15-1-32

在线出版日期：2016-12-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：490-494