A funcionalidade de pesquisa está em construção.
A funcionalidade de pesquisa está em construção.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

An Approach for Testing Asynchronous Communicating Systems Uma abordagem para testar sistemas de comunicação assíncrona

Myungchul KIM, Jaehwi SHIN, Samuel T. CHANSON, Sungwon KANG

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

Este artigo estuda o problema de testar sistemas concorrentes considerados como caixas pretas e especificados usando Máquinas Comunicantes de Estados Finitos assíncronas. Apresentamos uma abordagem para derivar casos de teste para sistemas concorrentes de forma sucinta e formal. A abordagem aborda o problema da explosão do espaço de estados introduzindo um modelo de relação de causalidade e o conceito de tempo lógico para expressar a verdadeira simultaneidade e descrever restrições de tempo em eventos. A relação de conformidade entre os casos de teste e o rastreamento observado no sistema real é definida, e uma nova arquitetura de teste, bem como uma aplicação de caso de teste, é apresentada de acordo com a relação de conformidade definida. Para melhorar a capacidade de veredicto dos casos de teste, a abordagem é aprimorada relaxando a suposição de unidade de tempo para qualquer número natural. E um algoritmo computacionalmente eficiente para a abordagem aprimorada é apresentado e o algoritmo é avaliado em termos de eficiência computacional e capacidade de veredicto. Finalmente, a abordagem é generalizada para descrever restrições de tempo por quaisquer números reais.

Publicação
IEICE TRANSACTIONS on Communications Vol.E82-B No.1 pp.81-95
Data de publicação
1999/01/25
Publicitada
ISSN online
DOI
Tipo de Manuscrito
PAPER
Categoria
Sistema de Sinalização e Protocolo de Comunicação

autores

Palavra-chave