联锁软件自动化测试技术的研究与应用

摘要	第1-5页
Abstract	第5-9页
1 绪论	第9-12页
·软件测试现状	第9页
·软件测试的重要性	第9-10页
·软件测试自动化	第10-11页
·论文组织结构	第11-12页
2 计算机联锁系统	第12-17页
·全电子计算机联锁系统概述	第12-14页
·计算机联锁软件的功能	第14-15页
·联锁软件自动化测试的目的和意义	第15-17页
3 软件测试理论	第17-28页
·图论	第17-23页
·图的相关概念	第17-18页
·图的数据存储结构	第18-23页
·Petri 网理论	第23-28页
·Petri 网简介	第23页
·Petri 网的定义及运行规则	第23-25页
·Petri 网的性质及其分析方法	第25-28页
4 单元测试数据自动生成	第28-43页
·单元测试	第28-29页
·测试数据自动生成	第29-37页
·测试对象的规范化	第29-30页
·Petri 网建模	第30-33页
·基于 Petri 网的路径生成	第33-37页
·联锁软件单元测试	第37-43页
5 功能测试数据自动生成	第43-58页
·计算机联锁系统的安全性和可靠性	第43-44页
·测试用例的生成	第44-53页
·安全性 Petri 网模型的构造原则	第44-47页
·基于 Petri 网的割集求解	第47-51页
·测试用例输入集分析	第51-53页
·联锁软件功能测试	第53-58页
结论	第58-59页
致谢	第59-60页
参考文献	第60-62页
攻读学位期间的研究成果	第62页