【摘 要】
：
针对基于控制流的测试充分性准则易错失面向对象程序中的状态依赖关系,提出一种基于数据流准则的测试用例自动生成方法。通过数据流分析获取待覆盖的目标定义使用对,利用遗传
【基金项目】
：
国家自然科学基金(61502497);广西可信软件重点实验室研究课题(kx201530);南京大学计算机软件新技术国家重点实验室开放课题(KFKT2014B19)资助
论文部分内容阅读
针对基于控制流的测试充分性准则易错失面向对象程序中的状态依赖关系,提出一种基于数据流准则的测试用例自动生成方法。通过数据流分析获取待覆盖的目标定义使用对,利用遗传算法自动生成覆盖定义使用对的测试用例,根据适应度函数指导测试用例的进化。将该方法与基于分支覆盖和语句覆盖的方法相比较。实验结果表明,与其他方法相比,该方法可以检测出更多的变异体,适应度函数的设计降低了进化代数。
其他文献
目的探究临床路径管理模式对我院门诊药房工作人员积极性及药品调剂差错事件发生率的影响。方法选取我院2016年7月～2018年6月门诊药房工作人员21名为研究对象,其中2016年7月～20
目的探讨火把花根片与氨苯砜联合应用治疗寻常性银屑病的疗效.方法火把花根片与氨苯砜联合应用治疗寻常性银屑病64例,并与单用火把花根片治疗寻常性银屑病40例的疗效比较.结
马克思主义科学人才观是对马克思主义人才思想理论的延生和发展。大学生做为高校人才培养的对象,更应以马克思主义科学人才观作为指导。在面对当前大学生创新创业能力培养问
利用微波辅助技术进行桑叶多糖提取,通过单因素实验确定因素与水平,应用Box-Behnken设计3因素3水平的试验,依据回归分析确定最优的提取工艺条件.结果表明,微波辅助提取桑叶多
声调在普通话测试与生活中的重要性决定了在普通话的教学中也要重视对普通话声调的教学和研究,应在坚持针对性、实用性和灵活性的基础上采取合适的教学方法进行教学。
随着我国经济和科技的不断发展,社会对于创新型技术技能人才的需求量也在不断地增加。为了提高不同专业学生相应的技术水平和自身的创新能力,高职院校的教师应该结合专业特点
在十九大报告中,习近平总书记明确提出：＂我国经济已由高速增长阶段转向高质量发展阶段,正处在转变发展方式、优化经济结构、转换增长动力的攻关期,建设现代化经济体系是跨越关
目的:初步报告后路寰枢椎侧块钉板固定植骨融合术治疗寰枢椎不稳定的近期疗效。方法:用特制螺钉经寰椎后弓根部沿寰椎侧块纵轴置入,固定枢椎的螺钉沿枢椎椎弓峡部进入椎弓根,
本文介绍宽禁带半导体金刚石材料的结构、物理特性、器件结构和制备工艺，并根据材料的特性参数，给出金刚石功率器件频率与功率性能预测，与Ｓｉ，ＧａＡｓ等材料进行了比较。最后指出金刚石半导