【摘 要】
：
提出了一种基于文法简化和配合语句深度的静态结构模型的嵌入式软件分析方法。该方法设计了文法简化的词法分析和配合语句深度的语法分析,结合控制流/数据流分析,对嵌入式软
【机 构】
：
国网天津市电力公司电力科学研究院,武汉大学计算机学院
【基金项目】
：
国网天津电力公司项目(KJ15-1-32)资助
论文部分内容阅读
提出了一种基于文法简化和配合语句深度的静态结构模型的嵌入式软件分析方法。该方法设计了文法简化的词法分析和配合语句深度的语法分析,结合控制流/数据流分析,对嵌入式软件进行分析。以智能电能表开源软件作为案例,进行了30次实验,将人为插入的错误代码作为验证对象,同PC-Lint和Splint测试工具进行对比,本方法能够正确分析的概率为91%,介于PC-Lint的95%和Splint的90%之间。该方法在解决了编译器对嵌入式平台不兼容问题以及保障正确率的情况下,提高了测试的效率。实验结果证明本方法适用于通过编译的
其他文献
平显模拟系统以功能强大的交互式可视化的LabWindows/CVI5.0和OpenGL为编程平台开发应用软件,实现逼真模拟平显的功能.介绍了构建平显模拟系统的硬件组成,重点讨论了双机通讯
分析了多传感器融合的必要性,提出了基于Rough集构造模糊神经网络的方法,并应用于多传感器的智能状态监测系统.
网络媒体是分布式测控系统的重要部分.文章对以太网和分布式测控网进行了分析,提出了一种能迅速建立起基于以太网的分布式测控系统的方法.并具体解释了以太网与测控设备高速
由于传感器节点只携带能量十分有限的电池,如何最大化网络生命周期是传感器应用必须考虑的问题.提出一个新的能量相关路由算法,即基于概率和距离的能量相关协议EPDRP,该协议
MapReduce是Google提出的一种分布式计算模型,已在海量数据处理领域得到了广泛的应用.提出一种基于树型结构的新型MapReduce并行模型.该模型适合于利用Internet或Intranet环
云计算是当前信息技术的重要技术领域,而平台即服务(PaaS)已成为业界研究的热点之一。PaaS平台为用户提供高可用、高可扩展的应用开发、部署和运行环境。然而当部署到云端的应用需要不断更新以修复错误、增加功能时,当前主流PaaS平台却因缺乏对应用在线更新的有效支持而削弱了其自身的高可用特性。为解决该问题,提出一个面向PaaS平台的动态更新技术框架。基于现有软件动态更新技术的研究,通过对PaaS平台中
伴随着移动互联网、物联网以及云计算等技术的迅猛发展,社会由IT时代进入了DT时代,电子数据取证面临大数据时代带来的挑战.分布式计算、分布式存储以及分布式数据库技术为分
提出一种无线多媒体传感网多时间片多重覆盖路由协议MKCR。在事件监测过程中,系统采用视域固定的视频节点,对关键目标进行多角度覆盖以提高监测质量。在多节点协同工作时,协
随着云计算的广泛使用,使得利用传统的计算机取证方法获取计算机犯罪证据变得日益困难,数据处理效率低下.同时,云端数据的安全性、可靠性也难以得到充分保证,这一切导致了计
软件缺陷预测是软件可靠性研究的一个重要方向。由于影响软件失效的因素有很多,相互之间关联关系复杂,在分析建模中常用联合分布函数来描述,而实际应用中难以确定,直接影响软