Aporte a la confiabilidad de programas C++ mediante una herramienta ad hoc para implementar contratos

Autores
García, Justo; Insfrán, Jordán; Diaz Zamboni, Javier Eduardo
Año de publicación
2024
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
El diseño por contrato es una metodología en ingeniería de software propuesta por Bertrand Meyer para mejorar la calidad de la construcción de software. A pesar de ser una metodología ampliamente reconocida, se observa que su puesta en práctica no tiene el mismo nivel de aplicación. Con el objetivo de aportar a mejorar la confiabilidad del software desarrollado en C++, en este trabajo se presenta el desarrollo y análisis de una biblioteca para aplicar contratos en dicho lenguaje. La herramienta no depende de extensiones por fuera del estándar de C++, presenta una sintaxis clara, una implementación eficiente y provee una integración con el mecanismo de manejo de excepciones. Está disponible para que equipos de desarrollo que buscan mejorar la confiabilidad de sus desarrollos incorporando diseño por contratos.
Red de Universidades con Carreras en Informática
Materia
Ciencias Informáticas
Contratos
C++
Calidad del Software
Ingeniería de Software
Confiabilidad
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/176464
Acceder
id SEDICI_c809939f268bffdd0add40e3457d2ca2
oai_identifier_str oai:sedici.unlp.edu.ar:10915/176464
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Aporte a la confiabilidad de programas C++ mediante una herramienta ad hoc para implementar contratosGarcía, JustoInsfrán, JordánDiaz Zamboni, Javier EduardoCiencias InformáticasContratosC++Calidad del SoftwareIngeniería de SoftwareConfiabilidadEl diseño por contrato es una metodología en ingeniería de software propuesta por Bertrand Meyer para mejorar la calidad de la construcción de software. A pesar de ser una metodología ampliamente reconocida, se observa que su puesta en práctica no tiene el mismo nivel de aplicación. Con el objetivo de aportar a mejorar la confiabilidad del software desarrollado en C++, en este trabajo se presenta el desarrollo y análisis de una biblioteca para aplicar contratos en dicho lenguaje. La herramienta no depende de extensiones por fuera del estándar de C++, presenta una sintaxis clara, una implementación eficiente y provee una integración con el mecanismo de manejo de excepciones. Está disponible para que equipos de desarrollo que buscan mejorar la confiabilidad de sus desarrollos incorporando diseño por contratos.Red de Universidades con Carreras en Informática2024-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf649-658http://sedici.unlp.edu.ar/handle/10915/176464spainfo:eu-repo/semantics/altIdentifier/isbn/978-950-34-2428-5info:eu-repo/semantics/reference/hdl/10915/172755info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2026-01-14T14:11:52Zoai:sedici.unlp.edu.ar:10915/176464Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292026-01-14 14:11:52.488SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Aporte a la confiabilidad de programas C++ mediante una herramienta ad hoc para implementar contratos
title Aporte a la confiabilidad de programas C++ mediante una herramienta ad hoc para implementar contratos
spellingShingle Aporte a la confiabilidad de programas C++ mediante una herramienta ad hoc para implementar contratos
García, Justo
Ciencias Informáticas
Contratos
C++
Calidad del Software
Ingeniería de Software
Confiabilidad
title_short Aporte a la confiabilidad de programas C++ mediante una herramienta ad hoc para implementar contratos
title_full Aporte a la confiabilidad de programas C++ mediante una herramienta ad hoc para implementar contratos
title_fullStr Aporte a la confiabilidad de programas C++ mediante una herramienta ad hoc para implementar contratos
title_full_unstemmed Aporte a la confiabilidad de programas C++ mediante una herramienta ad hoc para implementar contratos
title_sort Aporte a la confiabilidad de programas C++ mediante una herramienta ad hoc para implementar contratos
dc.creator.none.fl_str_mv García, Justo
Insfrán, Jordán
Diaz Zamboni, Javier Eduardo
author García, Justo
author_facet García, Justo
Insfrán, Jordán
Diaz Zamboni, Javier Eduardo
author_role author
author2 Insfrán, Jordán
Diaz Zamboni, Javier Eduardo
author2_role author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
Contratos
C++
Calidad del Software
Ingeniería de Software
Confiabilidad
topic Ciencias Informáticas
Contratos
C++
Calidad del Software
Ingeniería de Software
Confiabilidad
dc.description.none.fl_txt_mv El diseño por contrato es una metodología en ingeniería de software propuesta por Bertrand Meyer para mejorar la calidad de la construcción de software. A pesar de ser una metodología ampliamente reconocida, se observa que su puesta en práctica no tiene el mismo nivel de aplicación. Con el objetivo de aportar a mejorar la confiabilidad del software desarrollado en C++, en este trabajo se presenta el desarrollo y análisis de una biblioteca para aplicar contratos en dicho lenguaje. La herramienta no depende de extensiones por fuera del estándar de C++, presenta una sintaxis clara, una implementación eficiente y provee una integración con el mecanismo de manejo de excepciones. Está disponible para que equipos de desarrollo que buscan mejorar la confiabilidad de sus desarrollos incorporando diseño por contratos.
Red de Universidades con Carreras en Informática
description El diseño por contrato es una metodología en ingeniería de software propuesta por Bertrand Meyer para mejorar la calidad de la construcción de software. A pesar de ser una metodología ampliamente reconocida, se observa que su puesta en práctica no tiene el mismo nivel de aplicación. Con el objetivo de aportar a mejorar la confiabilidad del software desarrollado en C++, en este trabajo se presenta el desarrollo y análisis de una biblioteca para aplicar contratos en dicho lenguaje. La herramienta no depende de extensiones por fuera del estándar de C++, presenta una sintaxis clara, una implementación eficiente y provee una integración con el mecanismo de manejo de excepciones. Está disponible para que equipos de desarrollo que buscan mejorar la confiabilidad de sus desarrollos incorporando diseño por contratos.
publishDate 2024
dc.date.none.fl_str_mv 2024-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/176464
url http://sedici.unlp.edu.ar/handle/10915/176464
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/isbn/978-950-34-2428-5
info:eu-repo/semantics/reference/hdl/10915/172755
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
649-658
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_ 1854324451830661120
score 13.065482

Publicaciones similares