Component assessment using testing
- Autores
- Sánchez, Marisa; Estévez, Elsa Clara; Fillottrani, Pablo Rubén
- Año de publicación
- 2001
- Idioma
- inglés
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- In the last years software researchers have been looking for ways of assembling systems in a style of software construction similar to “LEGO blocks”. Software components are reusable building blocks for constructing software systems. Component-based development may greatly increase the productivity of software engineers and improve the quality of software. There are many issues related with components that are of wide interest both to academics and people from industry. One of them is the retrieval of components that will be assembled into a new system. It is difficult to decide whether an implementation fits on a predefined design. In this work, we consider the problem of assessing that the implementation of a concrete component is consistent with the specification of the desired functionality. We assume that the component source code is not available and we have a formal specification of the system of interest. We propose to perform a dynamic assessment using tests derived from the specification (semantic criteria) but executed using the implementation of the candidate component.
Eje: Ingeniería de software
Red de Universidades con Carreras en Informática (RedUNCI) - Materia
-
Ciencias Informáticas
SOFTWARE ENGINEERING
Software libraries
component retrieval
reusable software
testing
algebraic specifications - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
.jpg)
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/23259
Ver los metadatos del registro completo
| id |
SEDICI_e7f6601c1fee91589fce063f42f0ce40 |
|---|---|
| oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/23259 |
| network_acronym_str |
SEDICI |
| repository_id_str |
1329 |
| network_name_str |
SEDICI (UNLP) |
| spelling |
Component assessment using testingSánchez, MarisaEstévez, Elsa ClaraFillottrani, Pablo RubénCiencias InformáticasSOFTWARE ENGINEERINGSoftware librariescomponent retrievalreusable softwaretestingalgebraic specificationsIn the last years software researchers have been looking for ways of assembling systems in a style of software construction similar to “LEGO blocks”. Software components are reusable building blocks for constructing software systems. Component-based development may greatly increase the productivity of software engineers and improve the quality of software. There are many issues related with components that are of wide interest both to academics and people from industry. One of them is the retrieval of components that will be assembled into a new system. It is difficult to decide whether an implementation fits on a predefined design. In this work, we consider the problem of assessing that the implementation of a concrete component is consistent with the specification of the desired functionality. We assume that the component source code is not available and we have a formal specification of the system of interest. We propose to perform a dynamic assessment using tests derived from the specification (semantic criteria) but executed using the implementation of the candidate component.Eje: Ingeniería de softwareRed de Universidades con Carreras en Informática (RedUNCI)2001-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/23259enginfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:28:11Zoai:sedici.unlp.edu.ar:10915/23259Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:28:12.187SEDICI (UNLP) - Universidad Nacional de La Platafalse |
| dc.title.none.fl_str_mv |
Component assessment using testing |
| title |
Component assessment using testing |
| spellingShingle |
Component assessment using testing Sánchez, Marisa Ciencias Informáticas SOFTWARE ENGINEERING Software libraries component retrieval reusable software testing algebraic specifications |
| title_short |
Component assessment using testing |
| title_full |
Component assessment using testing |
| title_fullStr |
Component assessment using testing |
| title_full_unstemmed |
Component assessment using testing |
| title_sort |
Component assessment using testing |
| dc.creator.none.fl_str_mv |
Sánchez, Marisa Estévez, Elsa Clara Fillottrani, Pablo Rubén |
| author |
Sánchez, Marisa |
| author_facet |
Sánchez, Marisa Estévez, Elsa Clara Fillottrani, Pablo Rubén |
| author_role |
author |
| author2 |
Estévez, Elsa Clara Fillottrani, Pablo Rubén |
| author2_role |
author author |
| dc.subject.none.fl_str_mv |
Ciencias Informáticas SOFTWARE ENGINEERING Software libraries component retrieval reusable software testing algebraic specifications |
| topic |
Ciencias Informáticas SOFTWARE ENGINEERING Software libraries component retrieval reusable software testing algebraic specifications |
| dc.description.none.fl_txt_mv |
In the last years software researchers have been looking for ways of assembling systems in a style of software construction similar to “LEGO blocks”. Software components are reusable building blocks for constructing software systems. Component-based development may greatly increase the productivity of software engineers and improve the quality of software. There are many issues related with components that are of wide interest both to academics and people from industry. One of them is the retrieval of components that will be assembled into a new system. It is difficult to decide whether an implementation fits on a predefined design. In this work, we consider the problem of assessing that the implementation of a concrete component is consistent with the specification of the desired functionality. We assume that the component source code is not available and we have a formal specification of the system of interest. We propose to perform a dynamic assessment using tests derived from the specification (semantic criteria) but executed using the implementation of the candidate component. Eje: Ingeniería de software Red de Universidades con Carreras en Informática (RedUNCI) |
| description |
In the last years software researchers have been looking for ways of assembling systems in a style of software construction similar to “LEGO blocks”. Software components are reusable building blocks for constructing software systems. Component-based development may greatly increase the productivity of software engineers and improve the quality of software. There are many issues related with components that are of wide interest both to academics and people from industry. One of them is the retrieval of components that will be assembled into a new system. It is difficult to decide whether an implementation fits on a predefined design. In this work, we consider the problem of assessing that the implementation of a concrete component is consistent with the specification of the desired functionality. We assume that the component source code is not available and we have a formal specification of the system of interest. We propose to perform a dynamic assessment using tests derived from the specification (semantic criteria) but executed using the implementation of the candidate component. |
| publishDate |
2001 |
| dc.date.none.fl_str_mv |
2001-10 |
| dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
| format |
conferenceObject |
| status_str |
publishedVersion |
| dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/23259 |
| url |
http://sedici.unlp.edu.ar/handle/10915/23259 |
| dc.language.none.fl_str_mv |
eng |
| language |
eng |
| dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
| eu_rights_str_mv |
openAccess |
| rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
| dc.format.none.fl_str_mv |
application/pdf |
| dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
| reponame_str |
SEDICI (UNLP) |
| collection |
SEDICI (UNLP) |
| instname_str |
Universidad Nacional de La Plata |
| instacron_str |
UNLP |
| institution |
UNLP |
| repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
| repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
| _version_ |
1842260120596119552 |
| score |
13.13397 |