论文摘要
嵌入式系统技术软硬件结合的优势,在各行各业有着广泛而成熟的应用,是当今计算机科学领域研究的热点问题。C程序指针使用复杂,加之C语言规范并未对指针的使用做过多限制,使得指针的误用难以避免,甚至带来严重的安全隐患。此外,嵌入式程序开发过程依赖于交叉编译环境,导致程序的开发和测试更加困难。因此,针对C程序指针的缺陷检测和可靠性研究,对于保证嵌入式程序的安全稳定运行有着极其重要的意义。程序缺陷检测通常分为两种方法,一种是运行时检测法,即动态检测法,另一种方法不依赖于程序运行,被称为静态检测方法。两种方法各有优点,静态检测执行效率高、设计相对简便且不依赖于检测代码的编译运行,所以更加适应对跨平台开发模式下的嵌入式程序进行缺陷检查。本文通过对国内外静态检测理论与技术的研究,提出了一种基于源代码模型转化与缺陷模式匹配的思想进行缺陷检查的方法。其核心思想是,将源代码转化成能够完整表达源码语义,同时又具有良好结构化查询能力的XML映射模型,同时将缺陷模式采用XML查询语言XQuery构建模型,通过驱动两者之间进行模式匹配最终实现缺陷检查。为了适应不同检测对象或环境的相关要求,提出了构建缺陷知识库的基本方法,通过灵活配置检测方案,执行不同的检测策略。此外,缺陷知识库的设计,使得系统便于开发和维护,同时极大地提高了系统的扩展性。本文所提出的检测系统在开发和测试的过程中进行了大量的测试和检测结果分析,验证了本文所提出指针安全检测方法的正确性和检测系统的实用性。本研究的主要工作获得了国家自然科学基金重大培育计划(航天嵌入式软件可信性度量方法与系统,91018003)的资助,再次感谢基金委对本项目组工作的支持。
论文目录
相关论文文献
- [1].C语言中关于指针的教学优化研究[J]. 计算机产品与流通 2020(03)
- [2].垂悬指针检测与防御方法[J]. 软件学报 2020(06)
- [3].C语言指针学习必要性分析[J]. 科技风 2020(18)
- [4].C语言指针的教学改革探索[J]. 电子元器件与信息技术 2020(05)
- [5].德国“印太指针”指向何方[J]. 世界知识 2020(19)
- [6].C++语言中悬挂指针的研究与应用[J]. 电脑知识与技术 2016(23)
- [7].开门见山与循序渐进:一种C语言指针教学方法[J]. 计算机教育 2017(04)
- [8].C语言教学中指针与数组的运用分析[J]. 通讯世界 2017(09)
- [9].浅析C指针和一维、二维数组之间的关系[J]. 电脑知识与技术 2017(28)
- [10].读懂你的表盘——指针的设计学问(上)[J]. 钟表 2015(05)
- [11].中风偏瘫患者家属对朱琏指针点按疗法认知程度的调查分析[J]. 护理实践与研究 2016(10)
- [12].深入解析C++指针类型[J]. 齐齐哈尔大学学报(自然科学版) 2016(05)
- [13].C指针在嵌入式系统开发中的方法研究[J]. 大众科技 2014(10)
- [14].C语言中指针教学的研究与探讨[J]. 电脑知识与技术 2014(31)
- [15].浅析C语言中指针的应用[J]. 科技经济市场 2014(08)
- [16].C语言中指针用法解析[J]. 中国新通信 2014(22)
- [17].日美新防卫指针指向何方[J]. 中国经贸导刊 2014(36)
- [18].试析C++中的悬挂指针问题[J]. 电脑编程技巧与维护 2014(24)
- [19].基于C语言指针教学的研究分析[J]. 才智 2015(07)
- [20].浅析新版《日美防卫合作指针》[J]. 商 2015(21)
- [21].动态认时,让指针在孩子心中转起来——“认识钟表”教学实践与思考[J]. 中小学数学(小学版) 2019(12)
- [22].C语言指针与自增自减运算解析[J]. 数码世界 2020(03)
- [23].C语言的多级指针案例教学探讨[J]. 人才培养与教学改革-浙江工商大学教学改革论文集 2013(00)
- [24].指针的奥秘人人能解[J]. 芭莎珠宝 2015(02)
- [25].指针(节选)[J]. 天涯 2015(04)
- [26].C语言指针应用[J]. 考试周刊 2014(24)
- [27].C语言中的指针[J]. 福建电脑 2013(12)
- [28].C语言中指针与数组的恩怨浅析[J]. 电脑知识与技术 2013(34)
- [29].浅谈C语言的指针[J]. 神州 2012(32)
- [30].C语言教学中指针教学问题的研究[J]. 魅力中国 2010(05)