Trace-Based Code Generation for Model-Based Testing

Report (2009)
Department
Software Computer Technology (EEMCS) (TU Delft)
Copyright: Software Technology, Faculty of Electrical Engineering, Mathematics and Computer Science, Delft University of Technology. All rights reserved. No part of this series may be reproduced in any form or by any means without prior written permission of the authors.
More Info
expand_more

Published Date

31-12-2009

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Source:

Technical Report Series TUD-SERG-2009-017

Faculty

Electrical Engineering, Mathematics and Computer Science

Department

Software Computer Technology

Abstract

Paper Submitted for review at the Eighth International Conference on Generative Programming and Component Engineering. Model-based testing can be a powerful means to generate test cases for the system under test. However, creating a useful model for model-based testing requires expertise in the (formal) modeling language of the used tool and the general concept of modeling the system under test for effective test generation. A commonly used modeling notation is to describe the model through an existing programming language. This paper presents a technique to automatically generate an initial model describing the system from execution traces, using a common programming language notation. Turning this initial model into a full model to be used for model-based testing of the system under test then requires minimal effort compared to writing a model from scratch. This is illustrated by a case study application to a software component, which revealed real faults in its implementation.