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

发布时间：2017-09-14 13:20

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

  更多相关文章： 嵌入式系统 静态结构模型 软件分析

【摘要】：提出了一种基于文法简化和配合语句深度的静态结构模型的嵌入式软件分析方法。该方法设计了文法简化的词法分析和配合语句深度的语法分析,结合控制流/数据流分析,对嵌入式软件进行分析。以智能电能表开源软件作为案例,进行了30次实验,将人为插入的错误代码作为验证对象,同PC-Lint和Splint测试工具进行对比,本方法能够正确分析的概率为91%,介于PC-Lint的95%和Splint的90%之间。该方法在解决了编译器对嵌入式平台不兼容问题以及保障正确率的情况下,提高了测试的效率。实验结果证明本方法适用于通过编译的C(含嵌入式)程序。
【作者单位】： 国网天津市电力公司电力科学研究院;武汉大学计算机学院;
【关键词】： 嵌入式系统 静态结构模型 软件分析
【基金】：国网天津电力公司项目(KJ15-1-32)资助
【分类号】：TP311.53
【正文快照】： 1引言随着嵌入式技术的发展和嵌入式设备的普及,基于嵌入式设备的软件编程已经成为了计算机软件开发的重要工作。然而嵌入式系统由于采用不同的核心硬件,例如MCU的型号差异等,导致与之对应的软件在开发细节上更是千差万别。因此,对嵌入系统软件的代码质量进行科学的管理更困难

【相似文献】

中国期刊全文数据库 前10条

1 叶雨新;“嵌入式”与我们的机遇──发展嵌入式软件的几点思考[J];软件世界;2001年03期

2 李岩;嵌入式软件技术的现状与发展动向[J];辽宁高职学报;2002年03期

3 钟锡昌;嵌入式软件面临良好发展机遇[J];科技广场;2003年06期

4 苏珊 ,依然;好产品是卖出来的——“道系统”自主知识产权的嵌入式软件产品[J];电子设计应用;2003年Z1期

5 王继春;嵌入式软件及其应用领域与发展趋势[J];信息技术与信息化;2004年04期

6 方天选;浅谈嵌入式软件[J];山西电子技术;2004年05期

7 吴朝晖;;嵌入式软件发展的十个观点[J];计算机教育;2005年05期

8 彭敏;嵌入式软件:人才仍是关键[J];软件世界;2005年11期

9 吴朝晖;嵌入式软件发展趋势[J];电子产品世界;2005年03期

10 ;嵌入式软件,“嵌入”了什么?[J];软件世界;2006年10期

中国重要会议论文全文数据库 前10条

1 刘华;;通信设备嵌入式软件可靠性研究[A];第九届中国通信学会学术年会论文集[C];2012年

2 杨云松;孙旭光;梅文华;;嵌入式软件的加解密分析[A];第六届全国计算机应用联合学术会议论文集[C];2002年

3 曹松;李慧军;惠平;;航天嵌入式软件的发展趋势[A];中国空间科学学会空间探测专业委员会第十六次学术会议论文集（下）[C];2003年

4 贡岩;黄琳;;指挥自动化系统嵌入式软件可靠性评估[A];中国电子学会可靠性分会第十三届学术年会论文选[C];2006年

5 张志刚;;基于动态跟踪模式的军用嵌入式软件需求质量改进方法研究[A];质量——持续发展的源动力：中国质量学术与创新论坛论文集（下）[C];2010年

6 毕经存;;一种实用的嵌入式软件测试方法研究[A];2008’“先进集成技术”院士论坛暨第二届仪表、自动化与先进集成技术大会论文集[C];2008年

7 刘旭;谢家强;林岚;;建立嵌入式软件出口统计目录的探讨[A];国际服务贸易评论（总第7辑）[C];2013年

8 范东丽;孙长嵩;;嵌入式软件的测试策略初探[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集（下）[C];2006年

9 黎燕霞;;嵌入式软件可靠性测试的方法研究[A];2010第十五届可靠性学术年会论文集[C];2010年

10 徐菊芳;罗东芳;;椅载嵌入式软件覆盖率自动化测试技术[A];探索 创新 交流——第五届中国航空学会青年科技论坛文集(第5集)[C];2012年

中国重要报纸全文数据库 前10条

1 记者　 李佳师;嵌入式软件期待整体突破[N];中国电子报;2006年

2 陈军梅;嵌入式软件市场掘金[N];中国质量报;2006年

3 陈先锋;嵌入式软件人才面临着严重短缺[N];经济参考报;2007年

4 记者 侯力明 王芳 实习生 戴子宁;嵌入式软件，，下一块诱人的“奶酪”[N];江苏经济报;2006年

5 高丽华;嵌入式软件大有可为[N];计算机世界;2007年

6 章苒;嵌入式软件成“十一五”我国软件产业研发重点[N];民营经济报;2006年

7 杨波;邵峰晶：加快发展嵌入式软件产业[N];青岛日报;2007年

8 本报记者　 刘涓涓;信产部“松绑”嵌入式软件[N];21世纪经济报道;2006年

9 本报记者 陈晓晟;嵌入式软件发展关键在人才[N];通信信息报;2007年

10 贾娟;中国嵌入式软件需尽快拉长产业链[N];国际商报;2007年

中国博士学位论文全文数据库 前7条

1 徐丙凤;构件化嵌入式软件安全性分析方法研究[D];南京航空航天大学;2014年

2 孙福振;基于模型检查的嵌入式软件构件化分析与验证[D];北京理工大学;2015年

3 邓阿群;面向方面技术在大规模嵌入式软件中的应用[D];浙江大学;2007年

4 夏一行;面向数字化仪器设备的嵌入式软件应用框架研究[D];浙江大学;2007年

5 郭兵;嵌入式软件开放式集成开发平台体系结构研究[D];电子科技大学;2002年

6 祝义;嵌入式软件需求规约到软件体系结构模型的转换研究[D];南京航空航天大学;2011年

7 高志刚;基于模型的汽车电子软件综合方法研究[D];浙江大学;2008年

中国硕士学位论文全文数据库 前10条

1 肖前远;航空嵌入式软件全数字仿真测试技术研究[D];南京航空航天大学;2010年

2 姜兆义;星载嵌入式软件集成开发环境设计与关键技术研究[D];国防科学技术大学;2004年

3 张涛;嵌入式软件模拟测试平台中符号测试命令语言[D];西北工业大学;2005年

4 朱江;电子计量产品嵌入式软件质量评估方法研究[D];中国计量学院;2012年

5 李显杰;中断驱动的嵌入式软件性能动态评测方法[D];大连理工大学;2013年

6 王微;嵌入式软件自动回归测试方法的研究[D];内蒙古大学;2011年

7 王淑娥;嵌入式软件动态分析技术的研究[D];电子科技大学;2011年

8 肖芳雄;面向通信领域嵌入式软件平台核心的研究与实现[D];电子科技大学;2004年

9 朱丽;嵌入式软件动态测试平台的研究与实现[D];福建师范大学;2013年

10 洪波;仪器仪表中嵌入式软件单元测试技术研究[D];杭州电子科技大学;2013年

本文编号：850247