【摘 要】
:
为了减少测试花费的代价,避免测试人员将自身错误强加到软件上,自动化测试受到了越来越多的关注。单元测试是最低级别的测试活动,能发现软件的大部分错误。单元自动测试通常
论文部分内容阅读
为了减少测试花费的代价,避免测试人员将自身错误强加到软件上,自动化测试受到了越来越多的关注。单元测试是最低级别的测试活动,能发现软件的大部分错误。单元自动测试通常根据测试路径来生成测试用例,用代码覆盖来衡量测试的充分性。本文围绕单元测试中的代码覆盖分析技术和路径选择技术进行了如下工作:(1)本文对多种覆盖率的统计方法进行了研究,同时提取出了插装消息路径即M路径,并应用于路径覆盖中的已覆盖路径数量统计及有效测试用例判定。(2)改进了单元测试系统UATS中的路径选择,对循环路径片段的选取采用“0-1”策略,并引入了拓宽算子和收窄算子,提高循环路径片段节点区间运算的准确性。同时,针对判定节点中选定了谓词组合的情况,在已有的区间运算基础上加入了对选定谓词组合区间的计算,提高了不可达路径检测的准确性。(3)提出了路径重选和半条路径选取方法以提高选取出可能可达路径的概率。路径重选通过分支替换和谓词组合替换来重选出一条可能可达的完整路径。半条路径是指从控制流图入口节点到目标覆盖元素的路径片段。半条路径选取有效避免了目标覆盖元素以后的路径片段对路径可达性的影响,提高了为目标覆盖元素选取出可能可达路径的概率。基于上述技术的实现,本文最后在多覆盖率统计工具MCC中验证了覆盖率自动统计功能。同时在UATS系统中实现了改进后的路径选择方法,完成了三种路径选择策略的对比实验,通过覆盖率的提高验证了完整路径重选和半条路径提取对UATS中路径选择技术的成功改进。
其他文献
<正>12问公共文化服务的难点在哪?精彩语录:"加强公共文化服务是实现人民基本文化权益的主要途径。"一是现在网络传播方式与传统方式融合的问题。这种融合不是简单把原来的公
党的十八届三中全会通过的《关于全面深化改革若干重大问题的决定》明确提出了发挥市场在资源配置中的决定性作用和更好地发挥政府作用的重大论断。这两个"作用"相互联系、不
<正>瓦克VINNOLCEN 2752是一种基于氯乙烯和乙烯共聚的乳液技术。由于氯乙烯-乙烯共聚物具有较高的极限氧指数,这意味着聚合物本身就是一种难燃的材料。同时,由于乳液中氯
《殷周金文集成》于1984年8月阴始出版,至1994年12月(實爲1995年4月)全部出齐,共18册。收铜器铭文11983件。中華害局于2007年出了修订版《殷周金文集成》,共八册,其中所收兵
将文化传播中的讯息、途径、接收者和效果四个要素与品牌文化的特征结合起来,从文化传播的角度,研究了品牌文化传播模式。同时引入反馈体系,用以检测传播效果及保证品牌文化
学习压力是当代高中生面临的最主要的压力之一,对高中生的学习与生活有重要的影响。而应对方式作为调节压力的有效手段,对于高中生学习压力的调节有重要的作用。了解高中生学习
中国可能在2025年即提前进入超级老龄社会,且未备先老。中国亟待按照老龄社会时间表,倒计时地制定银发经济发展战略,坚持人均GDP福利相关性原则,实现即老即富的发展路径。
<正> 毛蛋是入孵21天以后未出壳的死雏。人们有时把毛蛋作为特殊的食品使用,但大部分仍被废弃,为了充分利用家禽孵化场副产品(蛋壳、毛蛋、中死蛋和废弃雏鸡等),我们对此进行
研究柴胡皂苷(SSA)对体外发酵指标及发酵液中菌群变化的影响。采用完全随机试验设计,在0.5 g全混合日粮(TMR)中分别添加0,0.125,0.25和0.5 mg的SSA,通过AGRS-III微生物发酵微
<正> 国家七五重点科技项目“高目涤纶筛网”由上海筛网厂和上海新中国钢筘厂研制成功,最近通过了专家技术鉴定和重点科技项目验收,这标志着我国精密丝印材料、合纤筛网制造