TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks

Wang, Zhiliang; Yin, Xia; Yang, Xiang; Zhu, Ruiping; Gao, Shirui; Wu, Xin; Liu, Shijian; Gao, Song; Zhou, Li

doi:10.1007/978-3-642-05031-2_11

Cited by 3 publications

(2 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the protocol conformance testing of mobile communication network, [5,6] developed the TTCN-3-based conformance testing tools for OMAMMS (Multimedia Messaging Service) and Push-to-talk service over Cellular in 3G or 4G networks, respectively. [7] studied the conformance testing methodology of MBBMS (Mobile Broadcast Business Management System) and designed and implemented an MBBMS protocol conformance testing tool based on TTCN-3. DTmobile developed the TD-SCDMA Terminal protocol conformance tester ECT6210.…”

Section: Related Workmentioning

confidence: 99%

An Open Conformance Test System towards the Standardization of Wireless Sensor Networks

Zhao

Huangfu

Sun

et al. 2012

International Journal of Distributed Sensor Networks

View full text Add to dashboard Cite

The conformance testing on the wireless sensor networks (WSNs) is fundamental for the functional large-scale deployment and interconnection with the global Internet. The WSN protocols based on the Internet Protocol version 6 (IPv6) are the major trends of the future applications, which include IEEE 802.15.4, 6LoWPAN, and RPL. These protocols are not only diverse for various applications, but also volatile in the future. Moreover, sensor nodes are resource constrained, application related and lack the standardized test interface. Hence the corresponding conformance testing is seriously insufficient and needs urgently research. In this paper, the IPv6-based WSN protocols are analyzed and the conformance testing techniques and methods for IPv6-based WSNs are investigated towards the standardization of WSNs. A novel conformance test system for IPv6-based WSNs is designed and implemented, which is open, flexible, full featured, and practical. The conformance test system is suitable for the protocol evolution and the various hardware interfaces for the sensor nodes. The related outcomes will promote the standardization and commercialization of WSNs.

show abstract

Section: Related Workmentioning

confidence: 99%

An Open Conformance Test System towards the Standardization of Wireless Sensor Networks

Zhao

Huangfu

Sun

et al. 2012

International Journal of Distributed Sensor Networks

View full text Add to dashboard Cite

show abstract

“…The playout specifications may lead to a very complex model, so Kugler et al [23] proposed to use restrictions and execution configurations to simplify the LSC-based testing process. In [24], a TTCN-3 based conformance testing approach was proposed for a broadcast business management system. An extension of MSCs, namely Symbolic Message Sequence Charts (SMSCs), has been proposed; testing from SMSCs required extra steps to generate templates and abstract test cases [25].…”

Section: Introductionmentioning

confidence: 99%

The Oracle Problem When Testing from MSCs

Dan

Hierons

2013

The Computer Journal

View full text Add to dashboard Cite

Message Sequence Charts (MSCs) form a popular language in which scenariobased specifications and models can be written. There has been significant interest in automating aspects of testing from MSCs. This paper concerns the Oracle Problem, in which we have an observation made in testing and wish to know whether this is consistent with the specification. We assume that there is an MSC specification and consider the case where we have entirely independent local testers (local observability) and where the observations of the local testers are logged and brought together (tester observability). It transpires that under local observability the Oracle Problem can be solved in low-order polynomial time if we use sequencing, loops and choices but becomes NP-complete if we also allow parallel components; if we place a bound on the number of parallel components then it again can be solved in polynomial time. For tester observability, the problem is NP-complete when we have either loops or choices. However, it can be solved in low-order polynomial time if we have only one loop, no choices, and no parallel components. If we allow parallel components then the Oracle Problem is NP-complete for tester observability even if we restrict to the case where there are at most two processes.

show abstract