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 - AST '16. , New York, USA pp. 8-14. ISBN 978-1-4503-4151-6. (doi:https://doi.org/10.1145/2896921.2896927) (Full text available)

PDF - Publisher pdf

Creative Commons Licence
This work is licensed under a Creative Commons Attribution 4.0 International License.
Download (294kB) Preview
[img]
Preview
Official URL
http://www.dx.doi.org/10.1145/2896921.2896927

Abstract

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: Conference or workshop item (Paper)
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,
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Simon Thompson
Date Deposited: 01 Jun 2016 10:01 UTC
Last Modified: 28 Sep 2016 13:52 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/55751 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year