【摘 要】
：
组合测试可以有效检测待测系统中由参数间交互作用而引发的故障.在其30多年的发展过程中,覆盖表生成一直是关键问题之一,相关研究文献已达200多篇.作为一种有效的覆盖表生成
【机 构】
：
南京晓庄学院信息工程学院,计算机软件新技术国家重点实验室（南京大学）
【基金项目】
：
国家自然科学基金(61272079,61321491,91318301);教育部博士点基金(20130091110032)~~
论文部分内容阅读
组合测试可以有效检测待测系统中由参数间交互作用而引发的故障.在其30多年的发展过程中,覆盖表生成一直是关键问题之一,相关研究文献已达200多篇.作为一种有效的覆盖表生成算法,已有的禁忌搜索算法在所生成的覆盖表规模上具备一定的优势,但其解的质量和运算速度仍有提升空间;同时,这些算法实际应用能力较差,既不支持约束处理,也无法生成可变力度覆盖表.针对以上问题,提出了一种禁忌搜索算法.该算法从3个方面对已有的算法进行了改进:1)算法参数配置调优分pair-wise和爬山两阶段进行,确保使用较少配置条数最大程度击中
其他文献
提出了一种降低钝体绕流阻力的“再附－减阻”（ＲＤＲ）构想，并在圆柱表面上安置矩形绊条对该构想进行了实验验证。在实验雷诺数范围内，该方法可使圆柱绕流阻力降低４０％，阻力的降低与矩形绊条的
本文在对比原型理论与经典理论的基础上,尝试从认知语言学的原型理论来解读习语。笔者将具有同等语效的英汉习语进行分析比较,探讨英汉习语的认知原型,旨在揭示英汉习语的文
早在2005年,我国65岁及以上老年人口比例就达到7.6%,我国已经进入人口老龄化社会。随着我国老龄化趋势的加重,建立和完善现有养老保障体系,发展多种养老方式、实施养老社会化
目的探讨塞来昔布调节氧调节蛋白150(Oxygen Regulated Protein-150,ORP-150)对重症急性胰腺炎(severe acute pancreatitis,SAP)大鼠保护作用的最佳剂量。方法 30只Wistar大
养花已经成为绝大多数人的一项业余爱好。人们可以通过养花来美化环境,愉悦身心,熏陶情操,给家庭环境带来生机与绿意。然而现代社会工作压力大,生活节奏快,人们疲于奔波,以至
目的：观察散血草水提物对胃溃疡小鼠的影响,为临床应用提供实验依据。方法采用利血平诱导制作胃溃疡动物模型。实验小鼠随机分为正常组、模型组、散血草低剂量组、散血草高剂
劳动二重性学说是马克思首先发现并论证的。以劳动二重性为依据,马克思在扬弃古典政治经济学劳动价值观点的基础上,创立了科学的劳动价值论,从而为剩余价值理论奠定了坚实的
目前对《红楼梦》两译者在翻译策略取向是归化还是异化上存在着争议。大部分研究者得出的结论是:杨译多采用异化:而霍译多采用归化的翻译策略。结合定量与定性的方法,从归化
花腔作为重要的声乐演唱技能,代表着一定的美学思想和原则,代表着声乐技能发展的一个方向,而花腔与女中声部相结合,不仅丰富了中声部的声乐技能,更体现声乐演唱风格全面性、
我国近些年建设了大量的沥青混凝土路面高速公路,随着使用年限的增加,这些沥青路面出现了严重的早期开裂破坏。应用柔性基层是解决沥青路面早期开裂的经济有效手段之一。柔性