【摘 要】
:
针对软件可靠性评估中约减测试案例往往导致测试案例集的错误检测率下降的问题,提出了1种基于程序行为引导的测试案例约减方法。该方法通过对软件程序行为进行分析,在满足程
【基金项目】
:
国家自然科学基金资助项目(61303301)
论文部分内容阅读
针对软件可靠性评估中约减测试案例往往导致测试案例集的错误检测率下降的问题,提出了1种基于程序行为引导的测试案例约减方法。该方法通过对软件程序行为进行分析,在满足程序测试需求的情况下,选择程序行为均衡的测试案例集,使得对于约减后的测试案例集能够减少错误检测率。在公开的SIR数据集上进行实验,结果表明,所提方法相比于传统的测试案例约减方法,能够在增加少量测试案例的情况下,明显减少软件可靠性评估中错误检测率的损失。
其他文献
目的对胆囊结石患者行腹腔镜治疗过程中,其手术室护理方法及效果展开分析。方法选取83例来我院接受腹腔镜手术治疗的胆囊结石患者为研究对象,将所有患者按照随机方法划分为两组
基于分子动力学(molecular dynamics,MD)仿真技术,研究了单晶硅在多次加工时的亚表面损伤。分析了已加工和未加工的单晶硅模型的亚表面损伤;对已加工和未加工的表面分别进行了
目的探究在初发2型糖尿病伴肥胖患者中应用利拉鲁肽对其的临床效果以及微炎症状态的改善。方法择取我院初发2型糖尿病并伴随肥胖的患者75例进行研究,按数字表法分为2组,对照
为研究事件状态下高速公路隧道群交通流的变化规律,建立了事件状态下基于元胞自动机的隧道群交通流模型,首先将已运营隧道群实际路网输入VISSIM仿真软件,对隧道群进行合理分
为了分析同位素效应对光缔合动力学的影响,通过求解含时Schr9dinger方程,研究了HCl以及DCl体系在基电子态上的光缔合动力学过程。针对这2个体系,通过优化激光参数,计算了系统
针对广泛收集的529根圆钢管混凝土(circularconcrete-filledsteeltube,CCFST)短柱轴心受压试验结果,以套箍系数、混凝土强度、钢材强度和钢管直径为参数,分析GB50936—2014《
为了进一步研究塔中地区下奥陶统蓬莱坝组油气勘探的地质发育条件,明确其沉积微相展布特征。依据岩屑、测井等资料,在对单井沉积微相识别与划分的基础上,对多井沉积微相进行
在传统镁铬砖的基础上提出以铬铁矿为主要原料,以氧化镁、氧化铝作为添加剂来制备炼铜转炉用铬铁矿基浇注料。在分散剂的选择上采用有机-无机复合分散剂,通过Zeta电位的测量
莫里青地区的储层微观研究尚不完善,表现在微观孔隙结构特征、孔隙结构差异性成因及储层物性控制因素认识不清。通过综合运用铸体薄片、常规压汞和恒速压汞等技术,结合多元分
针对传统的自然混沌在加密系统上的不足和安全系数较低的问题,提出了二维离散分数阶Fourier变换的双混沌图像加密算法,该算法首先借助Henon映射与分数阶Fourier变换改进得到