测试数据进化生成理论及应用

《智能科学技术著作丛书》序前言第l章 测试数据进化生成入门 1.1 软件测试基本概念 1.1.1 软件测试的定义 1.1.2 软件测试的目的 1.1.3 软件测试的方法 1.1.4 软件测试的原则 1.1.5 软件测试的分类 1.2 基于覆盖的测试数据生成方法 1.2.1 测试充分性准则 1.2.2 测试数据生成方法 1.3 测试数据进化生成 1.3.1 问题的转化 1.3.2 遗传算法基本原理 1.3.3 基于遗传算法的测试数据生成 1.4 研究现状及存在的问题 1.4.1 测试数据进化生成研究现状 1.4.2 存在的问题 1.5 主要内容及组织 1.6 本章小结 参考文献 第2章 不可执行路径自动检测第3章 多路径覆盖测试数据进化生成第4章 路径赫夫曼编码表示的多路径覆盖测试数据进化生成第5章 基于信息共享的多路径覆盖测试数据进化生成第6章 基于路径分组的很多路径覆盖测试数据进化生成第7章 很多路径覆盖测试数据进化生成的并行实现.第8章 用于路径覆盖和缺陷检测的测试数据进化生成..第9章 基于搜索空间缩减的路径覆盖测试数据进化生成 第10章 基于适应值调整的路径覆盖测试数据进化生成第11章 基于优质初始种群的路径覆盖测试数据进化生成第12章 基于占优关系的语句覆盖测试数据进化生成第13章 基于占优关系的多语句覆盖测试数据进化生成第14章 基于路径覆盖的变异测试数据进化生成 附录1 基本遗传算法源代码附录2 实验程序

《测试数据进化生成理论及应用/智能科学技术著作丛书》编著者巩敦卫、姚香娟、张岩。 软件测试是保证软件质量的重要途径之一。采用遗传算法生成测试数据，能够大大提高软件测试效率，成为近年来软件工程和进化优化界的热点研究方向之一。本书阐述采用遗传算法生成复杂软件测试数据的原理及应用，内容主要涉及如下4个方面：满足不同结构覆盖准则的测试数据进化生成、遗传算法用于测试数据生成的性能提高策略、语句覆盖可测试性转化，以及并行程序测试数据进化生成等。除了详细阐述采用遗传算法生成测试数据的原理与方法外，本书还给出不同方法在基准和实际工业软件测试的应用，以及全面的算法对比结果。为便于应用本书阐述的方法，书后附有被测程序和阐述方法的源程序。本书是国内第一部关于遗传算法用于复杂软件测试数据生成的专著，也是著者近5年来在多项国家和省部级科研项目资助下，取得的一系列研究成果的结晶。 《测试数据进化生成理论及应用/智能科学技术著作丛书》编著者巩敦卫、姚香娟、张岩。 《测试数据进化生成理论及应用/智能科学技术著作丛书》阐述采用遗传算法生成复杂软件测试数据的原理及应用，主要包括如下4个方面：路径覆盖测试数据进化生成、遗传算法用于测试数据生成的性能提高、语句覆盖可测试性转化及变异测试数据进化生成等；还给出不同方法在基准和工业软件测试中的应用，以及全面的方法对比结果。书后附有基本遗传算法源代码和实验程序。 本书可供高等院校计算机、自动化等专业的教师及研究生阅读，也可供自然科学和工程技术领域的研究人员及软件测试从业人员参考。【作者简介】 巩敦卫，1970年3月生，江苏省铜山县人，博士，中国矿业大学信息与电气工程学院教授，博士生导师，自动化研究所所长，江苏省重点学科“控制理论与控制工程”方向带头人，教育部“新世纪优秀人才支持计划”人选者，江苏省“333高层次人才培养工程”培养对象，江苏省“六大人才高峰”高层次人才培养对象，江苏省自动化学会理事，中国矿业大学学术委员会委员。 1988年9月-1992年7月，在中国矿业大学应用数学力学系学习，获得理学学士学位。1992年9月-1995年3月，在北京航空航天大学读控制理论及其应用专业硕士研究生，获得工学硕士学位。1996年9月-1999年7月，在中国矿业大学读控制理论与控制工程专业博士研究生，获得工学博士学位。1999年9月-2001年9月，在中国矿业大学电气工程博士后流动站做博士后。2007年7-12月，在英国伯明翰大学访问。 主要研究方向为智能优化与控制。近年来，主持国家自然科学基金3项、教育部“新世纪优秀人才支持计划”项目、江苏省自然科学基金、江苏省“六大人才高峰”高层次人才项目各1项，参加国家863计划项目、国家自然科学基金各1项。研究成果获省部级科技进步一等奖1项、二等奖2项。为近20家国际、国内权威学术期刊的特约审稿人。近期已出版专著2部，发表学术论文120余篇。