|
|||||
|
|
| 一种数值溢出故障的静态检测方法研究 | |
| 引用本文： | 詹泽梅,周张兰.一种数值溢出故障的静态检测方法研究[J].长江大学学报,2009(3). |
| 作者姓名： | 詹泽梅 周张兰 |
| 作者单位： | 长江大学计算机科学学院; |
| 摘 要： | 在安全关键软件中,任何微小的程序故障都可能造成巨大的经济损失和人员伤亡。数值溢出故障是程序运行过程中出现的一种错误,但一般编译器不能直接检测出来。笔者针对C语言中的数值溢出问题进行了分析,研究了数值溢出故障的出现情况,分析了数值溢出故障的模型,并基于故障模型设计了一种数值溢出故障的静态检测方法。 |
| 关 键 词： | 数值溢出 静态检测 软件测试 |
| 本文献已被 CNKI 等数据库收录！ | |