Paper Info
Title
Combining Structural and Functional Test Case Generation
Abstract
Model-based testing uses a test model which defines in general an infinite set of correct system runs. The task for the test case generator is to select an "interest- ing" subset of all the traces. The way this subset is chosen is defined by the test case specification. Two types are widely used: structural or functional test case specifica- tions. The first is given in terms over the model elements, the later is derived from the underlying system requirements. Whereas structural criteria are easily applicable to any model and support fully automation, functional specifications need more manual definition but are closer to the users' requirements. In this paper we propose a method which combines advantages of both: struc- tural criteria and functional test case specification. Especially it supports automation in large parts but focuses on the users' requirements as well. Furthermore the method provides an easy and flexible adjustment to project-specific needs. By setting up pa- rameters the tester is able to influence the functional focus of the generated tests. Key ideas of the method are a classification and weighting of requirements and the selection of test cases only from parts of the original model: For every requirement a sub-model is selected that is defined by the requirement and the weighting of the requirements' class.
Year
Venue
Keywords
2008
Software Engineering
functional testing,model based testing
Field
DocType
Citations 
Weighting,Computer science,Automation,Infinite set,Test case generator,Test case,System requirements,Functional specification,Reliability engineering
Conference
2
PageRank 
References 
Authors
0.39
9
2
Name
Order
Citations
PageRank
Christian Pfaller1624.90
Markus Pister217110.84