https://github.com/fiuner-lica/biblioteca-dbc-cpp
Biblioteca para implementar Diseño por Contratos en C++.
https://github.com/fiuner-lica/biblioteca-dbc-cpp
contratos cpp
Last synced: 4 months ago
JSON representation
Biblioteca para implementar Diseño por Contratos en C++.
- Host: GitHub
- URL: https://github.com/fiuner-lica/biblioteca-dbc-cpp
- Owner: FIUNER-LICA
- License: mit
- Created: 2024-06-11T12:36:23.000Z (about 2 years ago)
- Default Branch: main
- Last Pushed: 2024-11-13T16:07:18.000Z (over 1 year ago)
- Last Synced: 2025-10-14T15:09:24.896Z (8 months ago)
- Topics: contratos, cpp
- Language: Jupyter Notebook
- Homepage: https://fiuner-lica.github.io/biblioteca-dbc-cpp/
- Size: 3.72 MB
- Stars: 2
- Watchers: 0
- Forks: 0
- Open Issues: 3
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Biblioteca para DbC en C++
## Garcia Justo - Insfrán Jordán F. - Diaz Zamboni Javier E.
[](https://doi.org/10.5281/zenodo.14139844)
[Descripción](#descripción) • [Documentación](#documentación) • [Estructura de directorios](#estructura-de-directorios) •[Instalación](#instalación) • [Uso](#uso)
## Descripción
Este repositorio contiene una biblioteca que permite implementar Diseño por Contratos en C++, proponiendo precondiciones, postcondiciones e invariantes para la declaración de los componentes del software.
Además, se incluyen benchmarks para evaluar el rendimiento de la biblioteca bajo diferentes condiciones y escenarios.
## Documentación
Se recomienda el acceso a la documentación a través de una forma más interactiva en el siguiente enlace: [sitio web de documentación](https://fiuner-lica.github.io/biblioteca-dbc-cpp/)
## Estructura de directorios
- Benchmarks: scripts que permiten ejecutar benchmarks y la salida de los mismos.
- Casos: casos implementados utilizando la biblioteca.
- contract-lib: archivo header y cpp de la biblioteca.
- docs: carpeta correspondiente a la documentación en doxygen y los archivos utilizados para generear el [sitio web](https://fiuner-lica.github.io/biblioteca-dbc-cpp/)
## Instalación
Para utilizar la biblioteca simplemente clona este repositorio y realiza la inclusión del archivo de header *contract-lib/contract.h*.
## Uso
Para ejecutar los benchmarks se recomienda leer la documentación específica presente en su carpeta [*Benchmarks/README.md*](https://github.com/FIUNER-LICA/biblioteca-dbc-cpp/blob/main/Benchmarks/README.md)