【摘 要】
:
软件测试是为了发现软件中可能存在的错误而运行软件的过程,软件测试中关键问题是选择充分的、高质量的测试用例来尽可能多的发现软件中可能存在的错误。在软件测试的研究和实践中,通常使用代码覆盖率来衡量测试用例的充分性,常用的代码覆盖率度量准则包括语句覆盖、分支覆盖、条件覆盖和路径覆盖等。一个充分的测试用例集应该检测软件中更多的错误,提高测试用例集的充分性对提高测试用例集的有效性是有帮助的。为了在一个更加公
论文部分内容阅读
软件测试是为了发现软件中可能存在的错误而运行软件的过程,软件测试中关键问题是选择充分的、高质量的测试用例来尽可能多的发现软件中可能存在的错误。在软件测试的研究和实践中,通常使用代码覆盖率来衡量测试用例的充分性,常用的代码覆盖率度量准则包括语句覆盖、分支覆盖、条件覆盖和路径覆盖等。一个充分的测试用例集应该检测软件中更多的错误,提高测试用例集的充分性对提高测试用例集的有效性是有帮助的。为了在一个更加公平的环境下评价测试用例集的有效性,研究人员提出了变异测试,通过对原程序进行变异,评估测试用例对变异体的杀死比例,以变异得分作为测试用例集有效性的度量准则。但是近年来,以代码覆盖率为衡量准则的测试充分性和以变异得分为衡量准则的有效性之间关系引起研究者的注意。对于测试覆盖率和测试有效性之间的关系问题,本课题组在之前进行了实证研究,但主要存在如下的问题,第一点只对Defects4J实验集下的commons-lang项目进行分析,第二点只对JUnit 4的测试用例进行分析。针对以上存在的问题,本文对Defects4J测试集下的所有项目进行实验,基于JUnit 3和JUnit 4的测试用例进行了研究。此外以深度神经网络测试背景下提出了基于均衡覆盖的测试用例选择技术。本文的主要工作如下:(1)在Defects4J实验集六个项目上,分别以方法和断言作为测试用例最小单位,对测试覆盖率和测试有效性之间的关系进行实证研究。通过分析实验结果发现,随着测试集规模的增加,测试覆盖率和测试有效性也随之增加,测试覆盖率和测试有效性之间高度相关;但这两种之间的关系受到测试集规模这个混合变量的影响,当使用基于线性回归的混合效应模型将测试集规模的影响去除之后,测试覆盖率和测试有效性之间已无明显的相关性。(2)在深度神经网络的测试中,针对基于神经元覆盖的测试充分性准则存在过早达到覆盖率峰值,导致神经元覆盖来引导测试用例选择时失去引导功能这一问题,我们根据均衡覆盖的思想提出一种基于神经元覆盖的深度神经网络测试用例选择算法。在MNIST数据集上的实验结果表明,该算法提高了深度神经网络的错误检测效率。
其他文献
<正>浮梁古城位于景德镇市郊,浮梁古城建于唐元和十二年(公元八一七年),历经唐、宋、元、明、清诸朝,浮梁古城是历代浮梁县治之所在。景德镇历史上一直隶属浮梁县,唐代诗人白
利用污水为源水,经过生化塔—两级过滤—反渗透系统处理后,产水水质达到了再生水的水质标准,成功的应用在企业的生产工艺中.时代沃顿公司的抗污染反渗透膜FR11-8040在系统中
<正>为保证重庆澳龙生物制品有限公司的羊棘球蚴(包虫病)抗体检测试剂盒生产的持续进行及产品的稳定性,需建立羊棘球蚴(包虫病)基因工程菌三级菌种库,并分析其稳定性。本公司
农村三产融合是基于“农产”的价值增值和利益分配过程,是推动农村高质量发展、提升农民群众获得感、幸福感和安全感的重要抓手。我国农村已经形成了农业内部进行交叉融合的
随着经济的发展和城镇化速率的快速增加,人们对于室内环境舒适程度要求的提高,我国的建筑能耗逐年增加,其中公共建筑能耗占据比例高达38.53%,公共建筑单位面积能耗达30.11kgc
徐梵澄是当代的思想巨擘,有“现代玄奘”的美誉,学术成就斐然,尤以对印度思想文化在中国的译介贡献为重。徐梵澄在近代特殊的社会文化背景下接受了来自印度的思想哲学理念。在不同文明的交融下,徐梵澄形成了他独特的印度观,其作品中的印度形象即是最直接的体现。徐梵澄作为“旁观者”、“求索者”和“传道者”,在各时期作品中塑造的印度形象,不仅是其印度观的反映,也是其在不同阶段对于中国文化的反观思考。对徐梵澄作品中的
江家店地区位于惠民凹陷南部,是一个主要受夏口断裂控制的鼻状构造。论文主要对江家店地区地震剖面进行精细解释,总结断层发育规律与形成机理,并通过构造物理模拟实验以及构
军转干部就业安置制度是我国军事制度的重要一环,该制度能够切实维护军人的利益,它能够为退伍军官转变职业角色提供有效支持,确保他们在转业后能够拥有稳定的生活条件。2001年,我国制定的转业安置方案将政府分配与自主择业相结合,使军转安置的灵活性得到了极大改善,安置渠道逐渐拓展,许多军队干部在转业后进入合适的领域工作,继续为我国经济的发展和社会建设贡献个人力量。近年来,我国政治体制改革步伐不断加快,军队建
目的探讨健身气功六字诀对肝肾亏虚型慢性腰痛患者的影响,比较六字诀与传统核心稳定训练对肝肾亏虚型慢性腰痛患者的干预效果,为肝肾亏虚型慢性腰痛患者的运动康复治疗提供一种新的方法。方法研究2018年9月至2019年3月在天津中医药大学第一附属医院推拿科住院的以腰痛为主诊断的患者,出院6月的病例,经纳入和排除标准筛选符合要求的受试者70例。采用SPSS25.0软件产生的随机数字表进行随机分组,将受试者分为
许多久坐办公室的OL都会发现自己的臀部变“宽”了,总以为是吃得太多发胖或臀部赘肉太多造成的,却在减肥后发现肥臀变成大扁臀。运动派们强调健身练臀肌,长时间流汗苦练的确