基于CP-nets模型的并行软件测试方法研究

声明

摘要

图目录

表目录

缩略词目录

第1章 引言

1．1 论文的研究意义

1．1．1 并行软件的正确性确认问题

1．1．2 基于模型的软件测试技术是解决软件正确性确认问题的主要技术

1．1．3 着色Petri网是描述并行软件行为的重要模型

1．1．4 研究基于着色Petri网模型的并行软件测试方法具有重要意义

1．2 论文的贡献

1．3 论文的组织

第2章 相关研究概述

2．1 并行软件测试技术的研究现状

2．2 着色Petri网

2．3 基于Petri网的测试方法研究现状

2．4 本文的研究问题

2．5 本章小结

第3章 基于迹等价的CP-nets模型化简算法

3．1 问题的提出

3．2 基于迹等价的CP-nets模型化简算法及其等价性证明

3．2．1 对CP-nets的扩展和本章相关定义综述

3．2．2 基于迹等价的CP-nets模型化简算法

3．2．3 化简算法的迹等价性证明

3．3 模型化简算法的化简效果分析

3．3．1 模型化简算法的化简效果分析与示例

3．3．2 模型化简算法的在不同结构的模型片段中的适用性和化简效果分析

3．3．3 模型化简算法的化简效果分析结论

3．4 实例分析：BT软件化简实例

3．5 本章小结

第4章 针对待测行为线性序列的测试例生成算法

4．1 问题的提出

4．2 测试序列生成算法预备知识

4．3 基于待测行为线性序列的测试例生成算法及其覆盖性证明

4．3．1 基于待测行为线性序列的测试例生成算法描述

4．3．2 基于待测行为线性序列的测试例生成算法的覆盖性证明

4．3．3 基于待测行为线性序列的测试例生成算法的效率分析

4．4 实例分析：BT软件测试例生成实例

4．5 本章小结

第5章 针对冗余序列的测试序列优化算法

5．1 问题的提出

5．2 针对多路并行行为的测试序列优化算法

5．2．1 多路并行行为中测试序列的冗余性分析

5．2．2 针对多路并发中冗余序列的测试序列优化算法中用到的概念和操作

5．2．3 针对多路并发中冗余序列的测试序列优化算法描述和应用实例

5．3 针对内部行为的测试序列优化算法

5．4 实例分析：BT软件测试序列优化实例

5．5 本章小结

第6章 结束语

6．1 本文工作总结

6．2 下一步研究工作

参考文献

致谢

作者攻读博士学位期间科研和获奖情况