cqvip:为解决核电厂数字化仪控系统(digital instrument and control system,DCS)研发过程中测试成本高、技术难度大的问题,提出一种基于合约的测试用例生成方法。根据核电DCS软件系统采用组件开发的特点,分析组件间依赖关系,处理组件计算顺序。提出合约覆盖标准,结合基础组件合约,逐级求得组件输出,生成满足所有合约的测试用例集。过程中针对系统合约求解时NP难问题,有效降低求解系统合约得到测试用例的难度。该方法在核电堆芯测量系统的成功应用,验证了其实用性。
展开▼
