A Study on OPNET State Machine Model Based IoT Network Layer Test
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
- PDF / 2,900,883 Bytes
- 8 Pages / 439.37 x 666.14 pts Page_size
- 76 Downloads / 185 Views
)
1
2
Quality Innovation Team, ETRI, 218 Gajeong-ro, Yuseong-gu, Daejeon, Korea {yhham,htjung}@etri.re.kr Computer Science, Namseoul University, 21 Maeju-ri, Seonghwan-eup, Cheonan, Chungcheongnam-do, Korea [email protected] 3 Computer Engineering, SungKyunKwan University, 2066 Seobu-ro, Jangan-gu, Suwon-si, Gyeonggi-do, Korea [email protected]
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. Keywords: State machine · IoT · Network layer test · Test generation · OPNET
1
Introduction
IoT (Internet of Things) normally has hundreds or thousands of sensor nodes and battery constraints in case of outdoor field test. Therefore, it is necessary to efficient testing method for the IoT. In addition, it is necessary to consider an application layer interaction which is useful for dynamics caused by mobility, failures, and dynamic power modes of IoTs. The traditional layered structure passes a limited set of information over defined interfaces between separate layers of the protocol. It is good for abstraction and development, but bad for efficiency in case that high level information is useful in over layers or vice versa. The examples are power control, overlay service, error control, aggregation, fusion, localization, service discovery, semantic addressing, etc. In this study, we are going to use State Machine-based testing for the cost saving in test case design, systematic testing and controlling of the model coverage and the number of tests [1, 2]. It can help the early detection of flaws and ambiguities in the specification, and the conformance of implementation to the corresponding State Machine model. For the State Machine based testing of IoT protocol, application layer and network layer should be reflected on the protocol State Machine to cover the standard © Springer Nature Singapore Pte Ltd. 2017 K. Kim and N. Joukov (eds.), Information Science and Applications 2017, Lecture Notes in Electrical Engineering 424, DOI 10.1007/978-981-10-4154-9_5
A Study on OPNET State Machine Model
39
specification. It is very critical to limit the number of test case in IoT because of battery power constraints, so it is necessary to draw efficient test cases [3].
2
OPNET Modelling for Test Case Generation
2.1 IoT Network Layer and OPNET Simulation ZigBee sensor network standard, which is a representative low-power standard for IoT applications, was modelled by OPNET [4].
Fig. 1. The OPNET model of zigbee protocol stack
A simulation model based on OPNET was developed for the simulation of
Data Loading...
