Property-based Testing per la Programmazione Orientata ai Servizi

In considerazione del ruolo centrale delle architetture a microservizi nella progettazione dei moderni sistemi software, e la crescente necessità di soluzioni ad-hoc per la loro verifica sia a livello statico che dinamico, viene presentato un adattamento di un approccio automatizzato, già noto come property-based testing, per i microservizi. A partire dallo studio di alcuni casi di successo nei linguaggi di programmazione general-purpose, viene analizzato il problema nei suoi aspetti concettuali; segue una proposta implementativa nel contesto di un linguaggio service-oriented scelto.