Property-Based Testing para una Librería de Conversión de Divisas en Bogotá
Visión general
De qué trata este proyecto.
Implementa propiedades invariantes con Hypothesis, encuentra bugs reales en una librería de cambio de divisas y obtén un certificado verificable.
El escenario
La fintech (alrededor de 4,5 millones USD de Annual Recurring Revenue (ARR)) opera bajo supervisión de la Superintendencia Financiera de Colombia; cualquier diferencia de redondeo persistente puede generar requerimientos regulatorios.
El Briefing
Lo que harás y lo que demostrarás.
Introducir Property-Based Testing en una librería crítica de divisas y encontrar al menos 3 defectos reales que las pruebas por ejemplos no detectaron.
Earning criteria — what you'll demonstrate
- Identificar invariantes verificables a partir de reglas de negocio
- Escribir estrategias de generación de datos con Hypothesis
- Interpretar y aprovechar el shrinking para reducir el caso fallo a uno mínimo
- Comunicar el valor del PBT a un equipo acostumbrado a ejemplos
Encaje académico
Dónde encaja esto en tus estudios.
Afina las mismas habilidades que tu titulación espera de ti.
Software Testing and Quality Assurance
Master · Testing And Verification
Strong alignment
This challenge maps to Software Testing and Quality Assurance at the Master level. It sharpens the same practical skills your coursework expects — but in a real industry context with actual constraints and deliverables.
Habilidades
Habilidades que demostrarás.
Cada una aparece en tu credencial verificada.
- Property Based Testing
Apply property based testing to solve real industry problems and demonstrate production-level capability.
- Unit Testing
Apply unit testing to solve real industry problems and demonstrate production-level capability.
- Test Design
Apply test design to solve real industry problems and demonstrate production-level capability.
- Python
Write clean, efficient Python for data processing, automation, and backend services.
- Invariant Analysis
Apply invariant analysis to solve real industry problems and demonstrate production-level capability.
- Shrinking
Apply shrinking to solve real industry problems and demonstrate production-level capability.
Carreras
Roles para los que esto te prepara.
Títulos reales. Puentes de habilidades reales. Elige el que más se acerque a tu trayectoria.
Ingeniero de Software
Saber introducir Property-Based Testing en un código existente es un diferenciador real frente a perfiles que solo conocen pruebas basadas en ejemplos.
Este proyecto afina
- property-based-testing
- test-design
- invariant-analysis
Ingeniero Backend
Backend engineers en dominios financieros con redondeos y reglas regulatorias necesitan exactamente esta clase de pruebas para no romper cierres mensuales.
Este proyecto afina
- property-based-testing
- python
- unit-testing