Teste de programas concorrentes com memória compartilhada / Test of shared memory concurrent programs
AUTOR(ES)
Felipe Santos Sarmanho
DATA DE PUBLICAÇÃO
2009
RESUMO
This work presents a novel test model for shared memory concurrent programs. Some important new features in this model are: (1) analysis the communication and synchronization in an isolated manner, (2) examines the synchronization due the start and the finish of threads, and (3) employs a method based on timestamps to check the communication exercised for an execution of the program. The coverage criteria set defined for concurrent programs was adjusted to the shared memory programs. In this work, the tool ValiPThread was implemented to support the application of the test model and of the coverage criteria. This tool allows to create a test session that can be saved, stopped and resumed at any time. In this tool is also possible to add and to execute test cases, analyzing the source code coverage with respect to the coverage criteria. The new tool shows that is possible instance the proposed model in a software that supports the test activity in context of shared memory. This work presents solutions for the major challenges related to task of to test concurrent programs, such as: (1) develop new techniques to do static analyzes of shared memory programs; (2) test important aspects to concurrent programs such as like: synchronization, communication and data flow; (3) replay and deterministic re-execution; (4) adjust coverage criteria from the context of message passing concurrent programs to shared memory context; (5) design data flow criteria based on shared variables and (6) build a tool to support these activities
ASSUNTO(S)
coverage criteria ferramenta de teste structural testing teste estrutural critério de cobertura programas concorrentes concurrent programs memória compartilhada testing tool shared memory
Documentos Relacionados
- Avaliação do custo e efetividade dos critérios de teste estruturais no contexto de programas concorrentes com memória compartilhada
- Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentes
- Estudo e definição de mecanismos para redução do custo de aplicação do teste de programas concorrentes
- Reificação de objetos concorrentes
- Resolução de um problema térmico inverso utilizando processamento paralelo em arquiteturas de memória compartilhada