运行时错误相关论文
随着航天科学技术的飞速发展,航天软件的规模更大,更复杂,安全问题也日益突出。而数值型运行时错误(Run-time Errors)在实际应用中是......
嵌入式软件广泛应用于军工、航空航天、医疗等重要行业,随着嵌入式软件在产品系统中的地位和作用日益提高,安全性问题也日益突出。运......
中断驱动型程序在嵌入式软件中是一类常见的并发实现方式,并且中断驱动程序广泛应用于一些对安全和稳定性要求极高的领域(包括航空航......
元类程序设计存在元类兼容性问题.它是由层次间对象的消息传递和不同层次的继承关系共同作用引起的.元类不兼容会导致程序运行时错......
摘要:从减少软件开发成本和缩短软件开发周期的角度考虑,尽可能的在软件编码时期发现软件缺陷无疑是最佳选择,但软件运行时错误是所有......
发动机控制软件多任务程序运行时,共享变量的处理容易发生数组访问越界、除零、数据溢出等错误,从而造成异常的后果。采用动态测试......
针对多元χ演算运行时刻通信安全的判定性问题进行了研究.通过从Lazyλ项到χ项的编码,将判定一个Lazyλ项是否有范式的问题归约为......
笔者的笔记本电脑安装的是Windows XP操作系统和Maxthon浏览器,通过无线网卡拨号上网。这天,拨号成功后,打开Maxthon浏览器欲浏览......
确保程序中没有运行时错误,对于软件安全性的保证十分重要。基于抽象解释的静态分析方法对程序语义进行抽象,是验证运行时错误最合适......
提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行......
基于嵌入式软件的测试经验,针对嵌入式软件特点,研究了基于PolySpace的嵌入式软件内存测试方法,分析了PolySpace使用的语义分析技......
嵌入式软件质量对嵌入式系统可靠性影响大,由软件缺陷引发的后果严重,为有效减少嵌入式软件开发成本,缩短开发周期,提出应尽早在软......
简单介绍了C程序设计语言的未定义行为,讨论在教学与编程实践中使用GCC警告选项,重点介绍未定义行为净化器的使用,并通过实例说明检测......