基于故障传播路径覆盖的软件测试
Software Testing Based on the Fault Propagation Path Coverage
DOI: 10.12677/CSA.2019.99192, PDF,    科研立项经费支持
作者: 曹志钦*, 王轶辰:北京航空航天大学可靠性与环境工程国防重点实验室,北京;王 坤:中国航天科工集团第三研究院,北京
关键词: 关联缺陷故障传播路径测试用例生成改进的模拟退火算法(ISAA)Correlated Defects Fault Propagation Paths Test Case Generation Improved Simulated Annealing Algorithm (ISAA)
摘要: 关联缺陷具有不确定性,现有的一些软件测试方法与测试策略难以发现此类缺陷。本文提出了一种面向故障传播路径覆盖的软件测试方法,该方法在分析经验与历史数据的基础上,对缺陷特征和类型进行推测和归纳,从而培育出能够诱发这些缺陷的种子缺陷,并将其注入到软件代码中。通过设计算法,找到能够激活这些种子缺陷的测试用例,再以得到的测试用例作为输入,激活缺陷并覆盖其传播路径。最终在传播路径上发现潜在的关联缺陷。
Abstract: The correlated defects are uncertain, and some existing software testing technique and strategies are difficult to find such defects. This paper proposes a software testing technique for fault propagation path coverage. Based on the analysis of empirical and historical data, this method speculates and generalizes the defect characteristics and types, thereby cultivating seed defects that can induce these defects. It is injected into the software code by designing the algorithm, to find test cases that can activate these seed defects, and then use the resulting test cases as input to activate the defects and cover their propagation paths. It was eventually discovered that potentially associated defects were found on the propagation path.
文章引用:曹志钦, 王轶辰, 王坤. 基于故障传播路径覆盖的软件测试[J]. 计算机科学与应用, 2019, 9(9): 1716-1723. https://doi.org/10.12677/CSA.2019.99192

参考文献

[1] Katerina, G.P. and Trivedi, K.S. (2000) Failure Correlation in Software Reliability Models. IEEE Transactions on Relia-bility, 49, 37-48. [Google Scholar] [CrossRef
[2] Chen, S. and Mills, S. (1996) A Binary Markov Process Model for Random Testing. IEEE Transactions on Software Engineering, 22, 218-223. [Google Scholar] [CrossRef
[3] Bishop, P.G. and Pullen, F.D. (1988) PODS Revisited—A Study of Soft-ware Failure Behavior. International Symposium on Fault-Tolerant Computing, Tokio, 1-8.
[4] Sahinoglu, M. (2003) An Empirical Bayesian Stopping Rule in Testing and Verification of Behavioral Models. IEEE Transactions on Instru-mentation and Measurement, 52, 1428-1443. [Google Scholar] [CrossRef
[5] 景涛, 江昌海, 胡德斌, 等. 软件关联缺陷的一种检测方法[J]. 软件学报, 2005, 16(1): 17-28.
[6] 刘新忠. 关联缺陷及其应用研究[D]: [博士学位论文]. 长春: 吉林大学, 2010.
[7] 宋想, 宋晓秋. 基路径覆盖测试用例自动生成方法研究[J]. 计算机工程与设计, 2013, 34(8): 2759-2763.
[8] 李果, 高建民, 高智勇, 等. 基于小世界网络的复杂系统故障传播模型[J]. 西安交通大学学报, 2007, 41(3): 334-338.
[9] Wang, K., Wang, Y. and Zhang, L. (2015) Software Testing Method Based on Improved Simulated Annealing Algorithm. International Conference on Reliability, Guangzhou, 6-8 August 2014. [Google Scholar] [CrossRef
[10] 北京旋极信息技术有限公司软件测试培训中心. 软件复杂度概述[J]. 今日电子, 2001(12): 38-40.
[11] Lan, W., Zhou, K., Feng, J., et al. (2010) Research on Software Cascad-ing Failures. International Conference on Multimedia Information Networking & Security, Nanjing, 4-6 November 2010. [Google Scholar] [CrossRef