【摘 要】
:
数据流覆盖可有效地检测软件中的缺陷与错误.针对该覆盖准则中存在的插装监测开销庞大和测试数据生成效率不高的问题,提出一种新的基于定值-引用对覆盖的测试数据进化生成方
论文部分内容阅读
数据流覆盖可有效地检测软件中的缺陷与错误.针对该覆盖准则中存在的插装监测开销庞大和测试数据生成效率不高的问题,提出一种新的基于定值-引用对覆盖的测试数据进化生成方法.该方法主要分为两部分,首先,通过约减测试目标来减少播装开销,提出的包含关系算法可找到一个定值一引用对子集,使得覆盖该子集就能保证所有测试目标被覆盖;然后,采用遗传算法为所有测试目标生成测试数据,设计的适应度函数综合考虑个体实际执行的路径与每个测试目标的定义明确路径的匹配程度.将该方法用于8个基准程序的测试数据生成,并与其他方法比较,结果显示其可有效提高程序覆盖率和测试数据生成效率.
其他文献
《百家讲坛》《面对面》在词长、插入语、谓语、小句宾语、复句等方面的计量特征和显著差异,证明了访谈体比演讲体具备更多的典型口语语体的特征,这一方面验证了人们的语感,
当前中国的生物医学科研伦理审查面临着与西方不甚相同的困境:理论基础的缺失和实践方法的无序.通过分析儒家思想中“仁”“礼”“和”的关系,挖掘儒家在君子与德性、仁爱与
介绍了一种融合电流映射传输方式的电压反馈型高速宽带运算放大器的工作特性.结合高速宽带运算放大器工作原理,对设计思路进行分析.研究了影响高速宽带运算放大器特性的相关
生态位的概念为企业战略的选择提供了新的方法.根据企业利用生态位并获得竞争优势的一般方式,可把企业成长战略分为两种类型:r战略和K战略.采取r战略和K战略的企业的成长曲线
2012年,我国经济增长将继续放缓,但经济增长速度将处于可控区间。总体上2012年GDP增长以“稳”为主,既不会出现2008年那样的大幅回落,也不会出现2009年那样的V型回升。全年的
文章综合阐述了当前技术发展模式的研究现状,对现有研究成果进行了概括,从技术创新的视角对基于TRIZ(发明问题的解决理论)的技术进化模式进行了深入分析,揭示技术发展的规律
传统经济模式为社会经济发展作出了不可磨灭的贡献,但是,随着互联网等信息技术的出现,为培育新型经济发展提供了很好的土壤,合作经济制度由此产生.从当前新型经济概念入手,基
《墨经》在中国古代科技思想史上具有重要地位,其中“兼”、“体”概念及其关系的科学性是学界论争的焦点之一.文章认为,“兼”、“体”关系与“区穴”、“尺”、“端”诸概
目的 分析艾滋病传播途径,并提出有效的防护措施.方法 选择2011年3月至2013年6月我院与高发期艾滋病患者相接触的30名医护人员作为研究对象,给予有效的防护措施,并观察其防护
专业意识是指人们遵循学科内部的发展规律,在日常研究和教育活动中所表现出来的自觉态度和意识,以及对该专业的归属感和认同感。思想政治教育专业意识是指思想政治教育工作者对