摘要：基准题计算是核电设计与安全分析软件验证测试的主要方式之一,但其存在研制成本高、周期长、题量少的问题。本文针对中子扩散程序提出一种新型测试方法,即以基准题作为原始测试用例,依据物理模型蕴含的蜕变关系,生成衍生测试用例,进行蜕变测试验证。实例表明该方法不但可扩充基准题数量,还能提高测试的充分性,是一种很有应用前景的验证测试方法。

摘要：提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutationscore和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊测试用例和随机测试用例为源测试用例的蜕变测试这3种方法的测试能力和效率.该实验可在MTest测试环境下自动完成.实验结果表明,蜕变测试与特殊用例测试之间是互补的,而且就蜕变测试的源测试用例而言,随机测试用例在测试能力和效率上优于特殊测试用例.

摘要：针对现有测试方法的缺陷,提出了一种基于蜕变测试的区块链智能合约漏洞检测方法,其能针对区块链智能合约中具体的功能生成针对性的测试用例,从而检测区块链智能合约中存在的漏洞。针对可能出现的安全漏洞,设计了不同的蜕变关系并进行蜕变测试。通过验证源测试用例和后续测试用例之间是否满足蜕变关系,判断智能合约是否存在相关的安全漏洞。实验结果表明,所提方法可以有效地检测出智能合约中存在的安全漏洞。

摘要：由于核素数量庞大,并且存在短半衰期核素和闭环燃耗链,难以构造预期输出,点燃耗程序验证面对测试预言问题。这使得高度依赖于测试预言的传统测试方法不可用,甚至无效。蜕变测试虽然是解决测试预言问题一种有效方法,因蜕变关系难以识别,因此尚未能在核设计软件验证中广泛应用。在分析燃耗计算物理性质的基础上,识别蜕变关系,并将蜕变测试应用于点燃耗程序的验证。实验表明在没有测试预言的情况下,通过比较程序的多次输出,蜕变测试能有效地检测出程序缺陷。此外,即使原始程序以及TTA检测失效,蜕变测试仍然揭示了代码缺陷。本研究为蜕变测试在核设计领域的应用提供有益参考。

摘要：模型驱动架构中模型转换结果正确与否常常难以判断(即测试Oracle问题),而蜕变测试通过验证多个执行结果之间是否满足蜕变关系可以部分地解决测试Oracle问题。为有效地解决模型转换测试中的Oracle问题,以UML到Java模型转换程序为例,应用蜕变测试,依据转换规则,从增加、删除、修改、替换4个方面设计并构造出一组蜕变关系。最后对待测程序植入在实际测试中常见的两种错误,设计并执行测试用例后验证蜕变关系,发现违反了蜕变关系,暴露出程序缺陷,从而说明了蜕变测试的有效性。

摘要：核电设计与分析软件的数值计算程序的验证测试过程,受制于代码中数值算法执行的正确性,但存在Oracle问题,即测试人员很难构造或者得到程序的预期输出来验证程序计算结果是否正确。蜕变测试无需程序预期值来验证结果,已应用于软件测试领域,其蜕变关系是关键。本文应用蜕变测试技术,以堆芯燃料元件热传导程序为例,从数值计算模型中导出蜕变关系,实例初步验证该蜕变关系的有效性,也表明蜕变测试技术可以在核电设计与分析软件验证测试中发挥作用。

摘要：为缓解拥有庞大数据信息的条件筛选搜索系统搜索结果时带来的Oracle问题,提出蜕变测试方法。通过识别程序多次输入输出之间的关系是否违反蜕变关系,可有效缓解Oracle问题。因此,有效识别蜕变关系是完成蜕变测试的前提。根据条件筛选搜索系统的自定义条件,设计两种蜕变关系模式帮助简化蜕变关系的识别,提高蜕变测试的故障检测质量。实验结果表明,利用改进的蜕变关系模式在条件筛选搜索系统中执行蜕变测试提高了14%的精确率,验证了该方法识别蜕变关系的简洁性和有效性。

摘要：在面向服务软件的测试过程中,由于在服务发现之前不可知的交互对象和同一个服务可能会有不同实现,往往出现程序执行结果不能提前预知的Oracle问题。为了有效地解决面向服务软件测试中的Oracle问题,基于面向服务架构(SOA)的特点,提出将蜕变测试方法用于面向服务软件的单元测试和集成测试过程中,依据面向服务软件每个服务的自身性质构造蜕变关系,设计蜕变测试类执行测试用例并验证蜕变关系是否保持,如果蜕变关系被违反了,则发现和报告缺陷,从而有效地支持面向服务软件的测试。

摘要：考虑到伪距定位程序中算法数值计算复杂性及其在用户定位过程中的重要性,提出将蜕变测试方法应用于伪距定位程序的软件测试中。基于伪距定位程序的蜕变测试流程,通过分析算法几何属性、数值计算特性及具体实现,提出3种不同的蜕变关系。结合变异分析技术对蜕变关系设计的有效性进行验证,实验结果表明,该方法能够有效检测伪距定位程序中的软件缺陷、提高测试效率,进一步拓宽了蜕变测试方法的应用范围。

摘要：在核工业数字化转型的浪潮中,构建基于人工智能和机器学习的高质量软件正成为学术界和行业中非常热门的研究课题。由于核技术领域的特殊性,对于软件质量和安全性有着极高的要求,这为人工智能相关技术开发的软件系统带来了质量验证和安全保障的强烈需求。本文着重研究了人工智能软件的测试和质量验证工作,从不同的角度分析人工智能软件的新特性和需求,介绍了目前人工智能软件的测试分类以及不同的测试方法。更进一步,针对人工智能软件的测试和质量验证,提出了一种蜕变测试的方法和思路,并提供了蜕变测试质量评估和标准分析的思路。最后,还对基于人工智能的关键设备寿命识别系统进行了研究,以表明所提出的质量验证方法的可行性和有效性。