【摘 要】
：
为了提高现在测试用例自动生成技术的自动化程度以及效率,构造了新的评价函数并且提出了一种全新的插装方式。研究了词语法分析技术,将其应用到了程序预处理的过程中,提出了
【机 构】
：
中国航天科工集团第二研究院研究生院,中国航天科工集团第二研究院三室
论文部分内容阅读
为了提高现在测试用例自动生成技术的自动化程度以及效率,构造了新的评价函数并且提出了一种全新的插装方式。研究了词语法分析技术,将其应用到了程序预处理的过程中,提出了一种全新的自动插装方法。对评价函数的构造进行了研究,将数据依赖、控制依赖和分支函数结合组成新的评价函数,同时采用自动插装方式将所构造的评价函数自动插装到被测程序中。采用遗传算法作为搜索算法,以MC/DC（即修正条件/判定覆盖）准则为覆盖准则,验证了改进后的评价函数,实验结果表明,该方法具有更高的覆盖率和更快的收敛速度。
其他文献
目的探讨射频热疗在不能手术切除的原发性肝癌合并门脉癌栓患者综合治疗中的疗效。方法分析在我院行肝动脉化疗栓塞术(TACE)和放疗(对照组)或TACE联合放疗和体外高频热疗(热
<正>许多小学生最怕写作文,一是觉得没有什么可写的,另一个是不知道怎么写。他们不知道人的心灵就是最大的宝库,最大的材料库。如果我们教学生写好人物心理,尤其是自己的心理
为了提取月表卫星影像中陨石坑的几何特征信息,对陨石坑的边缘形变进行了研究。提出了一种陨石坑边缘圆度的等级划分评价模型,该模型采用改进型Canny边缘检测算法做边缘提取,将圆度误差作为陨石坑边缘形变特征的评价参数,设计一种适用于月表情况的BP神经网络综合边缘圆度的评价结果。实验结果表明,边缘圆度等级评价模型能够量化陨石坑的边缘形变特征。将该评价模型加载到数字月球平台上,实现了对陨石坑的几何特征信息的
传统连通域标记算法应用在智能视觉监控系统过程中,每次连通域标签合并都要从头开始逐一扫描整幅画面,导致不必要全局性重复处理,同时图像像素点增加和噪声干扰,严重影响了目标提取的处理速度。为此,提出了一种面向图像目标提取的改进连通域标记算法。通过对图像画面进行分块,根据各个小块中前景点所占比例来区分前景目标区域块,减少了待标记的数据量,增加了抗噪力;记录标签范围,减少了计算机搜索的时间。在不同应用场景的
副职在一个单位中起着承上启下的作用.副职如何发挥好自身作用,为正职助威,是加强领导班子建设的一个重要环节,也是增强单位凝聚力、战斗力的必然要求.
对五大发展理念的理解有很多维度,本文主要从系统哲学视角分析五大发展理念的科学内涵,并以系统哲学的协同和谐原理和整体优化原理认识五大发展理念之间的相互关联和系统演化