A dynamic stochastic model for automatic grammar-based test generation | |
Guo, Hai-Feng ; Qiu, Zongyan | |
2015 | |
关键词 | grammar-based test generation software testing fault localization PROGRAMS IMPLEMENTATION STRATEGY |
英文摘要 | Grammar-based test generation provides a systematic approach to producing test cases from a given context-free grammar. Unfortunately, naive grammar-based test generation is problematic because of the fact that exhaustive random test case production is often explosive, and grammar-based test generation with explicit annotation controls often causes unbalanced testing coverage. In this paper, we present an automatic grammar-based test generation approach, which takes a symbolic grammar as input, requires zero control input from users, and produces well-distributed test cases. Our approach utilizes a novel dynamic stochastic model where each variable is associated with a tuple of probability distributions, which are dynamically adjusted along the derivation. We further present a coverage tree illustrating the distribution of generated test cases and their detailed derivations. More importantly, the coverage tree supports various implicit derivation control mechanisms. We implemented this approach in a Java-based system, named Gena. Each test case generated by Gena automatically comes with a set of structural features, which can play an important and effective role on automated failure causes localization. Experimental results demonstrate the effectiveness of our approach, the well-balanced distribution of generated test cases over grammatical structures, and a case study on grammar-based failure causes localization. Copyright (C) 2014 John Wiley & Sons, Ltd.; SCI(E); EI; ARTICLE; haifengguo@unomaha.edu; 11; 1519-1547; 45 |
语种 | 英语 |
出处 | SCI ; EI |
出版者 | SOFTWARE-PRACTICE & EXPERIENCE |
内容类型 | 其他 |
源URL | [http://hdl.handle.net/20.500.11897/415446] |
专题 | 数学科学学院 |
推荐引用方式 GB/T 7714 | Guo, Hai-Feng,Qiu, Zongyan. A dynamic stochastic model for automatic grammar-based test generation. 2015-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论