.png){kind=icon}
返回
Generating semantically valid test inputs using constrained input grammars
.png){kind=icon}
PRE
AI
DOI：10.1016/j.infsof.2014.09.007.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Context: Generating test cases based on software input interface is a black-box testing technique that can be made more effective by using structured input models such as input grammars. Automatically generating grammar-based test inputs may lead to structurally valid but semantically invalid inputs that may be rejected in early semantic error checking phases of a system under test. Objective: This paper aims to introduce a method for specifying a grammar-based input model with the model's semantic constraints to be used in the generation of positive test inputs. It is also important that the method can generate effective test suites based on appropriate grammar-based coverage criteria. Method: Formal specification of both input structure and input semantics provides the opportunity to use model instantiation techniques to create model instances that satisfy all specified constraints. The input interface of a subject system can be specified using a high-level specification scheme such as attribute grammars, and a transformation function from this scheme to an instantiable formal modeling language can generate the desired model instances. Results: We propose a declarative grammar-based input specification method that is based on a variation of attribute grammars and allows the user to specify input constraints in addition to input structure. The model can be instantiated automatically to generate structurally and semantically valid test inputs. The proposed method has the capability to specify test requirements and coverage criteria and use them to generate valid test suites that satisfy test coverage criteria requirements. Conclusion: The work presented in this paper provides a black-box test generation method for grammar-based software inputs that can automatically generate criteria-covering test suites. (C) 2014 Elsevier B.V. All rights reserved.
Keyword:
Software testing
Test input generation
Grammar-basqd software
Test coverage criteria
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.3
论文数:
3.8K
被引数:
7.7K
机构
引用论文
Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based software分析规则覆盖作为基于语法的软件测试套件的减少标准的有效性
PREAI
分享收藏Hydrogen production in single-chamber microbial electrolysis cells using Ponceau S dye.png)
3 Biotech
OAAI
3 BiotechIF0
OAAI分享收藏
分享收藏分享收藏The Professional Medical Ethics Model of Decision Making Under Conditions of Clinical Uncertainty
PREAI
分享收藏 没有更多内容
没有更多内容