Test di astrazione sincronizzate (concorrenza)
il testing è in generale poco utile per la validazione di programmi concorrenti
- perché gli esperimenti non sono riproducibili, a causa del nondeterminismo intrinseco delle computazioni
- quale dei threads arriva prima?
più ancora che nel caso sequenziale, sarebbero necessarie tecniche di dimostrazione (verifica), possibilmente formali
a programmi concorrenti sviluppati adottando lo stile di programmazione basato sulle astrazioni sincronizzate
- sincronizzazione e comunicazione concentrate
si possono applicare tecniche di testing simili a quelle delle astrazioni sui dati normali