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

• 作者: 刘崇伟 刘金硕 李祯祥 杨广益
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 嵌入式系统 静态结构模型 软件分析
• 年，卷（期）: 2016,（z2）
• 所属期刊栏目: 软件工程与数据库技术
• 页码范围: 490-494
• 页数: 5页
• 分类号: TP305
• 字数: 5268字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘金硕	武汉大学计算机学院	19	109	6.0	10.0
2	李祯祥	国网天津市电力公司电力科学研究院	5	21	3.0	4.0
3	刘崇伟	国网天津市电力公司电力科学研究院	6	3	1.0	1.0
4	杨广益	武汉大学计算机学院	1	1	1.0	1.0