Busca avançada
Ano de início
Entree
(Referência obtida automaticamente do Web of Science, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores.)

Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation

Texto completo
Autor(es):
Melo, Silvana Morita [1] ; de Souza, Simone do Rocio Senger [1] ; Sarmanho, Felipe Santos [1] ; Lopes de Souza, Paulo Sergio [1]
Número total de Autores: 4
Afiliação do(s) autor(es):
[1] Univ Sao Paulo, ICMC, PO 668, BR-13560970 Sao Carlos, SP - Brazil
Número total de Afiliações: 1
Tipo de documento: Artigo Científico
Fonte: SOFTWARE QUALITY JOURNAL; v. 26, n. 3, SI, p. 921-959, SEP 2018.
Citações Web of Science: 1
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
Linha de fomento: Bolsas no Exterior - Estágio de Pesquisa - Doutorado
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
Linha de fomento: 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
Linha de fomento: Bolsas no Brasil - Doutorado
Processo FAPESP: 13/01818-7 - Teste paralelo de programas concorrentes
Beneficiário:Paulo Sérgio Lopes de Souza
Linha de fomento: Auxílio à Pesquisa - Regular