基于合约的SCADE测试工具设计与实现

反应堆保护系统是核电厂中最重要的安全系统,对保证核电设备、工作人员以及周边环境的安全有着至关重要的作用。由于反应堆保护系统所需要的高安全性,因此SCADE平台开发的压水堆反应堆保护系统(以下简称SCADE系统)是近年来重要的研究方向。但是SCADE平台的开发过程基本以图形方式展现,设计与验证工作也都在SCADE系统内部完成,缺少对内部的本质特征的说明。因此需要一种方法来对SCADE系统的内部结构进行解释,并根据此对SCADE系统进行后期的验证工作提供理论支持,确保对SCADE系统的验证工作是有效的。笔者由此提出了基于合约的SCADE测试理论,并根据此理论设计并开发了基于合约的SCADE自动测试平台,用于为SCADE系统的验证工作提供充分的测试用例并进行相关测试工作。