随着核电产业的迅猛发展,核电设计软件需求量日益增加。针对核电计算程序在测试中遇到的Oracle问题,应用蜕变测试(MR)技术能够得到有效解决。但是目前基于蜕变测试技术开发的软件大多数运用手动的方式,不但效率低,而且精确度不高,因此研究出一种核电蜕变测试工具至关重要。本文主要研究了核电蜕变测试工具(半自动化)的设计思路,其中包括此工具的目的、算法和功能,旨在提高核电计算程序的测试效率。