基于改进Z-路径覆盖提高测试充分性的方法  

Method for Improving Test Sufficiency based on Improved Z-path Coverage

作　　者：张晓玮 祝宇 晏海华[1] Zhang Xiaowei;Zhu Yu;Yan Haihua(School of Computer Science and Engineering,Beihang University,Beijing 100191,China;96901 units,The Chinese People's Liberation Army,Beijing 100095,China)

机构地区：[1]北京航空航天大学计算机学院,北京100191 [2]中国人民解放军96901部队,北京100095

出　　处：《质量与可靠性》2020年第3期62-66,共5页Quality and Reliability

摘　　要：单元测试是软件质量保证的重要技术方法,也是安全关键软件测试中必不可少的重要环节。介绍了传统单元测试方法中覆盖程度较高的Z-路径覆盖,通过程序实例和理论分析,对Z-路径覆盖在对循环的测试中出现的问题进行分析,证实了传统Z-路径覆盖可能存在的缺陷,并在此基础上提出一种改进的Z-路径覆盖准则,给出了相应的测试用例补充方法,以保证测试用例的充分性。此外还提出了一种检测未覆盖出口的方法,进一步提高和保证单元测试的充分性。最后,对相关工作进行了总结和展望。Unit testing is an important technical method for software quality assurance and an essential part of safety critical software testing.This paper introduces the Z-path coverage with high coverage in the traditional unit test method.Through the program examples and theoretical analyses,the Z-path coverage is analyzed in the test of the loop and the traditional Z-path coverage existed possibly.Based on this,an improved Z-path coverage criterion is proposed,and corresponding test case supplement methods are given to ensure the adequacy of test cases.In addition,we also propose a method for detecting the uncovered exit and give a concrete implementation algorithm of the control flow structure diagram of the text form program,which helps to find the uncovered exit,thereby further improving and guaranteeing the adequacy of unit test.Finally,the related work of this paper is summarized and other possible methods to further improve the adequacy of software testing are prospected.

关 键 词：单元测试 Z-路径覆盖 测试充分性 测试用例 覆盖分析 

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