Using JULE to generate a compliance test suite for the UML standard

Panuchart Bunyakiati, Anthony Finkelstein, James Skene, Clovis Chapman

Abstract

The Java-UML Lightweight Enumerator (JULE) tool implements a vitally important aspect of the framework for software tool certification- test suite generation. The framework uses UML models as the test inputs for the bounded exhaustive-testing approach. Within a size bound for the metamodel types, JULE enumerates only the set of non-isomorphic models in the form of relational structures. These models are classified into two sets- demonstration and counterexample- using Binary Decision Diagrams (BDDs). The power of JULE lies in its model enumeration and its use of a high-performance grid infrastructure. Hence, JULE efficiently generates a very small test suite while increasing the bound on the input size to the extent that is practical for certification purpose.

BibTeX

@inproceedings{Bunyakiati-al:ICSE08,
  author    = {Panuchart Bunyakiati and
               Anthony Finkelstein and
               James Skene and
               Clovis Chapman},
  title     = {Using {JULE} to generate a compliance test suite for the {UML} standard},
  booktitle = {ICSE},
  pages     = {827--830},
  publisher = {{ACM}},
  year      = {2008},
}

Using JULE to generate a compliance test suite for the UML standard

Abstract

Related papers