复杂数据类型测试用例自动生成技术研究

摘要

作为保证软件质量的重要技术手段，软件测试是软件开发过程中不可缺少的环节。作为软件测试的核心，测试用例自动生成对于提高测试效率和质量具有重要的意义。随着软件技术的迅速发展，复杂数据类型如树、图、XML文档等得到了广泛应用。然而复杂数据类型通常由若干个成员组成，包含复杂的约束关系，这使得复杂数据类型测试用例生成难度增加。复杂数据类型测试用例生成是软件测试领域自动化的薄弱环节，是一个值得研究的课题。
　　 采用合法命令谓词、等价命令谓词及定制函数来表示复杂数据类型的约束条件，通过对约束条件进行求解为复杂数据类型参数生成测试数据。基于等价类划分的复杂数据类型测试用例生成方法是在考虑软件的健壮性和测试代价的基础上对现有界限范围内穷尽测试的改进。带有复杂数据类型参数的测试用例生成首先为各个参数生成相应的测试数据，然后通过组合来生成测试用例集。复杂数据类型参数测试数据生成过程如下：读取定制函数和命令谓词，根据定制函数创建结构取值空间；根据合法命令谓词及等价类命令谓词从候选结构中选取测试数据；无效等价类结构补选及测试数据冗余消除。
　　 实验表明，与界限穷尽测试相比，基于等价类划分的复杂数据类型测试更具有实用性，且可以用较少的测试用例来达到较好的测试效果。

目录

文摘

英文文摘

声明

1 绪论

2 复杂数据类型测试用例模型分析

3 复杂数据类型测试用例生成

4 带有复杂数据类型的测试用例自动生成实现

5 实验

6 总结与展望

致谢

参考文献

附录 攻读学位期间参与的科研项目