基于合约逐级求解的系统测试用例生成  

Test case generation based on contract solving step by step

作　　者：曹源 刘杰[1] 肖安洪[2] 吴志强[2] 陈智[2] 曾辉[2] CAO Yuan;LIU Jie;XIAO An-hong;WU Zhi-qiang;CHEN Zhi;ZENG Hui(Computer School,University of South China,Hengyang 421001,China;National Key Laboratory of Reactor System Design Technology,Nuclear Power Institute of China,Chengdu 610041,China)

机构地区：[1]南华大学计算机学院,湖南衡阳421001 [2]中国核动力研究设计院核反应堆系统设计技术重点实验室,四川成都610041

出　　处：《计算机工程与设计》2020年第3期721-728,共8页Computer Engineering and Design

基　　金：湖南省教育厅科学研究基金项目(17C1378);中国核动力重点实验室基金项目(LRSDT2017304)。

摘　　要：为解决核电厂数字化仪控系统(digital instrument and control system,DCS)研发过程中测试成本高、技术难度大的问题,提出一种基于合约的测试用例生成方法。根据核电DCS软件系统采用组件开发的特点,分析组件间依赖关系,处理组件计算顺序。提出合约覆盖标准,结合基础组件合约,逐级求得组件输出,生成满足所有合约的测试用例集。过程中针对系统合约求解时NP难问题,有效降低求解系统合约得到测试用例的难度。该方法在核电堆芯测量系统的成功应用,验证了其实用性。To solve the problems of high test cost and technical difficulty in the research and development of digital instrument and control system of nuclear power plant,a contract-based test case generation method was proposed.According to the characteristic that nuclear power DCS software system bases on components,the dependencies among components were analyzed,and the calculation sequence of components was processed.The standard of contract coverage was proposed,combining with the basic component contract,the component output was obtained step by step,and test suite satisfying all the contracts was generated.In the process of solving NP-hard system contract,the difficulty of obtaining test cases by solving system contract was effectively reduced.The successful application of the method in nuclear core measurement system verifies its practicability.

关 键 词：集成测试 拓扑排序 合约测试 核电数字化仪控系统软件 高安全性应用开发环境 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]