To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Testing Meets Static and … - University of Gothenburg, Sweden Till startsida
To content Read more about how we use cookies on

Testing Meets Static and Runtime Verification

Conference paper
Authors Jesus Mauricio Chimento
Wolfgang Ahrendt
Gerardo Schneider
Published in 6th Conference on Formal Methods in Software Engineering (FormaliSE@ICSE'18), pages 30-39. ACM
ISBN 978-1-4503-5718-0
ISSN 02705257
Publisher ACM
Publication year 2018
Published at Department of Computer Science and Engineering, Computing Science (GU)
Language en
Keywords Java, Runtime Verification, Static Verification, Test driven development
Subject categories Computer Science


© 2018 Association for Computing Machinery. Test driven development (TDD) is a technique where test cases are used to guide the development of a system. This technique introduces several advantages at the time of developing a system, e.g. writing clean code, good coverage for the features of the system, and evolutionary development. In this paper we show how the capabilities of a testing focused development methodology based on TDD and model-based testing, can be enhanced by integrating static and runtime verification into its workflow. Considering that the desired system properties capture data- as well as control-oriented aspects, we integrate TDD with (static) deductive verification as an aid in the development of the data-oriented aspects, and we integrate model-based testing with runtime verification as an aid in the development of the control-oriented aspects. As a result of this integration, the proposed development methodology features the benefits of TDD and model-based testing, enhanced with, for instance, early detection of bugs which may be missed by TDD, regarding data aspects, and the validation of the overall system with respect to the model, regarding the control aspects.

Page Manager: Webmaster|Last update: 9/11/2012

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?