【摘 要】
：
软件产品线测试是一项非常具有挑战性的工作.基于相似性的测试方法通过提升测试集的多样性以达到提高测试覆盖率和缺陷检测率的目的.因其具有良好的可拓展性和较好的测试效果,目前已成为软件产品线测试的重要手段之一.在该测试方法中,如何产生多样化的测试用例和如何维护测试集的多样性是两个关键问题.针对以上问题,提出一种基于多样性可满足性（SAT）求解器和新颖性搜索（novelty search, NS）的软件产
【基金项目】
：
广东省科技攻关重点项目（2020B0303300001）； 2018–2019年度广东省“新一代人工智能”重大项目（2020AAA0108404）； 国家自然科学基金（61906069,62276103,62202025,61876207）； 广东省基础与应用基础研究基金（2019A1515011
论文部分内容阅读
软件产品线测试是一项非常具有挑战性的工作.基于相似性的测试方法通过提升测试集的多样性以达到提高测试覆盖率和缺陷检测率的目的.因其具有良好的可拓展性和较好的测试效果,目前已成为软件产品线测试的重要手段之一.在该测试方法中,如何产生多样化的测试用例和如何维护测试集的多样性是两个关键问题.针对以上问题,提出一种基于多样性可满足性（SAT）求解器和新颖性搜索（novelty search, NS）的软件产品线测试算法.具体地,所提算法同时采用两类多样性SAT求解器产生多样化的测试用例.特别地,为了改善随机局部搜索SAT求解器的多样性,提出一种基于概率向量的通用策略产生候选解.此外,为同时维护测试集的全局和局部多样性,设计并运用两种基于NS算法思想的归档策略.在50个真实软件产品线上的消融和对比实验验证多样性SAT求解器和两种归档策略的有效性,以及所提算法较其他主流算法的优越性.
其他文献
为提升电力基础资源利用效率与服务能力，推动电力杆塔商业化运营的长期可持续发展，考虑项目全寿命周期风险，对电力杆塔进行优选决策。基于5G网络流量预测结果，建立通信运营商成本收益模型，以满足运营商期望收益为前提，对电力杆塔租赁价格进行优化，并对实际工程中的四种典型场景进行算例分析。结果表明：安全运行与规划决策有关的风险防范是优选决策的重点，其评价结果将直接影响电力杆塔是否适合商业化运营。对于通过优选决
玻色-爱因斯坦凝聚体（BECs）的实验实现,是现代物理学的一个里程碑式的重大突破,它开启了宏观量子多体现象研究的新纪元。特别是近年来,科学家实现了超冷原子气体中的自旋轨道耦合（SOC）,极大地激发了人们对自旋轨道耦合量子气体的研究兴趣。这种崭新可控的人工SOC,不仅为自旋量子霍尔效应、拓扑超导体和拓扑超流体的量子模拟提供了新的可能性,而且为探索冷原子物理和凝聚态物理等领域的奇特量子现象和新颖物态提
本文报告了1例55岁男性患者因低分化肝细胞癌使用注射用卡瑞利珠单抗2周后，反复出现左上腹痛，血清淀粉酶和血清脂肪酶检查异常，上腹部MRI考虑为水肿型胰腺炎。经诊断排除其他病理因素，考虑为卡瑞利珠单抗的不良反应，不良反应关联性评价结果为很可能。临床药师建议停药并给予糖皮质激素治疗3 d后复查，相关症状及指标明显改善。本文对该病例急性胰腺炎的发生及治疗过程进行梳理，以期为医师、药师对该药引起急性胰腺炎
＜正＞ 双酚A型环氧树脂自四十年代问世以来,由于其优异的强度,粘结性和尺寸稳定性,良好的抗酸碱性,热稳定和电气性能,以及使用上的任意调配和制造工艺的简化,在涂料、塑料和粘合剂领域里广泛采用,促进了机电、造船、航空、化工、电子仪表等工业的不断发展。然而,双酚A型环氧树脂,在使用和性能方面也存在一些缺陷,主要是:
微结构光纤及其光子器件是目前光电子领域的研究热点之一,灵活的结构设计使得微结构光纤在色散、损耗、偏振、非线性以及模式控制等方面具有传统光纤所无法比拟的优势。通过填充功能材料可以进一步提升微结构光纤的性能并扩展其应用范围。本文以光导波理论为基础,同时结合耦合模理论和表面等离子体共振原理,利用有限元法对微结构光纤的基本特性进行了数值模拟,设计了几种基于微结构光纤的偏振分束器、偏振滤波器和传感器并对其性
在分析星载导航软件存在问题的基础上，从配置项级、架构级和构件级三个维度阐述了软件产品线的设计方法，结合典型的航天器产品应用实例，介绍了产品线的复用过程，并借助软件一体化平台工具，详细描述了星载导航软件产品线的建立、应用和管理方法。通过实践摸索，基本解决了软件研发中存在的问题，实现了产品线开发和项目开发分离，研制能力得到了提升。星载导航软件产品线经过不断迭代，逐步提高了复用率和成熟度，确保了软件产品