Model extraction and test generation from JUnit test suites

Seijas, Pablo Lamela and Thompson, Simon and Francisco, Miguel Ángel (2018) Model extraction and test generation from JUnit test suites. Software Quality Journal, . ISSN 0963-9314. E-ISSN 1573-1367. (doi:https://doi.org/10.1007/s11219-017-9399-x) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

PDF - Author's Accepted Manuscript
Restricted to Repository staff only until 9 March 2019.
Contact us about this Publication Download (855kB)
[img]
PDF - Publisher pdf
Restricted to Repository staff only
Contact us about this Publication Download (2MB)
[img]
Official URL
https://doi.org/10.1007/s11219-017-9399-x

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 dependencies helps us to build more expressive models, which in turn allows us to produce smarter tests. We illustrate those techniques with real examples produced by our implementation, the James tool, designed to apply these techniques in practice to Java code and tests.

Item Type: Article
Uncontrolled keywords: Model inference, JUnit, Test generation, Property inference, Web services, Property-based testing, James, QuickCheck
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
Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Simon Thompson
Date Deposited: 09 Mar 2018 17:21 UTC
Last Modified: 20 Aug 2018 09:44 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/66343 (The current URI for this page, for reference purposes)
Thompson, Simon: https://orcid.org/0000-0002-2350-301X
  • Depositors only (login required):

Downloads

Downloads per month over past year