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
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.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copiar
Hideharu KOJIMA, Juichi TAKAHASHI, Tomoyuki OHTA, Yoshiaki KAKUDA, "An Equivalent Division Method for Reducing Test Cases in State Transition Testing of MANET Protocols" in IEICE TRANSACTIONS on Communications,
vol. E92-B, no. 3, pp. 794-806, March 2009, doi: 10.1587/transcom.E92.B.794.
Abstract: A typical feature of MANETs is that network topology is dynamically changed by node movement. When we execute state transition testing for such protocols, first we draw the Finite State Machine (FSM) with respect to each number of neighbor nodes. Next, we create the state transition matrix from the FSMs. Then, we generate test cases from the state transition matrix. However, the state transition matrix is getting much large because the number of states and the number of transitions increase explosively with increase of the number of neighbor nodes. As a result, the number of test cases increases, too. In this paper, we propose a new method to reduce the number of test cases by using equivalent division method. In this method, we decide a representative input to each state, which is selected from equivalent inputs to the states. By using our proposed method, we can generate state transition matrix which is hard to affect increasing the number of neighbor nodes. As a consequence, the number of test cases can be reduced.
URL: https://global.ieice.org/en_transactions/communications/10.1587/transcom.E92.B.794/_p
Copiar
@ARTICLE{e92-b_3_794,
author={Hideharu KOJIMA, Juichi TAKAHASHI, Tomoyuki OHTA, Yoshiaki KAKUDA, },
journal={IEICE TRANSACTIONS on Communications},
title={An Equivalent Division Method for Reducing Test Cases in State Transition Testing of MANET Protocols},
year={2009},
volume={E92-B},
number={3},
pages={794-806},
abstract={A typical feature of MANETs is that network topology is dynamically changed by node movement. When we execute state transition testing for such protocols, first we draw the Finite State Machine (FSM) with respect to each number of neighbor nodes. Next, we create the state transition matrix from the FSMs. Then, we generate test cases from the state transition matrix. However, the state transition matrix is getting much large because the number of states and the number of transitions increase explosively with increase of the number of neighbor nodes. As a result, the number of test cases increases, too. In this paper, we propose a new method to reduce the number of test cases by using equivalent division method. In this method, we decide a representative input to each state, which is selected from equivalent inputs to the states. By using our proposed method, we can generate state transition matrix which is hard to affect increasing the number of neighbor nodes. As a consequence, the number of test cases can be reduced.},
keywords={},
doi={10.1587/transcom.E92.B.794},
ISSN={1745-1345},
month={March},}
Copiar
TY - JOUR
TI - An Equivalent Division Method for Reducing Test Cases in State Transition Testing of MANET Protocols
T2 - IEICE TRANSACTIONS on Communications
SP - 794
EP - 806
AU - Hideharu KOJIMA
AU - Juichi TAKAHASHI
AU - Tomoyuki OHTA
AU - Yoshiaki KAKUDA
PY - 2009
DO - 10.1587/transcom.E92.B.794
JO - IEICE TRANSACTIONS on Communications
SN - 1745-1345
VL - E92-B
IS - 3
JA - IEICE TRANSACTIONS on Communications
Y1 - March 2009
AB - A typical feature of MANETs is that network topology is dynamically changed by node movement. When we execute state transition testing for such protocols, first we draw the Finite State Machine (FSM) with respect to each number of neighbor nodes. Next, we create the state transition matrix from the FSMs. Then, we generate test cases from the state transition matrix. However, the state transition matrix is getting much large because the number of states and the number of transitions increase explosively with increase of the number of neighbor nodes. As a result, the number of test cases increases, too. In this paper, we propose a new method to reduce the number of test cases by using equivalent division method. In this method, we decide a representative input to each state, which is selected from equivalent inputs to the states. By using our proposed method, we can generate state transition matrix which is hard to affect increasing the number of neighbor nodes. As a consequence, the number of test cases can be reduced.
ER -