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