| Texto completo | |
| Autor(es): |
Melo, Silvana Morita
;
de Souza, Simone do Rocio Senger
;
Sarmanho, Felipe Santos
;
Lopes de Souza, Paulo Sergio
Número total de Autores: 4
|
| Tipo de documento: | Artigo Científico |
| Fonte: | SOFTWARE QUALITY JOURNAL; v. 26, n. 3, p. 39-pg., 2018-09-01. |
| Resumo | |
Concurrent software testing is a challenging activity due to factors that are not present in sequential programs, such as communication, synchronization, and non-determinism, and that directly affect the testing process. When we consider multithreaded programs, new challenges for the testing activity are imposed. In the context of structural testing, an important problem raised is how to deal with the coverage of shared variables in order to establish the association between def-use of shared variables. This paper presents results related to the structural testing of multithreaded programs, including testing criteria for coverage testing, a supporting tool, called ValiPthread testing tool and results of an experimental study. This study was conducted to evaluate the cost, effectiveness, and strength of the testing criteria. Also, the study evaluates the contribution of these testing criteria to test specific aspects of multithreaded programs. The experimental results show evidence that the testing criteria present lower cost and higher effectiveness when revealing some kinds of defects, such as deadlock and critical region block. Also, compared to sequential testing criteria, the proposed criteria show that it is important to establish specific coverage testing for multithreaded programs. (AU) | |
| Processo FAPESP: | 15/23653-5 - Definição de um Design de Estudos Empíricos em Técnicas de Teste para Programas Concorrentes |
| Beneficiário: | Silvana Morita Melo |
| Modalidade de apoio: | Bolsas no Exterior - Estágio de Pesquisa - Doutorado |
| Processo FAPESP: | 13/01818-7 - Teste paralelo de programas concorrentes |
| Beneficiário: | Paulo Sérgio Lopes de Souza |
| Modalidade de apoio: | Auxílio à Pesquisa - Regular |
| Processo FAPESP: | 10/04042-1 - Avaliação do Custo e Efetividade dos Critérios de Teste Estruturais no Contexto de Programas Concorrentes com Memória Compartilhada |
| Beneficiário: | Silvana Morita Melo |
| Modalidade de apoio: | Bolsas no Brasil - Mestrado |
| Processo FAPESP: | 13/05046-9 - Definição de um Framework para Avaliação Sistemática de Técnicas de Teste no Contexto de Programação Concorrente |
| Beneficiário: | Silvana Morita Melo |
| Modalidade de apoio: | Bolsas no Brasil - Doutorado |