Abstract
Model based testing can enable automated test case generation for many kind of application. Even test code can be generated from the model by specialized tools. IoT protocols for network layer have many constraints for exhaustive or manual testing because of battery problem and large number of sensor nodes. To solve these testing constraints, this paper proposes an efficient State Machine based test case generation for IoT network layer by using OPNET simulation model and test case generation tool. The size of test suite is compared according to the size of State Machine model from OPNET.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Gansner, E., North, S.: An open graph visualization system and its Appl. Soft. Pract. Experience 30, 1203–1233 (1999)
Javed, A., Strooper, P., Watson, G.: Automated generation of test cases using model-driven architecture. In Proceedings of the 2nd International Workshop on Automation of Software Test (AST 2007), p. 3 (2007)
Link, J., Fröhlich, P.: Unit Testing in Java: How Tests Drive the Code. Morgan Kaufmann Publishers Inc., Burlington (2003)
IEEE Standards Association: IEEE standard for local and metropolitan area networks–Part 15.4: Low-Rate Wireless Personal Area Networks (LR-WPANs) (2011). http://standards.ieee.org/about/get/802/802.15.html
Xiaolong, L., Peng, M.: OPNET-based modeling and simulation of mobile Zigbee sensor networks. Peer-to-Peer Netw. Appl. (2015). doi:10.1007/s12083-015-0349-8
Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach, pp. 157–162. Morgan Kaufmann Publishers Inc., San Francisco (2007)
Lelis, L., Pedrosa, C.: A new method for incremental testing of finite state machines. In: NFM2010
Ural, H.: Formal methods for test sequence generation. Comput. Commun. 15(5), 311–325 (1992)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Ham, Yh., Jung, Ht., Kim, Hc., Chung, Jw. (2017). A Study on OPNET State Machine Model Based IoT Network Layer Test. In: Kim, K., Joukov, N. (eds) Information Science and Applications 2017. ICISA 2017. Lecture Notes in Electrical Engineering, vol 424. Springer, Singapore. https://doi.org/10.1007/978-981-10-4154-9_5
Download citation
DOI: https://doi.org/10.1007/978-981-10-4154-9_5
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-10-4153-2
Online ISBN: 978-981-10-4154-9
eBook Packages: EngineeringEngineering (R0)