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

Detalhes bibliográficos
Autor(a) principal: Nunes, Isabel
Data de Publicação: 2005
Outros Autores: Lopes, Antónia, Vasconcelos, Vasco T., Abreu, João, Reis, Luís S.
Tipo de documento: Relatório
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10451/14270
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
id RCAP_3c9a1e66eeb4ebed5172fbcb114cdfd7
oai_identifier_str oai:repositorio.ul.pt:10451/14270
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Testing Implementations of Algebraic Specifications with Design-by-Contract ToolsWe 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 ADTsDepartment of Informatics, University of LisbonRepositório da Universidade de LisboaNunes, IsabelLopes, AntóniaVasconcelos, Vasco T.Abreu, JoãoReis, Luís S.2009-02-10T13:11:50Z2005-122005-12-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/reportapplication/pdfhttp://hdl.handle.net/10451/14270porinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-11-08T15:59:58Zoai:repositorio.ul.pt:10451/14270Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:36:05.091502Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Testing Implementations of Algebraic Specifications with Design-by-Contract Tools
title Testing Implementations of Algebraic Specifications with Design-by-Contract Tools
spellingShingle Testing Implementations of Algebraic Specifications with Design-by-Contract Tools
Nunes, Isabel
title_short Testing Implementations of Algebraic Specifications with Design-by-Contract Tools
title_full Testing Implementations of Algebraic Specifications with Design-by-Contract Tools
title_fullStr Testing Implementations of Algebraic Specifications with Design-by-Contract Tools
title_full_unstemmed Testing Implementations of Algebraic Specifications with Design-by-Contract Tools
title_sort Testing Implementations of Algebraic Specifications with Design-by-Contract Tools
author Nunes, Isabel
author_facet Nunes, Isabel
Lopes, Antónia
Vasconcelos, Vasco T.
Abreu, João
Reis, Luís S.
author_role author
author2 Lopes, Antónia
Vasconcelos, Vasco T.
Abreu, João
Reis, Luís S.
author2_role author
author
author
author
dc.contributor.none.fl_str_mv Repositório da Universidade de Lisboa
dc.contributor.author.fl_str_mv Nunes, Isabel
Lopes, Antónia
Vasconcelos, Vasco T.
Abreu, João
Reis, Luís S.
description 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
publishDate 2005
dc.date.none.fl_str_mv 2005-12
2005-12-01T00:00:00Z
2009-02-10T13:11:50Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/report
format report
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10451/14270
url http://hdl.handle.net/10451/14270
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Department of Informatics, University of Lisbon
publisher.none.fl_str_mv Department of Informatics, University of Lisbon
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799134259402768384

Registros relacionados