Refactor Especificado del Módulo de Pagos en una Marketplace de Buenos Aires
Visión general
De qué trata este proyecto.
Refactoriza pagos en una marketplace: escribe especificaciones, añade tests con jqwik y extrae objetos de valor. Obtén un certificado verificable.
El escenario
La marketplace (alrededor de 28 millones USD de Gross Merchandise Value — GMV, volumen bruto de mercancía) procesa entre 9.000 y 14.000 transacciones diarias en pesos argentinos y reales brasileños; cualquier regresión silenciosa es ingreso perdido visible.
El Briefing
Lo que harás y lo que demostrarás.
Escribir la especificación formal del módulo de pagos heredado y refactorizarlo preservando comportamiento, con pruebas que verifiquen la especificación.
Earning criteria — what you'll demonstrate
- Escribir especificaciones formales precondición/postcondición/invariante sobre código real
- Aplicar property-based testing para verificar invariantes que los tests por ejemplo no cubren
- Refactorizar código heredado sin cambiar comportamiento observable, con commits atómicos
- Justificar decisiones de diseño con evidencia (complejidad ciclomática, cobertura, riesgo)
Encaje académico
Dónde encaja esto en tus estudios.
Afina las mismas habilidades que tu titulación espera de ti.
Software Construction
Bachelor · Software Engineering
Strong alignment
This challenge maps to Software Construction at the Bachelor 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.
- Specifications
Apply specifications to solve real industry problems and demonstrate production-level capability.
- Refactoring
Apply refactoring to solve real industry problems and demonstrate production-level capability.
- Property Based Testing
Apply property based testing to solve real industry problems and demonstrate production-level capability.
- Java
Apply java to solve real industry problems and demonstrate production-level capability.
- Code Coverage
Apply code coverage to solve real industry problems and demonstrate production-level capability.
- Automated Testing
Apply automated testing 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 Backend
Especificar, testear y refactorizar un módulo heredado de pagos sin romper comportamiento es exactamente el trabajo que diferencia al backend mid del backend senior en cualquier marketplace.
Este proyecto afina
- specifications
- refactoring
- java
Ingeniero de Software
Trabajar con especificaciones formales y property-based testing eleva al ingeniero generalista por encima del nivel de craft promedio de la industria.
Este proyecto afina
- specifications
- property-based-testing
- automated-testing