Utilize este identificador para referenciar este registo: http://hdl.handle.net/10451/14270
Título: Testing Implementations of Algebraic Specifications with Design-by-Contract Tools
Autor: Nunes, Isabel
Lopes, Antónia
Vasconcelos, Vasco T.
Abreu, João
Reis, Luís S.
Data: Dez-2005
Editora: Department of Informatics, University of Lisbon
Relatório da Série N.º: di-fcul-tr-05-22
Resumo: 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
URI: http://hdl.handle.net/10451/14270
http://repositorio.ul.pt/handle/10455/2968
Aparece nas colecções:FC-DI - Technical Reports

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
05-22.pdf2,04 MBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.