【摘 要】
:
组合测试是软件测试中一个重要的技术分支,已经在工业界得到大量应用。虽然组合测试技术已得到广泛研究,但仍然存在一些未能被很好解决的问题:一方面,人们关心不同场景下组合测试技术是否具有足够强大的错误检测能力;另一方面,人们也关心如何准确地描述那些能导致错误的软件输入域特征。与此同时,布尔规格测试也是软件测试一个重要分支,因为软件程序的执行路径通常依赖于谓词语句中布尔表达式真或者假的判定结果。因此,本文
论文部分内容阅读
组合测试是软件测试中一个重要的技术分支,已经在工业界得到大量应用。虽然组合测试技术已得到广泛研究,但仍然存在一些未能被很好解决的问题:一方面,人们关心不同场景下组合测试技术是否具有足够强大的错误检测能力;另一方面,人们也关心如何准确地描述那些能导致错误的软件输入域特征。与此同时,布尔规格测试也是软件测试一个重要分支,因为软件程序的执行路径通常依赖于谓词语句中布尔表达式真或者假的判定结果。因此,本文将尝试研究面向布尔规格的组合测试相关技术。本文主要研究两个方面问题,一方面,将布尔测试中组合测试技术的错误检测能力与作为基准的随机测试技术进行比较;另一方面,比较极小故障模式模型和概率故障模式模型对能够导致错误的输入域特征的描述能力。本文选取的实验对象是抽取自TCAS系统的20个布尔表达式,通过10种变异算子产生19131个非等价的变异表达式。本文开展的具体研究工作包括以下两个方面:(1)选取来自TCAS系统的20个布尔式表达式及其变异作为实验对象,将组合测试的错误检测能力与随机测试的错误检测能力进行比较。实验数据表明,组合测试错误检测能力在总体上强于随机测试。此外,通过具体分析还发现以下规律:当组合测试的强度比较高的时候,组合测试检测故障的能力明显强于随机测试;当软件输入域维度较高或是错误的FTFI值较大时,组合测试和随机测试的检测故障能力相差不多。(2)以提取自TCAS系统的20个布尔式表达式及其变异作为实验对象,比较极小故障模式模型和概率故障模式模型对能够导致错误的输入域特征的描述能力。实验数据表明,概率故障模式在召回率、精确度和综合评价指标方面均明显优于极小故障模式,这说明概率故障模式模型对能够导致错误的输入域特征的描述能力明显强于极小故障模式模型。
其他文献
马度米星铵作为一种最广泛使用的抗球虫药,在靶动物体内代谢迅速主要以原形药物排出体外,污染包括水体在内的生态环境。近年来,因食用克氏原螯虾而引起的哈夫病症状与马度米
黄连素在抗炎、降低血糖、调节动物机体免疫机能等方面有显著效果。研究发现,黄连素可以降低机体血浆中的胆固醇含量,表明其在调控脂肪代谢方面也有着重要的作用。然而,关于
目的:研究重度NPDR及早期PDR阶段的T2DM患者DME的发生与尿白蛋白的关系,探讨DME发生的危险因素。方法:收集2019年3月至2019年12月于新疆医科大学第一附属医院住院期间,通过眼科会诊诊断为重度NPDR及早期PDR的96例T2DM患者,收集他们的基础资料、生化指标、眼科检查。结合眼底照相、FFA及OCT的结果,将患者分为无DME组和DME组,分析DME的形态特点,并对两组患者的基线资
压接式IGBT因其通流容量大、便于串联、失效短路等优点,在不断推广的柔性直流输电领域中逐渐取代传统焊接式IGBT。在这样的高压应用场合,IGBT器件封装内的绝缘处理值得关注,焊接式IGBT封装内普遍填充硅凝胶作为绝缘介质,然而部分压接式IGBT却仅填充绝缘强度较低的空气,使得器件在正向阻断工作状态时封装内的绝缘问题较为严峻,本文的研究对象,一款硬压接型的IGBT器件因此在高温反偏实验中的通过率较低
目的:采用问卷调查方法了解维吾尔族糖尿病患者对糖尿病性视网膜病变的认知度及影响因素。方法:采用已发表的糖尿病性视网膜病变防治知识调查问卷,翻译成维吾尔语。经过效度及灵敏度的检验达到标准后,选定2019年1月至2019年12月新疆医科大学第一附属医院眼科及内分泌科住院的维吾尔族糖尿病患者365例,进行问卷调查,选取其中314份符合标准的调查问卷,并按累计得分,分高分组及低分组,通过?2检验,非条件L
目的:探讨以时间分辨随机轨道技术(time-resolved angiography with interleaved stochastic trajectories TWIST)MRA为标准,时间-空间标记反转脉冲非对比增强子宫动脉成像技术(Time-SLIP MRA)对子宫动脉的价值及最佳反转时间。材料与方法:连续62例临床怀疑宫颈癌、子宫内膜癌等的患者行Time-SLIP磁共振血管造影术检查
目的:使用无标记多光子显微镜技术(Label-free Multiphoton Microscopy,MPM)识别以癫痫发作为首发症状,表现为长T2的磁共振信号改变的病灶,并与病理染色图像进行比较,评估其
随着人类对于健康问题的日益关注,传统伤口敷料由于其不具备良好的微观制备与调控能力,已经不能满足日益多样化的临床需求。由于具有计算机精准控制等特点,三维(3D)印刷技术
随着对化石能源使用的增加,CO2排放逐年攀升,其导致的温室效应等环境问题日趋严重。提高可再生能源占比是实现碳减排的重要途径。可再生能源如风、光等发的电难以直接并入电
随着物质生活的提高,夜间交通出行需求日益高涨,由此也导致交通事故频发,尤其是交叉路口最为严重。近年来人工智能和车路协同技术快速发展,结合这些前沿技术对交通安全控制这一关键技术进行研究成为热点。为了解决夜晚社区交叉路口车辆的视线盲区和冲突碰撞问题,本文在车路协同环境下,利用自身车辆的驾驶工况分别预测进入交叉口区域的转向意图和车速值,并以预测数据为基础建立了安全辅助策略,从而达到随动照明辅助和冲突风险