基于DCS系统组件的变力度组合测试方法

doi:10.19678/j.issn.1000-3428.0058880

计算机工程 ›› 2021, Vol. 47 ›› Issue (9): 178-184. doi: 10.19678/j.issn.1000-3428.0058880

基于DCS系统组件的变力度组合测试方法

周进¹, 刘杰¹, 肖安洪², 曾辉², 吴志强², 陈智², 阳小华¹

1. 南华大学计算机学院, 湖南衡阳 421001;
2. 中国核动力研究设计院核反应堆系统设计技术重点实验室, 成都 610041

收稿日期:2020-07-08 修回日期:2020-08-18 发布日期:2021-09-13
作者简介:周进(1996-),男,硕士研究生,主研方向为软件测试与建模;刘杰(通信作者),副教授;肖安洪,工程师;曾辉,高级工程师、硕士;吴志强,高级工程师;陈智,高级工程师、博士;阳小华,教授。
基金资助:
国家科技重大专项（2019ZX06005001）；中国核动力重点实验室基金（LRSDT2017304）；湖南省教育厅科学研究基金（17C1378）；南华大学2020年研究生科研创新项目（203YXC012）。

Variable Strength Combinatorial Testing Method Based on DCS System Components

ZHOU Jin¹, LIU Jie¹, XIAO Anhong², ZENG Hui², WU Zhiqiang², CHEN Zhi², YANG Xiaohua¹

1. Computer School, University of South China, Hengyang, Hunan 421001, China;
2. Key Laboratory of Nuclear Reactor System Design Technology, Nuclear Power Institute of China, Chengdu 610041, China

Received:2020-07-08 Revised:2020-08-18 Published:2021-09-13

摘要/Abstract

摘要： 系统组件间的交互故障及功能失效是导致核电厂数字化仪控系统（DCS）故障的主要原因，传统组合测试能有效检测组件之间交互作用，但存在测试数据冗余、检测能力下降等问题。提出一种基于逐参数扩展（IPO）策略的变力度组合测试方法IPO_VD。根据DCS系统组件开发的特性，从待测组件间实际交互关系，对水平扩展过程中参数的取值选择进行改进。实验结果表明，相比固定力度下的IPO算法，IPO_VD算法在测试数据规模、覆盖率以及检错能力上均有一定优势。在减小测试数据规模的同时实现对组件间实际交互关系的全覆盖。

关键词: 变力度组合测试, 核电数字化仪控系统, 测试数据生成, 逐参数扩展, 交互关系

Abstract: The failures of Digital Instrument and Control Systems(DCS) in nuclear power plants are mainly caused by the fault interactions between system components and the subsequent functional failures.Though combinatorial testing can effectively check the interactions between the components, it suffers from the redundancy of test data and the reduction in detection capabilities.To address the problem, a variable strength combinatorial testing method based on the In-Parameter-Order(IPO) strategy is proposed.According to the characteristics of DCS system component development, the actual interactions between the to-be-tested components are analyzed, and on this basis the parameter selection in the horizontal expansion process is improved.Results show that compared with the fixed strength IPO algorithm, the algorithm proposed in this paper has certain advantages in test data scale, coverage and error detection capability.It can reduce the size of test data, and realize the full coverage of the actual interactions between components.

Key words: variable strength combinatorial testing, Digital Instrument and Control System(DCS) in nuclear power, test data generation, In-Parameter-Order(IPO), interaction

中图分类号:

TP311

周进, 刘杰, 肖安洪, 曾辉, 吴志强, 陈智, 阳小华. 基于DCS系统组件的变力度组合测试方法[J]. 计算机工程, 2021, 47(9): 178-184.

ZHOU Jin, LIU Jie, XIAO Anhong, ZENG Hui, WU Zhiqiang, CHEN Zhi, YANG Xiaohua. Variable Strength Combinatorial Testing Method Based on DCS System Components[J]. Computer Engineering, 2021, 47(9): 178-184.

http://www.ecice06.com/CN/Y2021/V47/I9/178

图/表 10

20210917191519

20210917191523

20210917191526

20210917191530

20210917191534

20210917191538

20210917191655

20210917191659

20210917191705

20210917191711

参考文献

[1] 夏丹阳.核电厂国产化DCS软件验证和确认体系的建立[J].核安全, 2014, 13(3):27-32. XIA D Y.The establishing of V&V system used for domestication DCS software of nuclear power plants[J].Nuclear Safety, 2014, 13(3):27-32.(in Chinese)
[2] 郑骈垚, 钟柏, 马象睿.核电厂DCS软件验证与确认标准体系分析[J].自动化仪表, 2017, 38(3):13-17. ZHENG P Y, ZHONG B, MA X R.Analysis of the standard system for software verification and validation of digital control system in nuclear power plant[J].Process Automation Instrumentation, 2017, 38(3):13-17.(in Chinese)
[3] 严俊, 张健.组合测试:原理与方法[J].软件学报, 2009, 20(6):1393-1405. JUN Y, JIAN Z.Combinatorial testing:principles and methods[J].Journal of Software, 2009, 20(6):1393-1405.(in Chinese)
[4] NIE C, LEUNG H.A survey of combinatorial testing[J].ACM Computing Surveys, 2011, 43(2):1-29.
[5] GRINDAL M, OFFUTT J, ANDLER S F.Combination testing strategies:a survey[J].Software Testing Verification & Reliability, 2010, 15(3):167-199.
[6] MANDL R.Orthogonal latin squares:an application of experiment design to compiler testing[J].Communications of the ACM, 1985, 28(10):1054-1058.
[7] KOBAYASHI N, TSUCHIYA T, KIKUNO T.A new method for constructing pair-wise covering designs for software testing[J].Information Processing Letters, 2002, 81(2):85-91.
[8] 戚荣志, 王志坚, 黄宜华, 等.基于Spark的并行化组合测试用例集生成方法[J].计算机学报, 2018, 41(6):1284-1299. QI R Z, WANG Z J, HUANG Y H, et al.Generating combinatorial test suite with Spark based parallel approach[J].Chinese Journal of Computers, 2018, 41(6):1284-1299.(in Chinese)
[9] 曾梦凡, 陈思洋, 张文茜, 等.利用蚁群算法生成覆盖表:探索与挖掘[J].软件学报, 2016, 27(4):855-878. ZENG M F, CHEN S Y, ZHANG W X, et al.Generating covering arrays using ant colony optimization:exploration and mining[J].Journal of Software, 2016, 27(4):855-878.(in Chinese)
[10] 梁亚澜, 聂长海.覆盖表生成的遗传算法配置参数优化[J].计算机学报, 2012, 35(7):1522-1538. LIANG Y L, NIE C H.The optimization of configurable genetic algorithm for covering arrays generation[J].Chinese Journal of Computers, 2012, 35(7):1522-1538.(in Chinese)
[11] 聂长海, 蒋静.覆盖表生成的可配置贪心算法优化[J].软件学报, 2013, 24(7):55-69. NIE C H, JIANG J.Optimization of configurable greedy algorithm for covering arrays generation[J].Journal of Software, 2013, 24(7):55-69.(in Chinese)
[12] 梁凡, 宋晓秋.基于AETG算法的两两组合测试用例生成方法[J].计算机工程与设计, 2014, 35(11):3850-3854. LIANG F, SONG X Q.Method of generating pair-cover test cases based on AETG algorithm[J].Computer Engineering and Design, 2014, 35(11):3850-3854.(in Chinese)
[13] 李龙澍, 王雅婷.带权值参数的两两组合测试用例集生成算法[J].计算机工程, 2015, 41(4):284-287, 293. LI L S, WANG Y T.Generation algorithm of pairwises combinatorial test case set with weighted parameter[J].Computer Engineering, 2015, 41(4):284-287, 293.(in Chinese)
[14] 黄陇, 杨宇航, 李虎.参数配对及n-way组合覆盖算法研究[J].计算机学报, 2012, 35(2):257-269. HUANG L, YANG Y H, LI H.Research on algorithm of parameter pairwise and n-way combinatorial coverage[J]. Chinese Journal of Computers, 2012, 35(2):257-269.(in Chinese)
[15] COHEN D M, DALAL S R.The AETG system:an approach to testing based on combinatorial design[J].IEEE Transactions on Software Engineering, 1997, 23(7):437-444.
[16] TAI K C, LEI Y.A test generation strategy for pairwise testing[J].IEEE Transactions on Software Engineering, 2002, 28(1):109-111.
[17] KUHN D R, REILLY M J.An investigation of the applicability of design of experiments to software testing[C]//Proceedings of the 27th Annual NASA Goddard/IEEE Software Engineering Workshop.Washington D.C., USA:IEEE Press, 2002:91-95.
[18] KUHN D R, WALLACE D R, GALLO A M.Software fault interactions and implications for software testing[J].IEEE Transactions on Software Engineering, 2004, 30(6):418-421.
[19] BACH J, SCHREODER P J.Pairwise testing:a best practice that isn't[EB/OL].[2020-06-02].http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.159.5244&rep=rep1&type=pdf.
[20] 王子元, 钱巨, 陈林, 等.基于One-test-at-a-time策略的可变力度组合测试用例生成方法[J].计算机学报, 2012, 35(12):113-124. WANG Z Y, QIAN J, CHEN L, et al.Generating variable strength combinatorial test suite with One-test-at-a-time strategy[J].Chinese Journal of Computers, 2012, 35(12):113-124.(in Chinese)
[21] WALLACE D R, KUHN D R.Failure modes in medical device software:an analysis of 15 years of recall data[J].International Journal of Reliability Quality and Safety Engineering, 2001, 8(4):351-371.

选择文件类型/文献管理软件名称

选择包含的内容

基于DCS系统组件的变力度组合测试方法

Variable Strength Combinatorial Testing Method Based on DCS System Components

RichHTML

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

图/表 10

参考文献

相关文章 4

编辑推荐

Metrics

本文评价

[1]	邱洋,王轶骏,薛质. 基于符号执行的Python攻击脚本分析平台[J]. 计算机工程, 2016, 42(11): 139-146.
[2]	刘春宏,徐立华,颜婷,杨宗源. 基于混合测试和动态分析的分段代码测试[J]. 计算机工程, 2015, 41(2): 63-69,80.
[3]	王林, 尤枫, 赵瑞莲. 基于改进遗传算法的面向路径测试数据生成[J]. 计算机工程, 2012, 38(04): 158-160.
[4]	曹洋, 胡春华, 陈少波, 李路明. 一种路径测试数据自动生成方法[J]. 计算机工程, 2011, 37(9): 25-28.

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

基于DCS系统组件的变力度组合测试方法

Variable Strength Combinatorial Testing Method Based on DCS System Components

RichHTML

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

图/表 10

参考文献

相关文章 4

编辑推荐

Metrics

本文评价