声明
摘要
1 绪论
1.1 软件测试现状
1.2 软件测试的重要性
1.3 软件测试自动化
1.4 论文组织结构
2 计算机联锁系统
2.1 全电子计算机联锁系统概述
2.2 计算机联锁软件的功能
2.3 联锁软件自动化测试的目的和意义
3 软件测试理论
3.1 图论
3.1.1 图的相关概念
3.1.2 图的数据存储结构
3.2 Petri网理论
3.2.1 Petri网简介
3.2.2 Petri网的定义及运行规则
3.3.3 Petri网的性质及其分析方法
4 单元测试数据自动生成
4.1 单元测试
4.2 测试数据自动生成
4.2.1 测试对象的规范化
4.2.2 Petri网建模
4.2.3 基于Petri网的路径生成
4.3 联锁软件单元测试
5 功能测试数据自动生成
5.1 计算机联锁系统的安全性和可靠性
5.2 测试用例的生成
5.2.1 安全性Petri网模型的构造原则
5.2.2 基于Petri网的割集求解
5.2.3 测试用例输入集分析
5.3 联锁软件功能测试
结论
致谢
参考文献
攻读学位期间的研究成果