基于人工智能的测试用例自动生成与测试用例集优化

作者: 邢颖宫云战于秀丽

出版社: 北京邮电大学出版社有限公司

出版时间: 2022-12

版次: 1

ISBN: 9787563566709

定价: 68.00

装帧: 其他

开本: 16开

纸张: 胶版纸

分类: 教材教辅考试>教材>大学教材>工程技术

3 张插图图片

作为软件测试（包括白盒测试和黑盒测试）中的一个基本问题，测试用例自动生成尤为重要，这是因为白盒测试中的许多问题（如控制流测试和数据流测试）以及黑盒测试中的一些问题都可以归结为测试用例生成问题。解决这个问题的本质在于约束系统的建立和求解。约束求解是人工智能的一个传统研究方向。本书将系统地研究如何进行软件系统的约束建模和求解，利用人工智能的各种技术，对一些特殊情况（复杂数据类型、线性约束的区间初始化、库函数等）给出切实可行的解决方案。
提升回归测试效率的一个重要方法是对测试用例集进行优化，目前常见的优化方法有3种，分别是测试用例集约简、选择和优先级排序。这3种方法分别适用于不同的场景，本书主要关注测试用例集约简和测试用例优先级排序，通过对相关问题和已有方法的调研，将现在应用比较广泛的人工智能中的群智能算法和一些进化算法引入测试用例集优化问题中，提出新的测试用例集约简和测试用例优先级排序技术。邢颖，北京邮电大学自动化学院副教授。主持国家自然科学基金“基于自适应约束构建与复杂程序结构约束求解的软件缺陷自动确认研究”（61702044）、北京邮电大学青年科研创新计划专项“面向测试用例自动生成的回溯机制研究”、横向项目“智能终端投递设备V1.0研发”。参与国家自然科学基金2项、国家重点研发计划2项、公益性行业科研专项2项、横向项目多项。
内容简介:
作为软件测试（包括白盒测试和黑盒测试）中的一个基本问题，测试用例自动生成尤为重要，这是因为白盒测试中的许多问题（如控制流测试和数据流测试）以及黑盒测试中的一些问题都可以归结为测试用例生成问题。解决这个问题的本质在于约束系统的建立和求解。约束求解是人工智能的一个传统研究方向。本书将系统地研究如何进行软件系统的约束建模和求解，利用人工智能的各种技术，对一些特殊情况（复杂数据类型、线性约束的区间初始化、库函数等）给出切实可行的解决方案。
提升回归测试效率的一个重要方法是对测试用例集进行优化，目前常见的优化方法有3种，分别是测试用例集约简、选择和优先级排序。这3种方法分别适用于不同的场景，本书主要关注测试用例集约简和测试用例优先级排序，通过对相关问题和已有方法的调研，将现在应用比较广泛的人工智能中的群智能算法和一些进化算法引入测试用例集优化问题中，提出新的测试用例集约简和测试用例优先级排序技术。
作者简介:
邢颖，北京邮电大学自动化学院副教授。主持国家自然科学基金“基于自适应约束构建与复杂程序结构约束求解的软件缺陷自动确认研究”（61702044）、北京邮电大学青年科研创新计划专项“面向测试用例自动生成的回溯机制研究”、横向项目“智能终端投递设备V1.0研发”。参与国家自然科学基金2项、国家重点研发计划2项、公益性行业科研专项2项、横向项目多项。

查看详情

基于人工智能的测试用例自动生成与测试用例集优化

内容简介:

作者简介: