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 Equivalent Division Method for Reducing Test Cases in State Transition Testing of MANET Protocols Um método de divisão equivalente para reduzir casos de teste em testes de transição de estado de protocolos MANET

Hideharu KOJIMA, Juichi TAKAHASHI, Tomoyuki OHTA, Yoshiaki KAKUDA

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

Uma característica típica das MANETs é que a topologia da rede é alterada dinamicamente pelo movimento do nó. Quando executamos testes de transição de estado para tais protocolos, primeiro desenhamos a Máquina de Estados Finitos (FSM) em relação a cada número de nós vizinhos. A seguir, criamos a matriz de transição de estado a partir dos FSMs. Em seguida, geramos casos de teste a partir da matriz de transição de estado. No entanto, a matriz de transição de estados está ficando muito grande porque o número de estados e o número de transições aumentam explosivamente com o aumento do número de nós vizinhos. Como resultado, o número de casos de teste também aumenta. Neste artigo, propomos um novo método para reduzir o número de casos de teste usando o método de divisão equivalente. Neste método, decidimos uma entrada representativa para cada estado, que é selecionada a partir de entradas equivalentes para os estados. Usando nosso método proposto, podemos gerar uma matriz de transição de estado que é difícil de afetar o aumento do número de nós vizinhos. Como consequência, o número de casos de teste pode ser reduzido.

Publicação
IEICE TRANSACTIONS on Communications Vol.E92-B No.3 pp.794-806
Data de publicação
2009/03/01
Publicitada
ISSN online
1745-1345
DOI
10.1587/transcom.E92.B.794
Tipo de Manuscrito
Special Section PAPER (Special Section on Ad Hoc and Mesh Networking for Next Generation Access Systems)
Categoria

autores

Palavra-chave