Paper Info
Title
Checking the conformance of java classes against algebraic specifications
Abstract
We present and evaluate an approach for the run-time conformance checking of Java classes against property-driven algebraic specifications. Our proposal consists in determining, at run-time, whether the classes subject to analysis behave as required by the specification. The key idea is to reduce the conformance checking problem to the runtime monitoring of contract-annotated classes, a process supported today by several runtime assertion-checking tools. Our approach comprises a rather conventional specification language, a simple language to map specifications into Java types, and a method to automatically generate monitorable classes from specifications, allowing for a simple, but effective, runtime monitoring of both the specified classes and their clients.
Year
DOI
Venue
2006
10.1007/11901433_27
ICFEM
Keywords
Field
DocType
runtime monitoring,conformance checking problem,java class,key idea,conventional specification language,contract-annotated class,property-driven algebraic specification,java type,simple language,run-time conformance checking,software development,formal specification,design by contract,software systems,data structure,test oracle,specification language
Specification language,Algebraic specification,Algebraic number,Programming language,Computer science,Conformance checking,Formal methods,Java,Software development,Primitive data type
Conference
Volume
ISSN
ISBN
4260
0302-9743
3-540-47460-9
Citations 
PageRank 
References 
11
0.70
9
Authors
5
Name
Order
Citations
PageRank
Isabel Nunes1202.98
Antónia Lopes269752.57
Vasco Vasconcelos3231.97
João Abreu4623.33
Luís S. Reis5110.70