MC/DC测试技术在核电厂控制系统软件中的应用

摘要

软件测试是软件质量保证的重要步骤,在软件开发生命周期中受到关注最多的就是测试.在大部分软件开发活动中,测试被认为是基础,它对软件的成功至关重要.核电厂类的软件有高安全性和高稳定性的特殊要求,使得其测试的重要性尤其突出.本文描述核电厂控制系统软件单元测试中应用MC/DC(修改的条件/判定覆盖)技术.首先,论述了航空领域软件的等级划分,核电仪控行业对于单元测试结构覆盖等级的要求.接着,论述了国外单元测试的法规、标准要求、MC/DC基本概念、优势和标准化流程.最后,结合工程实例,提供了适用于核电厂控制系统的软件单元测试标准化流程测试方法.