运行时错误相关论文
中断驱动型程序在嵌入式软件中是一类常见的并发实现方式，并且中断驱动程序广泛应用于一些对安全和稳定性要求极高的领域（包括航空航......
1996年6月,Ariane5火箭发射失败,导致数十亿美元的巨大损失,原因就是在四上运行的算法拿到了五上用,但它的处理器换了,导致了数据......
摘要：从减少软件开发成本和缩短软件开发周期的角度考虑，尽可能的在软件编码时期发现软件缺陷无疑是最佳选择，但软件运行时错误是所有......
随着计算机技术的快速发展,软件已经成为决定系统安全性的关键因素。程序代码作为软件的核心,细小的错误都可能导致严重的安全事故......
确保程序中没有运行时错误，对于软件安全性的保证十分重要。基于抽象解释的静态分析方法对程序语义进行抽象，是验证运行时错误最合适......
提出一种基于属性模型的运行时错误静态分析方法．该方法将运行时的错误按照发生原因进行分类，提取每类错误的属性模式，对属性模式进行......
基于嵌入式软件的测试经验,针对嵌入式软件特点,研究了基于PolySpace的嵌入式软件内存测试方法,分析了PolySpace使用的语义分析技......
嵌入式软件质量对嵌入式系统可靠性影响大,由软件缺陷引发的后果严重,为有效减少嵌入式软件开发成本,缩短开发周期,提出应尽早在软......
简单介绍了C程序设计语言的未定义行为，讨论在教学与编程实践中使用GCC警告选项，重点介绍未定义行为净化器的使用，并通过实例说明检测......
