Testing Implementations of Algebraic Specifications with Design-by-Contract Tools

Publication

dc.contributor.author	Nunes, Isabel	por
dc.contributor.author	Lopes, Antónia	por
dc.contributor.author	Vasconcelos, Vasco T.	por
dc.contributor.author	Abreu, João	por
dc.contributor.author	Reis, Luís S.	por
dc.date.accessioned	2009-02-10T13:11:50Z	por
dc.date.accessioned	2014-11-14T16:24:16Z
dc.date.available	2009-02-10T13:11:50Z	por
dc.date.available	2014-11-14T16:24:16Z
dc.date.issued	2005-12	por
dc.description.abstract	We present an approach for testing Java implementations of abstract data types (ADTs) against their specifications. The key idea is to reduce this problem to the run-time monitoring of contract annotated classes, which is supported today by several runtime assertion-checking tools. The approach comprises an ADT specification language that allows automatic generation of monitorable contracts and a refinement language that supports the specification of the details of object-oriented implementations of ADTs	por
dc.identifier.uri	http://hdl.handle.net/10451/14270	por
dc.identifier.uri	http://repositorio.ul.pt/handle/10455/2968	por
dc.language.iso	por	por
dc.publisher	Department of Informatics, University of Lisbon	por
dc.relation.ispartofseries	di-fcul-tr-05-22	por
dc.title	Testing Implementations of Algebraic Specifications with Design-by-Contract Tools	por
dc.type	report
dspace.entity.type	Publication
rcaap.rights	openAccess	por
rcaap.type	report	por

Files

Now showing 1 - 1 of 1