收藏本站
《北京航空航天大学学报》 1997年01期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于遗传算法的软件结构测试数据生成技术研究

荚伟  高仲仪  
【摘要】:首先介绍了软件结构测试数据生成的研究现状,然后探讨了用遗传算法解决该问题的方法和技术.在上述研究成果的基础上,已开发了一个用遗传算法实现最优搜索、生成测试数据的工具原型,初步实验表明该方法是有效的、可行的
【作者单位】北京航空航天大学计算机科学与工程系
【分类号】:TP311.5

【引证文献】
中国期刊全文数据库 前3条
1 荚伟,奚红宇,高仲仪;遗传算法在软件测试数据生成中的应用[J];北京航空航天大学学报;1998年04期
2 史晓华,高仲仪;Ada 动态测试中遗传算法的参数编码方法[J];北京航空航天大学学报;1998年04期
3 赵明,张毅坤,沈建雄,崔杜武,高海龄;基于遗传算法的测试用例生成工具研究[J];计算机工程;2005年13期
中国硕士学位论文全文数据库 前10条
1 严体华;构件软件测试及充分性的研究[D];西安电子科技大学;2002年
2 刘金艳;面向对象软件测试技术研究[D];西南交通大学;2003年
3 马臻;基于遗传算法的构件化软件测试用例生成研究[D];西安理工大学;2006年
4 孙亚娟;基于遗传算法的路径测试数据自动生成方法研究[D];河北工业大学;2006年
5 余艳;软件单元测试技术研究[D];华中科技大学;2004年
6 赵明;类状态测试用例自动生成方法与实现[D];西安理工大学;2004年
7 张秀琼;ATC系统软件自动化单元测试工具的研究与实现[D];四川大学;2006年
8 于家新;基于自适应遗传模拟退火算法的测试数据的自动生成[D];哈尔滨工业大学;2006年
9 王静;面向对象软件测试技术的研究[D];天津大学;2006年
10 毛颖;测试用例自动生成系统研究与实现[D];电子科技大学;2007年
【共引文献】
中国期刊全文数据库 前10条
1 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
2 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期
3 吴鹏程,金茂忠;基于对象关系模型的C++程序静态分析器[J];北京航空航天大学学报;1997年01期
4 黄湘武,陈英,霍欣刚,严伟;面向对象语言编译器自动测试工具[J];北京理工大学学报;2002年05期
5 梁应宏,陈绍强;用YACC实现程序插装器[J];北京邮电大学学报;1997年01期
6 唐科,汪文勇,刘利枚;嵌入式软件覆盖测试的研究[J];成都信息工程学院学报;2005年05期
7 亢勇,陈自力,李鹏,路平;面向对象的软件测试[J];测试技术学报;1999年02期
8 陈文宇;面向对象软件的测试[J];电子科技大学学报;2001年06期
9 唐科,汪文勇,向渝,罗光春;汇编程序覆盖测试中分支路径数的计算[J];电子科技大学学报;2005年02期
10 翟立东;孙丽萍;;软件自动测试方法的研究与实现[J];大连铁道学院学报;2005年04期
中国重要会议论文全文数据库 前1条
1 张杰;林晓欲;;弹载软件系统测试方法研究[A];大型飞机关键技术高层论坛暨中国航空学会2007年学术年会论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
2 王成光;流程工业大型实时数据库理论、技术与应用[D];浙江大学;2003年
3 赵敏;机动车安全性能测控系统关键技术研究[D];南京航空航天大学;2002年
4 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
5 颜炯;基于UML的软件统计测试研究[D];国防科学技术大学;2005年
6 曹星平;HLA仿真系统的校核、验证与确认研究[D];国防科学技术大学;2004年
7 范年柏;程序正确性验证的几个问题[D];湖南大学;2005年
8 方海光;我国教育软件价值评测研究[D];中国科学院研究生院(成都计算机应用研究所);2006年
9 覃志东;高可信软件可靠性和防危性测试与评价理论研究[D];电子科技大学;2005年
10 孙世霞;复杂大系统建模与仿真的可信性评估研究[D];国防科学技术大学;2005年
中国硕士学位论文全文数据库 前10条
1 宋苑;面向对象类级非等价对测试原型系统的设计与实现[D];暨南大学;2001年
2 张雪萍;面向对象软件测试技术研究[D];郑州大学;2001年
3 严体华;构件软件测试及充分性的研究[D];西安电子科技大学;2002年
4 冯同鑫;应用服务器技术研究及其在电信Internet业务管理中的应用[D];西安理工大学;2002年
5 袁红辉;CORBA技术的研究及其在通用视频信息检索系统中的应用[D];西安理工大学;2002年
6 杨绪亮;辽河油田钻井一公司财务信息管理系统[D];大连理工大学;2002年
7 张生芳;通用数控代码编译器研究[D];大连铁道学院;2002年
8 黄传慧;酒店MIS的设计与实现[D];华中师范大学;2002年
9 许赞泉;针对图形用户界面的软件测试研究[D];南京航空航天大学;2003年
10 林奕兵;热电厂电气监测监控系统厂站级设计与实现[D];大连理工大学;2002年
【同被引文献】
中国期刊全文数据库 前10条
1 张晓丽,杨建强,常春影,董威;多目标模糊优化方法及其在工程设计中应用[J];大连理工大学学报;2005年03期
2 张永梅,陈立潮,高媛;软件构件与测试技术的设计研究[J];信息技术;2004年11期
3 王卓;刘大昕;冯晓宁;;基于框架的软构件后缀索引构造方法研究[J];哈尔滨工程大学学报;2006年01期
4 徐丽萍;贾红卫;卢炎生;;RTCS:一种具有精确语义的实时构件描述机制[J];计算机科学;2005年08期
5 李文,徐拾义,毕洪山;软件内建自测试中测试点的设置及个数的研究[J];计算机工程;2005年13期
6 刘大昕,赵磊,王卓;一种基于刻面分类和聚类分析的构件分类检索方法[J];计算机应用;2004年S1期
7 李晓博;缪淮扣;刘静;;基于形式规格说明的构件匹配[J];计算机应用与软件;2006年10期
8 贾育,顾毓清;基于领域特征空间的构件语义表示方法[J];软件学报;2002年02期
9 郭亮,唐稚松;基于XYZ/E描述和验证容错系统[J];软件学报;2002年05期
10 王渊峰,薛云皎,张涌,朱三元,钱乐秋;刻面分类构件的匹配模型[J];软件学报;2003年03期
中国博士学位论文全文数据库 前8条
1 任洪敏;基于π演算的软件体系结构形式化研究[D];复旦大学;2003年
2 盛津芳;商业构件评估方法及关键技术研究[D];中南大学;2007年
3 王磊;免疫进化计算理论及应用[D];西安电子科技大学;2001年
4 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
5 刘玲;基于面向对象形式规格说明的测试用例生成技术[D];上海大学;2004年
6 吕岗;免疫算法及其应用研究[D];中国矿业大学(北京);2003年
7 赵瑞莲;软件测试方法研究[D];中国科学院研究生院(计算技术研究所);2001年
8 史亮;测试数据自动生成技术研究[D];东南大学;2006年
中国硕士学位论文全文数据库 前10条
1 冯艳华;基于语义的构件描述和检索方法的研究[D];西北大学;2005年
2 朱建林;形式化方法在基于构件软件重用中的应用研究[D];河北大学;2006年
3 陈文;基于形式化描述的构件库应用研究[D];西南大学;2008年
4 胡卫权;遗传及退火算法在城市给水管网优化设计中的应用[D];合肥工业大学;2002年
5 申小荣;面向对象类簇级测试及其应用[D];太原理工大学;2004年
6 苏荟;基于UML的面向对象软件簇级测试方法研究[D];西安理工大学;2005年
7 尚绪全;构件化软件集成测试研究[D];西安理工大学;2005年
8 段方;基于扩充的UML状态图的类测试方法研究[D];大连理工大学;2005年
9 乐鑫喜;基于退火遗传算法的测试用例自动生成[D];武汉理工大学;2005年
10 朱虹虹;软件可靠性测试与评价技术的研究与实现[D];电子科技大学;2005年
【二级引证文献】
中国期刊全文数据库 前6条
1 单锦辉,王戟,齐治昌;面向路径的测试数据自动生成方法述评[J];电子学报;2004年01期
2 吴菲,黄梯云;用遗传算法构造二元决策树[J];计算机研究与发展;1999年11期
3 傅博;基于模拟退火遗传算法的软件测试数据自动生成[J];计算机工程与应用;2005年12期
4 万琳;;路径测试用例自动生成中的搜索算法分析[J];计算机工程;2006年01期
5 张文栓,滕奇志,罗代升;SAGA在软件测试数据自动生成中的应用[J];信息与电子工程;2005年01期
6 鄂越;诸叶平;孙开梦;;农业专家系统自动化测试的研究与实践[J];中国农学通报;2006年02期
中国重要会议论文全文数据库 前1条
1 孙勇成;江金龙;周献中;;基于遗传算法的仿真系统测试[A];2005中国控制与决策学术年会论文集(下)[C];2005年
中国博士学位论文全文数据库 前3条
1 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
2 张广梅;软件测试与可靠性评估[D];中国科学院研究生院(计算技术研究所);2006年
3 孙勇成;M&S的相关VV&A技术研究[D];南京理工大学;2005年
中国硕士学位论文全文数据库 前10条
1 李培国;基于人工神经网的中文垃圾邮件过滤器的设计与实现[D];暨南大学;2007年
2 王震;软件测试用例自动生成系统研究开发[D];西安理工大学;2005年
3 乐鑫喜;基于退火遗传算法的测试用例自动生成[D];武汉理工大学;2005年
4 刘永;面向对象自动化测试系统的研究与实现[D];沈阳工业大学;2005年
5 唐春艳;基于模型检测的类测试自动生成技术研究[D];广西大学;2007年
6 何强;通信软件自动化测试系统的研究与实现[D];中南大学;2007年
7 严体华;构件软件测试及充分性的研究[D];西安电子科技大学;2002年
8 赵宇峰;面向对象软件静态测试自动生成类图的研究[D];西安理工大学;2003年
9 刘金艳;面向对象软件测试技术研究[D];西南交通大学;2003年
10 王雪莲;程序切片技术研究及其在软件测试数据生成中的应用[D];北京化工大学;2005年
【相似文献】
中国期刊全文数据库 前10条
1 陈占龙;吴亮;刘焕焕;;基于图模型的多边形自动构建算法[J];微电子学与计算机;2011年08期
2 华翔;康凤举;;一种分布式的电磁场可视化叠加法[J];西安邮电学院学报;2011年04期
3 武亚青;;数据共享环境研究[J];指挥信息系统与技术;2011年03期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 张艳丽;江月松;;自主计算在数据生成中的应用[A];全国第一届信号处理学术会议暨中国高科技产业化研究会信号处理分会筹备工作委员会第三次工作会议专刊[C];2007年
2 肖平;许凤璋;高金钟;;软件可靠性灰色预测模型的研究[A];中国科学技术协会首届青年学术年会论文集(工科分册·上册)[C];1992年
3 马德涛;王锐;刘晓辉;;基于ArcGIS的DEM数据生成方法的研究与探讨[A];中国地理信息系统协会第四次会员代表大会暨第十一届年会论文集[C];2007年
4 高福祥;李淼;沈文君;;气象预报决策支持系统的设计与实现[A];2009中国控制与决策会议论文集(2)[C];2009年
5 孙亚夫;常峰;;本地搜索服务的结构设计与关键技术[A];中国测绘学会2006年学术年会论文集[C];2006年
6 王先鹿;;论电算化会计处理方法与处理流程的重构[A];中国会计学会第四届全国会计信息化年会论文集(下)[C];2005年
7 孙亚夫;常峰;;本地搜索服务的结构设计与关键技术[A];提高全民科学素质、建设创新型国家——2006中国科协年会论文集(下册)[C];2006年
8 代毅;王学田;高本庆;;典型云背景红外图像的生成算法[A];2003'全国微波毫米波会议论文集[C];2003年
9 张健;叶建栲;李广斌;;基于代表点的聚类算法[A];第三届全国信息检索与内容安全学术会议论文集[C];2007年
10 黄承亮;吴侃;刘虎;;基于三维TIN的格网化点云数据特征提取[A];数字测绘与GIS技术应用研讨交流会论文集[C];2008年
中国重要报纸全文数据库 前10条
1 刘建武;船岸之间的数据库同步[N];计算机世界;2007年
2 ;Sun公司灾难备份系统[N];计算机世界;2007年
3 本报记者 张峰;ILM:因生命而美丽[N];网络世界;2004年
4 ;北京新奇迹 幕后IT献绝技[N];计算机世界;2008年
5 李稚;“集成”的困惑[N];计算机世界;2002年
6 李莉 本报记者  苏杭;千里同筹 共览九州[N];大众科技报;2006年
7 湖北省石首市第一中学 吴涛;考试成绩网上查[N];中国电脑教育报;2003年
8 胡文静记者 王履臻;插入U盘即可自动查找电脑安全隐患[N];哈尔滨日报;2007年
9 ;革历史数据的命[N];计算机世界;2004年
10 清水 编译;自动分层存储美梦成真[N];计算机世界;2010年
中国博士学位论文全文数据库 前5条
1 李庆中;苹果自动分级中计算机视觉信息快速获取与处理技术的研究[D];中国农业大学;2000年
2 孙宏元;基于HPC的多分辨空间信息应用基础平台关键技术研究[D];西安电子科技大学;2006年
3 宋金玲;K-匿名隐私保护模型中与匿名数据相关的关键问题研究[D];燕山大学;2012年
4 田景文;地下油藏的仿真与预测[D];哈尔滨工程大学;2001年
5 倪训博;基于手语语言学与人体运动学的手语识别研究[D];哈尔滨工业大学;2009年
中国硕士学位论文全文数据库 前10条
1 阎晓明;关系数据库模拟数据生成系统设计与实现[D];大连海事大学;2011年
2 宋桂霞;手语数据分析及生成技术[D];哈尔滨工业大学;2007年
3 张海旺;基于合约的构件测试数据生成及复用方法的研究与实现[D];昆明理工大学;2009年
4 夏晓飞;利用GIS数据生成3D建筑模型[D];华中科技大学;2006年
5 白小波;面向海量数据库的Benchmark研究与实现[D];国防科学技术大学;2005年
6 纪锴;基于HLA数据融合仿真技术研究[D];沈阳理工大学;2009年
7 吴懿;空管仿真模拟系统仿真数据生成研究[D];四川大学;2006年
8 赵灿;三维栅格数据生成与剖切算法研究[D];中南大学;2009年
9 阮宜武;虚拟现实在防空兵作战指挥训练系统中的应用研究[D];郑州大学;2006年
10 江宁;基于J2EE技术的企业征信系统的设计与实现[D];苏州大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026