基于任务剖面的指挥信息系统测试充分性研究  

Research on Test Adequacy of Command Information System Based on Mission Profile

作　　者：杨萍[1] 吴振宇 龙刚[2] 杨华晖 杨竣铎 刘鹏辉 牛颖蓓 YANG Ping;WU Zhenyu;LONG Gang;YANG Huahui;YANG Junduo;LIU Penghui;NIU Yingbei(Beijing Institute of Tracking and Telecommunications Technology,Beijing 100094,China;The 32nd Research Institute of China Electronics Technology Group Corporation,Shanghai 201808,China)

机构地区：[1]北京跟踪与通信技术研究所,北京100094 [2]中国电子科技集团公司第三十二研究所,上海201808

出　　处：《计算机工程》2023年第7期295-304,共10页Computer Engineering

基　　金：国家部委基金。

摘　　要：现有的基于代码覆盖和功能覆盖的软件测试充分性评价方法,能够满足嵌入式软件或小规模信息系统软件的测试充分性评价要求,但由于指挥信息系统具有规模大、用户多、任务多样且复杂性高等特点,从代码覆盖和功能覆盖的角度难以做到对测试充分性的有效衡量和全面评价。提出一种基于任务剖面的指挥信息系统测试充分性评价方法,通过分析指挥信息系统的使用场景和业务需求构建任务剖面,根据马尔可夫链理论研究任务剖面相关特性和梳理任务状态间的时序交互关系,建立基于任务剖面和系统特征状态的测试仿真模型,通过构建基于系统特征状态、迁移边和变量空间等维度的测试充分性评价指标体系,采用模糊综合评价方法实现测试仿真模型的测试充分性量化评价。以文电传输下发为对象进行实例验证,结果表明,测试路径概率乘积最高的13条测试序列即可达到测试充分性为非常充分的评价结果,相较于测试仿真模型识别出的89条测试序列,执行的测试序列规模下降85%以上,实现了测试效率和测试充分性的平衡。Existing software test adequacy evaluation methods based on code and function coverages can meet the test adequacy evaluation requirements of embedded software or small-scale information system software.However,because of the large scale,multiple users,diverse tasks,and high complexity of the command information system,effectively measuring and comprehensively evaluating test adequacy from the perspective of code and function coverages can be difficult.In this study,a method for evaluating the sufficiency of command information system testing based on the mission profile is proposed.The mission profile is constructed by analyzing the use scenarios and business requirements of the command information system.Markov chain theory is used to study the relevant characteristics of the mission profile and comb the temporal interaction between task states.A test simulation model based on the mission profile and system characteristic state is established and the fuzzy comprehensive evaluation method is used to quantitatively evaluate its test adequacy.With message transmission and distribution taken as an example,the results show that the 13 test sequences with the highest test path probability product can achieve the test adequacy as a very sufficient evaluation result.Compared with the 89 test sequences identified using the test simulation model,the scale of the test sequence executed decreases by more than 85%,realizing a balance between test efficiency and test adequacy.

关 键 词：任务剖面 指挥信息系统 测试充分性 马尔可夫链 模糊综合评价 

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