基于覆盖难度选择路径的测试数据进化生成

来源 :浙江大学学报:工学版 | 被引量 : 0次 | 上传用户:tsl9906202
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了解决消息传递并行程序路径覆盖测试数据生成问题,提出一种基于覆盖难度选择目标路径的测试数据进化生成方法.通过影响路径执行的变量、路径关键条件的复杂度,以及Halstead测度等,选择最容易覆盖的路径作为目标路径,以降低目标路径覆盖的难度;基于该路径,建立测试数据生成问题的数学模型;采用遗传算法生成覆盖目标路径的测试数据.将所提方法应用于5个基准并行程序的测试数据生成,并与已有方法比较.结果表明,所提方法能够减少测试数据生成过程中的计算量,使用较少的个体评价次数,有效生成覆盖并行程序路径的测试数据.
其他文献
新词语产生和消隐问题研究,角度不同,各有侧重。当前新词语消隐现象的研究是有待全面开拓的新领域。本文从2011—2015年这5年的新词语编年本中选取2213条新词语,从技术手段和
为了研究高氯酸铵(AP)作为氧化剂的几种含硼(B)燃料配方在微小圆管中的点火燃烧特性,借助高速摄影仪和光线光谱仪,并用Grafula软件处理高速图得到燃速.结果表明:当含硼燃料配方中,B的
针对大气中日益严重的多环芳烃(PAHS)污染问题,采用介质阻挡放电对模拟废气中萘的降解特性和机理进行了研究,分析萘的初始体积分数、停留时间和废气组分对萘降解效率和降解产物的
采用添加石墨烯纳米材料形成悬浮液的方法可以有效地提高相变储能材料的导热系数,石墨烯纳米材料的存在将对悬浮液的固液相变行为产生可观的影响.利用差示扫描量热仪对低质量
为了解决飞机数字化装配中翼身交点位置准确度和机翼水平测量点高度准确度评价依据不一致的问题,提出基于分步求解策略的机翼姿态评价及调整方法.根据翼身交点孔的测量数据计
为了研究气体流经抗式消声器时产生的二次噪声的声压级及频谱特性,通过Fluent软件对气流二次噪声的声压级及其随流速的变化规律进行模拟预测,并搭建带有抗式消声器的排气管路装
针对C^3连续的七次PH样条闭曲线的构造问题,提出一种复数域内的七次PH样条曲线的新的计算方法.利用七次PH样条曲线的特殊性质以及各段插值曲线之间的C^3连续性,通过在复平面内构
针对自组织映射(SOM)神经网络算法实现复杂的问题,提出SOM算法的简化方案及并行硬件电路架构.经典SOM算法中,权值更新函数须使用浮点数乘法、开方以及指数等运算,硬件并行实现十分困难.传统的SOM简化方法的聚类准确率不高,面对手写数字识别这类复杂应用,传统方法的识别率十分有限.提出的SOM简化算法可以在保证系统聚类准确率的同时,除去权值更新函数中的复杂运算,易于硬件的全并行实现.基于提出的SOM
为了建立高强度钢丝的锈蚀分级标准,以4座服役10a以上的拱桥吊杆高强度钢丝样本为对象,在进行原状钢丝拉伸和疲劳试验研究的基础上,用刻痕方法模拟钢丝的表面蚀坑,通过有限元分析
基于位场数据在离散余弦变换域的稀疏性,利用lp(0≤p〈1)范数代替l1范数作为模型参数稀疏性的度量.引入lp范数稀疏约束正则化方法,借用迭代再加权最小二乘算法思想求解得到稀疏