Resumo
Testar programas concorrentes é inerentemente mais difícil que testar programas sequenciais. Atributos como comunicação e sincronização entre processos e não-determinismo trazem problemas em aplicar os tradicionais critérios de teste sequenciais. Entretanto, algumas dessas questões já foram investigadas com resultados positivos. Em particular, o projeto TestPar foi criado no ICMC/USP, em …