Skip to main content

Model extraction and test generation from JUnit test suites

Seijas, Pablo Lamela and Thompson, Simon and Francisco, Miguel Ángel (2016) Model extraction and test generation from JUnit test suites. In: Proceedings of the 11th International Workshop on Automation of Software Test. ICSE International Conference on Software Engineering . ACM, New York, USA, pp. 8-14. ISBN 978-1-4503-4151-6. (doi:10.1145/2896921.2896927) (KAR id:55751)

PDF Publisher pdf
Language: English

Download (294kB) Preview
[thumbnail of p8-seijas.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL


In this paper we describe how to infer state machine models of systems from legacy unit test suites, and how to generate new tests from those models. The novelty of our approach is to combine control dependencies and data dependencies in the same model, in contrast to most other work in this area. Combining both kinds of dependency helps us to build more expressive models, which in turn allows us to produce smarter tests. We illustrate those techniques with examples from our implementation, the James tool, designed to apply these techniques in practice to Java code and tests.

Item Type: Book section
DOI/Identification number: 10.1145/2896921.2896927
Projects: Projects 317820 not found.
Uncontrolled keywords: model, Unit, Quviq QuickCheck, Erlang, finite state machine, inference, Interoud,VoDKATV, James
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: S. Thompson
Date Deposited: 01 Jun 2016 10:01 UTC
Last Modified: 16 Feb 2021 13:35 UTC
Resource URI: (The current URI for this page, for reference purposes)
Thompson, Simon:
  • Depositors only (login required):