智能科学技术著作丛书:测试数据进化生成理论及应用
¥
36
4.1折
¥
88
八五品
仅1件
作者巩敦卫、姚香娟、张岩 著
出版社科学出版社
出版时间2014-01
版次1
装帧平装
上书时间2024-07-18
商品详情
- 品相描述:八五品
图书标准信息
-
作者
巩敦卫、姚香娟、张岩 著
-
出版社
科学出版社
-
出版时间
2014-01
-
版次
1
-
ISBN
9787030392954
-
定价
88.00元
-
装帧
平装
-
开本
16开
-
纸张
胶版纸
-
页数
297页
-
字数
374千字
-
正文语种
简体中文
-
丛书
智能科学技术著作丛书
- 【内容简介】
-
《智能科学技术著作丛书:测试数据进化生成理论及应用》阐述采用遗传算法生成复杂软件测试数据的原理及应用,主要包括如下4个方面:路径覆盖测试数据进化生成、遗传算法用于测试数据生成的性能提高、语句覆盖可测试性转化及变异测试数据进化生成等;还给出不同方法在基准和工业软件测试中的应用,以及全面的方法对比结果。书后附有基本遗传算法源代码和实验程序。
《智能科学技术著作丛书:测试数据进化生成理论及应用》可供高等院校计算机、自动化等专业的教师及研究生阅读,也可供自然科学和工程技术领域的研究人员及软件测试从业人员参考。
- 【作者简介】
-
巩敦卫,男,1970年3月生,江苏省铜山县人,博士,中国矿业大学信息与电气工程学院教授,博士生导师,江苏省重点学科“控制理论与控制工程”方向带头人,教育部“新世纪优秀人才支持计划”入选者,江苏省“333高层次人才培养工程”培养对象,江苏省“六大人才高峰”高层次人才培养对象,“煤炭青年科技奖”获得者,江苏省自动化学会理事,中国矿业大学学术委员会委员。研究方向为智能优化与控制、基于搜索的软件工程。近年来,主持国家自然科学基金项目5项、江苏省自然科学基金项目2项,以及教育部“新世纪优秀人才支持计划”项目、江苏省“333高层次人才培养工程”项目、江苏省“六大人才高峰”高层次人才项目、高等学校博士学科点专项科研基金项目各1项,此外,还主持中国矿业大学校优秀创新团队建设专项基金项目和培育学科创新能力提升基金项目各1项。研究成果获省部级科技进步一等奖1项、二等奖4项;授权发明专利2项、计算机软件著作权登记1项;出版专著5部、教材1部;发表学术论文170余篇,其中,被SCI、EI等检索130余篇,被同行引用600余次。
姚香娟,女,1975年3月生,河北省赵县人,博士,中国矿业大学理学院副教授,硕士生导师,中国矿业大学优秀青年骨干教师,中国矿业大学优秀创新团队“复杂软件自动测试”核心成员。研究方向为基于进化优化的软件测试数据生成。近年来,主持国家自然科学基金项目1项、江苏省自然科学基金项目1项、中央高校基本科研业务费青年科技基金项目1项,参与国家自然科学基金项目2项、江苏省自然科学基金项目2项,以及江苏省“333高层次人才培养工程”项目、江苏省“六大人才高峰”高层次人才项目、高等学校博士学科点专项科研基金项目各1项。研究成果获省部级科技进步二等奖1项。出版教材1部,发表学术论文20余篇,其中,被SCI检索8篇、EI检索6篇。
张岩,女,1972年5月生,辽宁省本溪县人,博士,牡丹江师范学院计算机科学与技术系副教授。研究方向为多路径覆盖测试数据进化生成理论与方法。主持黑龙江省教育厅项目1项、牡丹江师范学院青年学术骨干资助项目1项,参与国家自然科学基金项目1项、黑龙江省教育厅项目1项、江苏省自然科学基金项目2项。近年来,发表学术论文20余篇,其中,被SCI检索3篇、EI检索6篇。
- 【目录】
-
《智能科学技术著作丛书》序
前言
第1章测试数据进化生成入门
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章不可执行路径自动检测
2.1研究动机
2.2条件语句之间的相关性
2.2.1条件语句相关性的定义
2.2.2条件语句相关性的判定
2.3条件语句谓词表达式取值概率的估计
2.4不可执行路径的自动检测
2.4.1不可执行路径的检测
2.4.2循环体包含条件语句的不可执行路径检测
2.4.3不可执行路径自动检测的步骤
2.5实例分析
2.6在程序测试中的应用
2.6.1基准程序实验
2.6.2工业程序实验
2.7本章小结
参考文献
第3章多路径覆盖测试数据进化生成
3.1研究动机
3.2测试数据生成问题的数学模型
3.3基于遗传算法的测试数据生成
3.3.1进化个体适应值计算
3.3.2进化个体比较
3.3.3算法终止条件
3.3.4算法步骤
3.4在基准程序测试中的应用
3.4.1实验设计
3.4.2参数设置
3.4.3性能指标
3.4.4实验结果与分析
3.5本章小结
参考文献
第4章路径赫夫曼编码表示的多路径覆盖测试数据进化生成
4.1研究动机
4.2路径的赫夫曼编码表示
4.3路径匹配度计算
4.3.1程序插装
4.3.2路径匹配度计算
4.3.3测试数据生成问题的数学模型
4.4适应度函数设计
4.4.1进化个体适应值计算
4.4.2进化个体适应值计算特点
4.4.3算法步骤
4.5在基准程序测试中的应用
……
第5章基于信息共享的多路径覆盖测试数据进化生成
第6章基于路径分组的很多路径覆盖测试数据进化生成
第7章很多路径覆盖测试数据进化生成的并行实现
第8章用于路径覆盖和缺陷检测的测试数据进化生成
第9章基于搜索空间缩减的路径覆盖测试数据进化生成
第10章基于适应值调整的路径覆盖测试数据进化生成
第11章基于优质初始种群的路径覆盖测试数据进化生成
第12章基于占优关系的语句覆盖测试数据进化生成
第13章基于占优关系的多语句覆盖测试数据进化生成
第14章基于路径覆盖的变异测试数据进化生成
附录1基本遗传算法源代码
附录2实验程序
点击展开
点击收起
— 没有更多了 —
以下为对购买帮助不大的评价