蜕变测试技术在核电软件中的应用探讨——以运行瞬态分析软件PANTO为例

摘要

蜕变测试技术能够通过检测输入输出数据之间满足的关系来验证程序的正确性,能有效解决复杂计算软件输出数据无法构造的问题,即Oracle问题。目前我国在核电软件自主化进程中,验证测试阶段遇到的Oracle问题还在探索阶段。该文介绍当前核电软件的测试流程,并结合在核电软件测试中的工作经验,对蜕变测试(MT)技术在核电软件PANTO(运行瞬态分析软件)测试中的应用作进一步探讨,为我国核电软件自主化的测试工作提供借鉴和参考。