数组空指针故障的静态测试方法与实现

摘要	第1-5页
ABSTRACT	第5-9页
第一章. 绪论	第9-14页
·研究背景	第9-11页
·研究内容	第11-12页
·论文内容和结构	第12-14页
第二章. 检测数组空指针故障的意义	第14-17页
·空指针引用故障的危害性	第14-15页
·数组空指针故障的比重	第15页
·当前测试工具的检测情况	第15-17页
第三章. 数组空指针故障的描述	第17-21页
·数组空指针故障的定义	第17页
·数组空指针故障的分类	第17-21页
·函数内的数组空指针故障	第17-18页
·函数间的数组空指针故障	第18-21页
第四章. 数组空指针故障检测模型	第21-26页
·数组空指针故障模式状态机定义	第21-24页
·数组空指针故障模式状态机描述	第24-26页
第五章. 数组空指针故障检测的实现	第26-46页
·检测流程	第26-29页
·数组的区间表示	第29-30页
·函数内数组空指针故障的检测	第30-33页
·函数间数组空指针故障的检测	第33-46页
·用户自定义函数的摘要生成	第35-36页
·系统库函数的摘要生成	第36-39页
·摘要传递及使用	第39-41页
·检测算法	第41-46页
第六章. 实验结果与分析	第46-50页
·实验环境	第46页
·检测指标	第46-47页
·实验数据及分析	第47-50页
第七章. 总结与展望	第50-52页
·论文总结	第50页
·展望	第50-52页
附录: 数组空指针故障状态机描述文件	第52-55页
参考文献	第55-57页
致谢	第57-58页
攻读硕士学位期间发表的学术论文目录	第58页