Document details

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015.

Confiabilidade é um pré-requisito, implícito e desejável na maioria dos sistemas. Para que um sistema seja confiável, tal exigência deve ser tida em conta em todas as fases de seu desenvolvimento. Cenários implícitos são uma anomalia gerada quando componentes de sistemas concorrentes se comunicam de uma forma inesperada, não descrita na especificação de comportamento do software. Teste em sistemas concorrentes é um exercício muito caro e difícil de revelar falhas especialmente quando o sistema já está implementado e em funcionamento. Teste baseado em modelo (TBM) é uma alternativa para automatizar a geração de casos de teste em sistemas concorrentes, a fim de reduzir o seu custo e à complexidade inerente à atividade de teste. Este trabalho aproveita a abordagem de teste dirigido a modelo para explorar detecção de cenários implícitos, de modo a melhorar a geração de casos de teste em sistemas concorrentes.

Reliability is a prerequisite, implicit and desirable in most systems. For a system to be reliable, such requirement should be taken into account during all development stages of a system. Implied scenarios are an anomaly generated when concurrent system components communicate in an unexpected way, w.r.t. to the software behavior specification. Testing concurrent systems is a very expensive exercise and hard to reveal faults specially when the system is already deployed and running. Model-Based Testing is an alternative to automate test case generation in concurrent systems, in order to reduce their cost and the inherent complexity of the testing activity. This work leverages model-driven testing techniques to explore implied scenarios detection so as to improve the generation of test cases in concurrent systems.