Diminuição da intrusão do teste de software em programas paralelos

Abstract

Nesse trabalho é apresentada uma estratégia para diminuir a intrusão do teste de software em programas paralelos baseados em troca de mensagens. Para isso, um ambiente de teste foi desenvolvido utilizando técnicas de teste de software funcional e abordagens de depuração. O ambiente, que utiliza Java como linguagem de programação e MPI como biblioteca para troca de mensagens, baseia-se na idéia de utilizar Rede de Autômatos Estocásticos (SAN) para a representação do modelo comportamental da aplicação e, com isso, criar casos de teste que exercitem a aplicação paralela na busca por falhas de comunicação entre os processos. Essas falhas são identificadas pelos módulos de monitoração e análise on-line, que observam a execução da aplicação, verificando inconsistências entre os estados atingidos e os estados esperados do modelo. Para a diminuição da intrusão foi dada ênfase tanto para a definição e geração de casos de teste, quanto para as abordagens utilizadas no engine de teste nas etapas de monitoração e análise. Busca-se com essa estratégia, validar as abordagens utilizadas no processo de teste e identificar eventuais problemas.

This work introduces a strategy aiming the reduction of the intrusion (probe-effect mitigation) resulting from software testing activities in message passing parallel programs. In order to accomplish this goal, a test environment has been developed, based on functional software testing techniques and debugging approaches. The environment, which makes use of Java as the programming language and MPI as the library for message exchange, is based on the use of Stochastic Automata Network (SAN) for the application behavioural model representation. Test cases are created from this behavioural model to stimulate parallel programs, seeking for inter-process communication errors. These faults are identified by monitoring and analysis modules, using on-line approaches, that observe the application’s execution looking for inconsistencies between reached and expected states in the model. In order to define a less intrusive test strategy, emphasis has been given not only to the definition and generation of test cases, but also to the approaches employed in the test engine for the monitoring and analysis stages. It is expected that this strategy would help in the validation of the testing process approaches, and also in the identification of eventual problems.