【摘 要】
：
运用元启发式搜索进行结构性测试数据生成已经被证实是一种有效的方法.在讨论基于搜索的测试数据生成基本框架的基础上,以分支覆盖作为测试覆盖准则,给出了基于粒子群优化(pa
【机 构】
：
软件工程国家重点实验室（武汉大学）,江西财经大学软件与通信工程学院,中国科学院软件研究所基础软件国家工程研究中心
论文部分内容阅读
运用元启发式搜索进行结构性测试数据生成已经被证实是一种有效的方法.在讨论基于搜索的测试数据生成基本框架的基础上,以分支覆盖作为测试覆盖准则,给出了基于粒子群优化(particle swarm optimization,PSO)的测试数据生成算法,并通过分析分支谓词的结构特征提出了一种新的适应函数构造形式.在此基础上,针对一些公开的程序集开展对比性实验分析,证实粒子群优化算法在平均覆盖率、全覆盖成功率、平均收敛代数和搜索时间4项指标上均要优于遗传算法和模拟退火算法.同时,编程实现了4种典型的PSO变体算法并进行测试数据生成效果的实证分析,结果表明:基本PSO是解决测试数据生成问题的首选算法,而综合学习式PSO算法的表现则相对较差.
其他文献
政府公关的特点是:主体的唯一性,公众的复杂性,目标的多维性,形象的稳定性,评估标准的独特性。政府公关的价值在于顺应政治体制改革的发展趋势,充分发挥政府管理职能,拓宽公
<正>危险化学品储运消防安全,历来是港口公安工作的一项重点。随着国家"一带一路"战略的推进和区域经济发展,作为新亚欧大陆桥东方桥头堡的连云港,其港口区位优势日趋凸显,临
咒语、祷词与神谕是民间信仰仪式中出现的三种主要的语言现象,它们往往混合、交融在一起,但三者性质与用途皆有不同。在考察现代民间信仰中的语言民俗时,既要注意这三种语言
半城市化地带是城市化进程中出现的介于城市和乡村之间的一种过渡性地域,这一地域的乡村规划要更注重乡村的社会性和自治属性。通过引入社会调查模块可深入分析"自下而上"的
<正>电梯曳引钢丝绳是电梯部件中重要的一部分,其质量的优劣直接影响电梯的运行性能。在新装和大修换绳后的电梯中,有一些电梯因曳引绳的制造偏差,给电梯运行性能带来了明显
在物流系统规划相关理论研究的基础上,就供应链金融质押物物流监管系统的成本进行探讨,介绍客户时间窗满意度函数,建立融合供应链金融客户时间满意度最大和物流监管系统总成
从一定程度上来说,隧道在实际的施工当中,自身产生的施工废水和隧道涌水会对地下水环境造成严重的不利影响,如造成水位下降、地面沉陷等问题。基于此,本文主要对现阶段隧道建
残疾人停车位是城市无障碍停车体系的重要一环,对保障残疾人士和交通弱者的出行有重要作用。文章分析了残疾人停车位使用过程中存在的问题和潜在影响因素,通过收集杭州市残疾
<正>大溪港公园位于江苏无锡太湖国际科技园区内,规划面积约16.8公顷,一期已建成面积约5公顷。无锡太湖国际科技园是无锡市南拓战略的重要承载区域,该区拟在接下来的十多年内