Result: Automated boundary test generation from JML specifications

Title:
Automated boundary test generation from JML specifications
Authors:
BOUQUET, Fabrice, DADEAU, Frédéric, LEGEARD, Bruno
Source:
FM 2006 (formal methods)Lecture notes in computer science. :428-443
Publisher Information:
Berlin: Springer, 2006.
Publication Year:
2006
Physical Description:
print, 21 ref 1
Original Material:
INIST-CNRS
Subject Terms:
Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Logiciel, Software, Génie logiciel, Software engineering, Dénomination, Naming, Denominación, Héritage, Inheritance, Herencia, Langage JAVA, JAVA language, Lenguaje JAVA, Langage modélisation, Modelling language, Lenguaje modelización, Modélisation, Modeling, Modelización, Méthode formelle, Formal method, Método formal, Problème valeur limite, Boundary value problem, Problema valor limite, Programmation logique avec contrainte, Constraint logic programming, Programación lógica con restricción, Raisonnement basé sur cas, Case based reasoning, Razonamiento fundado sobre caso, Validation, Validación, Vérification programme, Program verification, Verificación programa, Génération test, Test generation, Generación prueba
Document Type:
Conference Conference Paper
File Description:
text
Language:
English
Author Affiliations:
Laboratoire d'Informatique (LIFC) Université de Franche-Comté, CNRS -INRIA 16, route de Gray, 25030 Besançon, France
ISSN:
0302-9743
Access URL:
http://pascal-francis.inist.fr/vibad/index.php?action=search&terms=19152245
Rights:
Copyright 2007 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.19152245
Database:
PASCAL Archive

Further Information

We present an original approach for the automated computation of model-based test cases from specifications written in Java Modeling Language (JML). We aim at activating all the behaviors from the JML method specifications. Therefore, we extract each behavior and we compute the pertinent test data for the input parameters; we select the boundary values of the ordered domains, and we consider specific features for the objects, involving inheritance and aliasing. Finally, a preamble for each test case is computed by symbolic animation of the JML specification using constraint logic programming techniques. Thus, we are able to automatically generate executable Java test sequences to be run on the system under test. Moreover, this process requires the less possible intervention from a validation engineer.