|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
27th International Conference on Distributed Computing Systems Workshops (ICDCSW'07)
State Transition Model for Test Sequence Generation of MANET Clustering Protocols
Toronto, Canada
June 22-June 29
ISBN: 0-7695-2838-4
| ASCII Text | x | ||
| Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda, "State Transition Model for Test Sequence Generation of MANET Clustering Protocols," 2012 32nd International Conference on Distributed Computing Systems Workshops, pp. 55, 27th International Conference on Distributed Computing Systems Workshops (ICDCSW'07), 2007. | |||
| BibTex | x | ||
| @article{ 10.1109/ICDCSW.2007.76, author = {Hideharu Kojima and Tomoyuki Ohta and Yoshiaki Kakuda}, title = {State Transition Model for Test Sequence Generation of MANET Clustering Protocols}, journal ={2012 32nd International Conference on Distributed Computing Systems Workshops}, volume = {0}, year = {2007}, issn = {1545-0678}, pages = {55}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICDCSW.2007.76}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2012 32nd International Conference on Distributed Computing Systems Workshops TI - State Transition Model for Test Sequence Generation of MANET Clustering Protocols SN - 1545-0678 SP EP A1 - Hideharu Kojima, A1 - Tomoyuki Ohta, A1 - Yoshiaki Kakuda, PY - 2007 KW - null VL - 0 JA - 2012 32nd International Conference on Distributed Computing Systems Workshops ER - | |||
Conformance test is test to confirm whether an implemented software satisfies the designed specification or not. In order to execute conformance test, test sequences need to be generated from the state transition diagram, which represents the specification of the implemented software. There are some different behaviors of nodes between wireless mobile ad hoc networks and wired fixed networks. Since nodes move around in the ad hoc networks, any node in the ad hoc networks receives packets from an unexpected number of neighbor nodes during a specified period. So the length of test sequences generated from the state transition diagram is affected by the number of such neighbor nodes. In order to reduce the length of test sequences, this paper proposes conditions to redefine transitions to receive packets from neighbor nodes as a set of transitions in the state transition diagram. Then this paper shows how many number of test sequence can be reduced using the redefined transitions.
Citation:
Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda, "State Transition Model for Test Sequence Generation of MANET Clustering Protocols," icdcsw, pp.55, 27th International Conference on Distributed Computing Systems Workshops (ICDCSW'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.