【摘 要】
：
适应度函数的设计在基于搜索的测试用例生成技术中占据重要的位置,然而在某些特殊的程序中,如存在嵌套、非结构性跳转或因return,break等语句跳出循环的程序,已有的适应度函
【机 构】
：
中国矿业大学计算机科学与技术学院,广西可信软件重点实验室桂林电子科技大学,计算机软件新技术国家重点实验室南京大学
【基金项目】
：
国家自然科学基金(61502497);广西可信软件重点实验室研究课题(kx201530);南京大学计算机软件新技术国家重点实验室基金(KFKT2014B19)~~
论文部分内容阅读
适应度函数的设计在基于搜索的测试用例生成技术中占据重要的位置,然而在某些特殊的程序中,如存在嵌套、非结构性跳转或因return,break等语句跳出循环的程序,已有的适应度函数无法评价到所有的分支.目前的方法是修改程序的源代码,以使每个分支得到评价.但修改源代码不但可能影响程序的原有结构、引入错误,而且很难实现自动化.针对这一问题,提出一种基于模式组合的粒子群优化测试用例生成方法.首先,将分支条件定义为＂模式＂,即,一类具有相同特征且能提高适应度值的个体集合,并改变其分支函数的插桩方式,可解决分支条件不完
其他文献
随着经济的发展,天津的交通越来越繁忙,天津人出行无论是开车还是坐车,要经过的桥都不止一座,除了飞架于海河之上的桥梁,天津还有许多体现着时代特色的公路立交桥。一座座现
天津的开启桥型式繁多,足以代表我国开启桥的发展历程。而位于建国道西端与水阁大街之间的海河上的金汤桥,始建于1906年,是天津市现存最早建造的大型铁桥之一,也是目前中国唯
以经典审计理论为基础,提出一个企业审计内容的理论框架。企业审计内容通常分为审计对象、审计主题、审计业务类型、审计标的和审计载体五个层级。企业审计对象是企业类经管
<正>办学生喜欢的学校行动推进已经有两年了。今年,上海市黄浦区对学生进行了大样本的学情调查,其中有一项主观问题为:请描述你喜欢的学校是怎样的?在调查的3500多名学生样本
李妍怡教授根据老年人生理、病理变化,提出老年性耳鸣多因阴虚阳亢、气机上逆、上扰清窍、耳内清净失司引起。临证以加味天麻钩藤饮为主,加减化裁,使耳鸣发作频率及程度明显
目的探讨脑深部电刺激联合氟西汀治疗神经性厌食症的疗效和安全性。方法将90例神经性厌食症患者随机分为研究组和对照组,各45例,研究组行脑深部电刺激联合氟西汀系统治疗,对
背景:采用国际标准的供肾来源,即脑死亡无偿肾脏捐献可缓解目前肾移植中供肾的严重短缺问题。近年脑死亡无偿器官捐献及移植已在中国成功开始实施,但在脑死亡无偿器官捐献肾
环境污染不仅制约我国经济的可持续发展,也对人民生活环境造成严重威胁。当前,我国提倡可持续发展理念,做好环境保护、消除环境污染、预防环境破坏等已经成为各行各业在生产
创业教育作为教育的“第三本护照”,是社会和经济结构调整时期对高等教育提出的新要求。大学科技园作为连接高校和社会的桥梁,有着丰富的创业教育资源,为高校创业教育创造了
背景:牙合型是制作全口义齿成功的关键,临床上如何选择合适的牙合型一直是困扰修复科医师的问题。目的:系统评价舌侧集中牙合和解剖式双侧平衡牙合应用于全口义齿修复的临床