loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Martin Weiglhofer and Franz Wotawa

Affiliation: Institute for Software Technology, Graz University of Technology, Austria

ISBN: 978-989-8111-28-9

Keyword(s): Formal Methods, Evaluation, Input/Output Conformance (ioco), Random Testing, Test Purposes, Fault-based Testing, TGV, TorX.

Related Ontology Subjects/Areas/Topics: Formal Methods ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

Abstract: Given a formal model of a system under test there are different strategies for deriving test cases from such a model systematically. These strategies are based on different underlying testing objectives and concepts. Obviously, their usage has impact on the generated test cases. In this paper we evaluate random, scenario-based and fault-based test case generation strategies in the context of an industrial application and assess the advantages and disadvantages of these three strategies. The derived test cases are evaluated in terms of coverage and in terms of the detected errors on a commercial and on an open source implementation of the Voice-Over-IP Session Initiation Protocol.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.91.106.44

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Weiglhofer M.; Wotawa F. and (2008). RANDOM VS. SCENARIO-BASED VS. FAULT-BASED TESTING - An Industrial Evaluation of Formal Black-Box Testing Methods.In Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8111-28-9, pages 115-122. DOI: 10.5220/0001764501150122

@conference{enase08,
author={Martin Weiglhofer and Franz Wotawa},
title={RANDOM VS. SCENARIO-BASED VS. FAULT-BASED TESTING - An Industrial Evaluation of Formal Black-Box Testing Methods},
booktitle={Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2008},
pages={115-122},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001764501150122},
isbn={978-989-8111-28-9},
}

TY - CONF

JO - Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - RANDOM VS. SCENARIO-BASED VS. FAULT-BASED TESTING - An Industrial Evaluation of Formal Black-Box Testing Methods
SN - 978-989-8111-28-9
AU - Weiglhofer, M.
AU - Wotawa, F.
PY - 2008
SP - 115
EP - 122
DO - 10.5220/0001764501150122

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.