JML-testing-tools: A symbolic animator for JML specifications using CLP

Fabrice Bouquet; Frederic Dadeau; Bruno Legeard; Mark Utting

doi:10.1007/978-3-540-31980-1_37

Back

JML-testing-tools: A symbolic animator for JML specifications using CLP

Book chapter

Peer reviewed

JML-testing-tools: A symbolic animator for JML specifications using CLP

Fabrice Bouquet, Frederic Dadeau, Bruno Legeard and Mark Utting

Tools and Algorithms for the Construction and Analysis of Systems, pp.551-556

Tools and Algorithms for Construction and Analysis of Systems International Conference, 11th (Edinburgh, United Kingdom, 04-Apr-2005–08-Apr-2005)

Lecture Notes in Computer Science (LNCS), 3440, Springer Berlin Heidelberg

2005

DOI: https://doi.org/10.1007/978-3-540-31980-1_37

Files and links (1)

url

https://doi.org/10.1007/978-3-540-31980-1_37View

Published Version

Abstract

java modeling language

model-based

object-oriented

symbolic animation

animation

automata theory

computer simulation

constraint theory

logic programming

mathematical models

object oriented programming

problem solving

This paper describes a tool for symbolically animating JML specifications using Constraint Logic Programming. A customized solver handles constraints that represent the value of instance fields. We have extended a model-based approach to be able to handle object-oriented specifications. Our tool is also able to check properties during the simulation and exhibit counter-examples for false properties. Therefore, it can be used both for semi-automated verification and for validation purposes. © Springer-Verlag Berlin Heidelberg 2005.

Details

Title: JML-testing-tools: A symbolic animator for JML specifications using CLP
Authors: Fabrice Bouquet (Author) - Université de Franche-Comté, France
Frederic Dadeau (Author) - Université de Franche-Comté, France
Bruno Legeard (Author) - Université de Franche-Comté, France
Mark Utting (Author) - Université de Franche-Comté, France
Contributors: N Halbwachs (Editor)
L D Zuck (Editor)
Publication details: Tools and Algorithms for the Construction and Analysis of Systems, pp.551-556
Conference details: Tools and Algorithms for Construction and Analysis of Systems International Conference, 11th (Edinburgh, United Kingdom, 04-Apr-2005–08-Apr-2005)
Series: Lecture Notes in Computer Science (LNCS); 3440
Publisher: Springer Berlin Heidelberg
Date published: 2005
DOI: 10.1007/978-3-540-31980-1_37
ISBN: 9783540253334
Organisation Unit: School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
Language: English
Record Identifier: 99448754502621
Output Type: Book chapter

Metrics

2 File views/ downloads

1406 Record Views