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

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: García, Justo, Insfrán, Jordán, Diaz Zamboni, Javier Eduardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2024
Materias:
Ciencias Informáticas
Contratos
C++
Calidad del Software
Ingeniería de Software
Confiabilidad
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/176464
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-176464
record_format dspace
spelling I19-R120-10915-1764642025-02-13T20:05:06Z http://sedici.unlp.edu.ar/handle/10915/176464 Aporte a la confiabilidad de programas C++ mediante una herramienta ad hoc para implementar contratos García, Justo Insfrán, Jordán Diaz Zamboni, Javier Eduardo 2024-10 2024 2025-02-13T14:12:39Z es Ciencias Informáticas Contratos C++ Calidad del Software Ingeniería de Software Confiabilidad 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 Objeto de conferencia Objeto de conferencia http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) application/pdf 649-658
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Contratos
C++
Calidad del Software
Ingeniería de Software
Confiabilidad
spellingShingle Ciencias Informáticas
Contratos
C++
Calidad del Software
Ingeniería de Software
Confiabilidad
García, Justo
Insfrán, Jordán
Diaz Zamboni, Javier Eduardo
Aporte a la confiabilidad de programas C++ mediante una herramienta ad hoc para implementar contratos
topic_facet Ciencias Informáticas
Contratos
C++
Calidad del Software
Ingeniería de Software
Confiabilidad
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.
format Objeto de conferencia
Objeto de conferencia
author García, Justo
Insfrán, Jordán
Diaz Zamboni, Javier Eduardo
author_facet García, Justo
Insfrán, Jordán
Diaz Zamboni, Javier Eduardo
author_sort García, Justo
title Aporte a la confiabilidad de programas C++ mediante una herramienta ad hoc para implementar contratos
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
publishDate 2024
url http://sedici.unlp.edu.ar/handle/10915/176464
work_keys_str_mv AT garciajusto aportealaconfiabilidaddeprogramascmedianteunaherramientaadhocparaimplementarcontratos
AT insfranjordan aportealaconfiabilidaddeprogramascmedianteunaherramientaadhocparaimplementarcontratos
AT diazzambonijaviereduardo aportealaconfiabilidaddeprogramascmedianteunaherramientaadhocparaimplementarcontratos
_version_ 1845116787722551296

Ejemplares similares