[go: up one dir, main page]

Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Software Engineering 2008, Fachtagung des GI-Fachbereichs Softwaretechnik, 18. - 22.02.2008 in Muenchen P-121, 229-241 (2008).

Gesellschaft fuer Informatik, Bonn
2008


Editors

Korbinian Herrmann (ed.), Bernd Bruegge (ed.)


Copyright © Gesellschaft fuer Informatik, Bonn

Contents

Combining structural and functional test case generation

Christian Pfaller and Markus Pister

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 ”interesting” 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 specifications. 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: structural 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 parameters the tester is able to influence the functional focus of the generated tests.


Full Text: PDF

Gesellschaft fuer Informatik, Bonn
ISBN 978-3-88579-215-4


Last changed 04.10.2013 18:16:17