You are on page 1of 14

Received January 1, 2018, accepted January 22, 2018, date of publication February 5, 2018, date of current version April

4, 2018.
Digital Object Identifier 10.1109/ACCESS.2018.2802489

IoT-TaaS: Towards a Prospective


IoT Testing Framework
HIUN KIM 1 , ABBAS AHMAD2 , JAEYOUNG HWANG1 , HAMZA BAQA2 , FRANCK LE GALL2 ,
MIGUEL ANGEL REINA ORTEGA3 , AND JAESEUNG SONG1 , (Senior Member, IEEE)
1 SejongUniversity, Seoul 05006, South Korea
2 Easy Global Market, 06560 Valbonne, France
3 European Telecommunications Standards Institute, 06921 Valbonne, France

Corresponding author: JaeSeung Song (jssong@sejong.ac.kr).


This work was supported in part by the European Union’s Horizon 2020 Research and Innovation Programmes under Grant 643943 and
Grant 687884, in part by the Institute for Information and communications Technology Promotion grants from the Korea Government
under Grant B0184-15-1003, and in part by the National Research Foundation of Korea under Grant NRF-2017R1D1A1B03036285.

ABSTRACT The Internet of Things (IoT) aims to change many aspects of people’s daily lives by extending
the scope of computing to the physical world, and thus shift the environment of computing more to a
distributed and decentralized form. The amount of IoT devices and their collaborative behavior causes new
challenges to the scalability of traditional software testing, and the heterogeneity of IoT devices increases
costs and the complexity of coordination of testing due to the number of variables. In this paper, we introduce
IoT Testing as a Service- IoT-TaaS, a novel service-based approach for an automated IoT testing framework
aims to resolve constraints regarding coordination, costs, and scalability issues of traditional software testing
in the context of standards-based development of IoT devices, and explore its design and implementation.
IoT-TaaS is composed of remote distributed interoperability testing, scalable automated conformance testing,
and semantics validation testing components adequate for testing IoT devices. To provide a conceptual
overview, we analyze its technical and systemic advancement and compare it to traditional testing with
concrete examples.

INDEX TERMS Internet of Things, conformance testing, interoperability testing, test as a service, automated
testing, semantic testing.

I. INTRODUCTION For example, the usual interoperability testing methods


Interoperability and conformance testing are widely used used in the telecommunication industry are hardly able to
established types of testing in the software industry [1]–[5], handle distributed IoT systems and lack the flexibility to man-
where manufacturers have to visit a testing lab in order to age a variety of IoT devices, some of which are smart enough
test the compliance of their developed devices against a spe- to communicate over a high-level protocols (e.g. Hypertext
cific standard and interoperability of the target devices with Transfer Protocol (HTTP) [10], Constrained Application Pro-
other devices. With the rise of the Internet of Things(IoT), tocol (CoAP) [11], [12] and Message Queuing Telemetry
where billions of devices are expected to be integrated into Transport (MQTT) [13]) while others are extremely con-
horizontal applications [6], [7] relying on many different strained (e.g. a temperature sensor communicating over a
standards [8], [9], such testing operations are daunted by rad- Low-Power Wide-Area Network) with limited support for
ical changes. The heterogeneity and collaborative nature of remote testing. Also, the main interoperability challenges for
IoT systems require extensive and scalable testing to ensure the IoT now sit at the semantic level where exchanged data
functional correctness. streams need to be checked for their syntactic and semantic
A. BACKGROUND correctness as well as for their interoperability.
In this paper, we discuss general methodology and high-level
implementation of standardized conformance and interoper- B. MOTIVATION
ability testing and discuss coordination, costs, and scalability In this paper, we study ongoing research work related to
issues faced when applying conventional testing methodolo- IoT testing, such as interoperability testing which support for
gies to the development of IoT products. various testing configuration [14], and conformance testing
2169-3536
2018 IEEE. Translations and content mining are permitted for academic research only.
15480 Personal use is also permitted, but republication/redistribution requires IEEE permission. VOLUME 6, 2018
See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
H. Kim et al.: IoT-TaaS: Toward a Prospective IoT Testing Framework

that is adaptable and can handle the various protocols of


IoT devices [15], and semantic validation tools that can be
used for checking syntactic and semantic correctness of mes-
sages [16]. However, these tests are studied as individual solu-
tions and do not provide a comprehensive approach including
facilities for test configuration, management, or reporting.
In addition, there is previous work regarding IoT test-
ing to tackle this problem for real-world IoT devices from
dynamic test case generation and execution to testbed
integration [17]–[20], but they are not discussed in the context
of standard- which is the crucial viewpoint of testing IoT FIGURE 1. Generic model of conformance and interoperability testing.
software for practical standards-based development. Even
research, on the test system architecture and test derivation
of standardized IoT software [21]–[24], however, they are
focused on a specific property of testing (e.g. test case deriva- Table 1 and 2 summarize contributions of this paper with
tion, distributed testing system). This paper aims to discuss comparison of previous technique and benefits of plug and
various IoT Testing in the context of an integrated framework test concept. The remainder of this paper is structured as
and standard manner. follows. In Section 2, we present an introduction to tradi-
tional software testing to motivate the need for IoT test-
ing. Section 3 gives three categories of ongoing IoT testing
C. PROSPECTIVE IoT TESTING FRAMEWORK research and provides an overview of the IoT testing frame-
In order to tackle standards-based IoT testing for beyond level work. Section 4 discusses required IoT testing techniques (i.e.
of individual, technical aspect, we introduce a novel service- remote testing, semantics testing and automated testing) that
based approach for a IoT testing automation framework, comprise the testing framework. Finally, Section 5 concludes
IoT-TaaS(IoT Testing as a Service), a prospective IoT testing this paper by pointing out some future research directions
framework resolving such constraints of IoT testing, and pro- with plug and test, which is a generalizable design concept
pose the cross-cutting concept which deals with the technical to implement IoT-TaaS.
difference of testing various IoT devices by obtaining bird’s-
eye view of individual solutions. To do that, we discuss the II. TRADITIONAL SOFTWARE TESTING
concept and implementation of a traditional conformance and Products and systems embedding software (incl. the telecom-
interoperability testing framework to derive the required fea- munications industry) require standardization to ensure func-
tures of IoT-TaaS. We analyze three ongoing research work tionality, interoperability, and security. The prominent way
related to IoT testing as concrete examples of prospective IoT of validating a standard compliance and interoperability to a
testing frameworks. product is testing. Typically, Standards Developing Organi-
By extracting essential testing concepts and various config- zations (SDOs) such as the European Telecommunications
urations from these research work we design a scalable IoT Standards Institute (ETSI)1 standardize specifications for
testing framework that can test a huge number of IoT devices. conformance and interoperability tests and use them to fulfill
Using IoT-TaaS, various IoT devices can be tested remotely the different range of standards-based product testing. This
on not only their functional features but also their semantic section introduces conventional software testing methodolo-
correctness. gies standardized and used by many SDOs [25].
In summary, we make the following main contributions:
1) an empirical analysis of IoT test systems for interop- A. CONFORMANCE TESTING
erability, conformance, semantics validation testing by Conformance testing determines to what extent an imple-
comparison of traditional telecommunications testing; mentation of a particular standard conforms to the individual
2) the architectural design of a novel IoT testing frame- requirements of that standard. In generic models of con-
work called IoT-TaaS; the design of a novel IoT test- formance testing, a test system contains two main compo-
ing framework called IoT-TaaS which covers remote nents: the System Under Test (SUT), which contains the
interoperability testing, scalable conformance testing Implementation Under Test (IUT), and the Means of Test-
and semantic validation testing for an integrated and ing (MOT). The MOT includes at least one tester depending
standard manner; on the architecture of the IUT and its interfaces. The MOT
3) the proof of concept of IoT-TaaS supporting automated additionally handles activities such as coordination, logging,
and distributed testing of IoT devices with remotely and reporting.
located test systems;
4) design of concept for extensible IoT testing framework-
plug and test that are applicable for general IoT
ecosystems. 1 http://www.etsi.org/

VOLUME 6, 2018 15481


H. Kim et al.: IoT-TaaS: Toward a Prospective IoT Testing Framework

TABLE 1. Contributions of IoT-TaaS by testing types and its properties.

TABLE 2. Extensible plug and play architecture for IoT-TaaS.

1) ARCHITECTURE FOR CONFORMANCE TESTING the system will interoperate with other systems in the real
Fig. 1 shows a testing methodology generally used for pro- world.
tocol and reactive systems. The left side of Fig. 1 represents
conformance testing, and the line between the small boxes 2) CHALLENGES FOR IoT CONFORMANCE TESTING
and surrounding large box represents the communication Previousely we introduced general conformance testing
medium between the subject and object of testing. In order method for the telecommunication industry, however the
to perform conformance testing, the test system uses various requirement of human intervention and manual operation
components from the creation, i.e., Implementation Confor- of testing procedure by MOT in order to test EUT to RE
mance Statement (ICS), Implementation eXtra Information will limits scalability of IoT testing in terms of hindering
for Testing (IXIT), Testing Description Language (TDL), additional effort on managing test tasks, thus to promotes
Executable Test Suite (ETS), Abstract Test Suite (ATS), and rapid standards-based IoT product development from variety
Equipment under Test (EUT) from [25]. of vendor, following property of conformance testing should
ICS provides an overview of the features, capabilities, required to be advanced:
functionality, and options that are implemented in the prod- • Automatic Test Operation. The central issue on tradi-
uct to check capabilities and provide indications for basic tional IoT testing is human managed operation and test-
interoperability testing. IXIT contains additional metadata ing procedure, in order to support testing for rapidly
necessary for testing such as internet addresses. TDL is a developed, larger amounts of device vendor requires to
recent formal language allowing the description of test cases. automate such manual human interventions. To resolve
Tree and Tabular Combined Notation version 3 (TTCN-3) is these issues automatically tests the IoT device using
a standardized formal language for testing which is widely given protocol and semantic information is required.
used for the specification of test suites by ETSI and other • Extensible Protocol Support. In order to remove hurdles
SDOs such as 3GPP and oneM2M. ATS is the entire collec- of standards-based IoT system, supporting scalable IoT
tion of test cases, which specifies how to complete tests is protocol is essential, it is not going to a problem pre-
usually described in a formal test description language such viously, however in order to automate the testing proce-
as TTCN-3. ETS is an executable program from ATS using a dure to wide ranges of IoT devices that perform different
TTCN compiler. feature, flexibly supporting various of IoT-related proto-
Not just normal behavior but also various exceptional col is required.
behaviors are tested by conformance testing. Therefore, con-
formance testing gives privileges to a tester to allow them B. INTEROPERABILITY TESTING
to perform extensive functional testing. However, because Interoperability testing determines whether or not a target
a standard may leave room for options and configura- product implementing a standard specification is interopera-
tion, conformance testing alone does not guarantee that ble with other products implementing the same specification.

15482 VOLUME 6, 2018


H. Kim et al.: IoT-TaaS: Toward a Prospective IoT Testing Framework

Interoperability testing generally refers to product debugging • Testing between Distributed IUT. Another important
and technology development by the interconnection of pro- aspect of interoperability is the configuration of inter-
totype equipment [25]. Traditionally, interoperability testing operable devices which can be varied upon the number
requires manufacturers to test their products in a same phys- of participant devices of the collaborative behavior to
ical location with a network medium they can agree on and be tested. At this perspective, interoperability for the
perform tests on how two or more products communicate to IoT devices require to support testing for interoperation
access particular interoperability functionality. of multiple, distributedly placed devices, in traditional
Interoperability testing does not verify if a product is com- model, this work requires human effort to coordinate
pliant with its referencing protocol standard specifications. and configure testing scheme for multiple devices, thus,
This testing defines a set of testing scenarios checking a automatic support distributed testing is essential for fea-
target software component which can interoperate with other sible interoperability testing for the IoT device.
software components developed based on the same specifica-
tions but which is implemented by different manufacturers. C. DISCUSSIONS AND CHALLENGES
As a result, to perform proper testing of a target software Although the traditional testing methodology is aimed at
component, standards-based interoperability testing and con- practical conformance and interoperability testing, it has
formance testing should be performed as complementary revealed several problems for testing IoT devices in the fol-
mechanisms. lowing aspects.

1) ARCHITECTURE FOR INTEROPERABILITY TESTING


• Testing Coordination. Testing IoT devices involves
larger and more heterogeneous stakeholder groups than
The right side of Fig. 1 shows an example architecture for
in other typical software domains. This delays the testing
interoperability testing [25] Like conformance testing, Test
execution and negatively impacts the development cycle
Suite Structure (TSS) & Testing Purposes (TP) are generated
of standards-based IoT products, which is a serious issue
from the base standard specifications. TSS&TP is structured
at the time to market is critical.
to provide an informal description which focuses on what to
• Testing Costs. In the same way as testing coordi-
test. ATS is used for test case generation. IXIT and ETS play
nation, traditional testing requires costly face-to-face
the same role as conformance testing. The Interoperability
testing, which creates an entry barrier to new com-
Functions Statement (IFS) is a checklist of the capabilities
panies or start-ups willing to enter a market with a
and functionalities supported by the EUT; however, since IFS
standards-based product. High-costs in testing also dis-
concentrates on interoperability, it is not as detailed as EUT.
courages standards-based product development in large
The IFS simply states a procedural scenario describing how
companies.
a target device should exchange messages with a test system.
• Testing Scalability. The heterogeneity of IoT devices
The IFS can be used to select and parametrize test cases and
introduces many testing stakeholders primarily for a
operate as an indicator for basic interoperability between dif-
vendor of RE (Reference Equipment) and IUT as well
ferent products. Test Descriptions (TD) is a detailed descrip-
as underneath devices of RE to simulate complex coop-
tion of test processes and it addresses configurations, for the
eration. To support scalability and variability of testing,
performance of interoperable functionalities between IUT.
dynamic test-beds are essential, as traditional testing
does not provide the necessary protocols or systems to
2) CHALLENGES FOR IoT INTEROPERABILITY TESTING
achieve such scalability.
Previously, we show common interoperability testing used for
telecommunication industry, however, it is difficult to apply As a result of such issues the solutions are proposed for
the testing directly for the IoT ecosystem since the divergent scalable automatic test with extensible protocol, automatic
of vendor and feature of IoT devices exceeds feasible human coordination support and testing on remote and distributed
managed interoperable test, specifically, issues on various IUT. In the following section, we will discuss various IoT
test model involving differently configured, multiple target testing related research activities and techniques to design a
device and human, location dependency should be resolved in novel IoT testing framework resolving the issues above and
order to make feasible interoperability testing for IoT devices: provides details of our proposed solutions.
• Testing between Remote IUT. The major issues
regarding traditional interoperability testing is location III. TECHNIQUES FOR IoT TESTING
dependency; unlike conformance testing, interoperabil- There is a high demand on IoT testing framework for
ity testing requires custom reference equipment which satisfying coordination, cost, heterogeneity, and scalability
results in significant delay of time by human effort, requirements as discussed in the previous section. The role
moreover just like conformance testing, it requires to and design of IoT-TaaS fulfills complementary testing fea-
manage and operate the test procedure by test operator; tures used in traditional testing but also helps to resolve
In order to resolve these issues, remotely performed the IoT-specific testing issues regarding coordination and
testing is essential in order to save cost like time and scalability. IoT-TaaS can help to reduce testing costs by
effort for manual coordination. providing a converged testing spot. To do that, this section

VOLUME 6, 2018 15483


H. Kim et al.: IoT-TaaS: Toward a Prospective IoT Testing Framework

on the testing administration and related tasks including


capturing a trace and reporting the verdicts. All of these
operations are controlled and coordinated by Orchestrator
which administrates the cooperation of different testing com-
ponents: test session, message broker, and access control.
Communications are encrypted and managed by Event Bus.
They include control messages, data, and log packets being
transmitted to the central Event Bus which is implemented
in RabbitMQ.2 This centralized communication architec-
ture ensures the independence of each component, with the
messages containing routing keys and topics to indicate
FIGURE 2. High-level architecture of F-Interop. how to route messages to the relevant input queues of the
components.
presents three ongoing research work: (a) F-Interop, which
2) TESTING MODELS OF IOT INTEROP.
introduces remote and distributed conformance and inter-
operability testing for the IoT, (b) oneM2M IoT testing To reflect the scale and heterogeneity of IoT deployments,
work, which standardizes specifications for conformance the IoT test system has to support different configurations
testing oneM2MTester, which performs conformance testing which can be handled by the testbeds federation [28]. Five
to check that the behavior of an IoT device is compliant test configurations have been identified as follows:
with the referenced standard specifications and, (c) FIESTA • Simple Conformance Testing. Tests the conformance
semantic testing, which verifies that content of IoT messages of a single IUT. Only functional behavior of an IoT
are properly annotated with semantic information based on device or platform interfaces are checked. This model
the referenced standards. is suitable for individual testing of an IUT.
• Simple Conformance and Interoperability Testing. Tests

A. REMOTE INTEROPERABILITY TESTING conformance and interoperability of a single IUT with a


unique testbed in the test system. This is the basic model
A test system for an IoT device should support web-based
for testing a new IUT within a standardized testbed
remote testing features. An important aim of such a test
providing a reference implementation.
system is to provide a platform for remote testing to accelerate
• Simple Conformance and Compound Interoperability
the development speed of a standards-based IoT product [26].
Testing. Tests conformance and interoperability of a sin-
A test system called F-Interop [14] provides the feature of
gle IUT with multiple testbeds in the test system. This is
testing IoT devices located in remote places.
a suitable model for testing a new IUT when no reference
implementation has been identified.
1) SYSTEM ARCHITECTURE OF THE IoT INTEROP. SYSTEM
• Compound Conformance Testing. Tests conformance
Figure 2 shows the architecture of F-Interop [27]; the novelty and interoperability of multiple IUTs with no testbed.
of F-Interop compared to traditional software testing is the This is a model for testing cooperative and collaborative
provision of remote testing in a pragmatic manner by having behavior of multiple IUTs.
a centralized testing area on the web. To implement this • Compound Conformance and Compound Interoperabil-
idea, the test system provides an agent which is a secured ity Testing. Tests conformance and interoperability of
communication wrapper for the IUT. When the IUT connec- multiple IUTs with multiple testbeds in a test system.
tion is established through the agent, the test system creates This is a model for highly interconnected environments
an isolated room for testing. When the configuration of the between IUTs and testbeds.
environment is finished, test execution script, generated from
the test description, is executed. This execution consists of 3) CASE STUDY - CoAP PROTOCOL TESTING
three phases: STIMULI to trigger IUT to initiate a specific F-Interop is useable for testing constrained IoT protocols
behavior, CHECK to validate communication, for example, including IETF 6LoWPAN [29], [30], CoAP and oneM2M.
to capture contents of a packet, and VERIFY so that IUT In this section, we explain how F-Interop is used for testing
would reflect the desired result. The Testing Analysis Tool Constrained Application Protocol (CoAP), which is a well-
verifies the output data and behavior after communication. known protocol for constrained IoT devices.
The tool then generates a verdict for the test from PASS, As shown in Fig. 4, the CoAP interoperability test-
FAIL, and INCONCLUSIVE. The test system has its own ing in F-Interop consists in analyzing the data exchanged
packet generator for input generation and provides a web between CoAP IUTs via CoAP testing tool located at the
interface to allow status checking and testers to manually F-Interop Central Server. This testing tool can support three
input decisions or commands when needed as part of a test.
The architecture of F-Interop is designed to handle the 2 RabbitMQ. Opensource message broker for advanced message queueing
entire process of IoT interoperability testing, with a focus protocol. https://www.rabbitmq.com/

15484 VOLUME 6, 2018


H. Kim et al.: IoT-TaaS: Toward a Prospective IoT Testing Framework

FIGURE 3. GUI screen image of CoAP protocol testing at F-Interop.

interoperability scenarios to test a CoAP IUT located at a


remote location; (1) the IUT is connected to the F-Interop test
server, (2) the IUT is connected to other CoAP devices run-
ning on a testbed, (3) the IUT interacts, through the F-Interop
testing tool, with the IUT from other vendors. Using these
various testing scenarios, a User A can rigorously test the
interoperability of its IUT.
For example, there is a case where the sequence of events
for a remote CoAP device is to synchronize to already running
CoAP devices from other vendors. To test this case, two
CoAP IUTs from connected IoT testbeds can be introduced
into the F-Interop test fixture, the remote CoAP IUT is
declared as a root of the network, while the other two IUTs
from the testbed have to be synchronized to the remote IUT, FIGURE 4. Architecture of CoAP protocol testing at F-Interop.
and periodically re-synchronize to it. F-Interop CoAP Testing
Tool analyzes all the exchanged wireless packets to assess the
interoperability of the remote CoAP IUT. right log shows configuration and test case execution needed
The Fig. 3 shows actual F-Interop Web GUI (Graphical for stimulating automated IUT from User A’s IUT including
User Interface) for the User A. The GUI shows information method types and request parameter.
of test cases executed and queued, controls of the test session,
test logs and results. The top-left side of screen displays B. ADVANCED CONFORMANCE TESTING
queued and passed test cases with result verdicts, and top- Conformance testing on an IoT device is challenged by the
right side shows test session controls such as start, stop variability of communication protocols in use, and automated
and terminate for User A. On the bottom side, it displays testing can ease the handling of such variabilities. oneM2M 3
logs about resource and action needed for the test, including is a global standards initiative for developing IoT Service
information about which type of resources are to be tested Layer specifications to resolve such problems. The oneM2M
using which options and request types. In this case, the logs test working group is standardizing not only specifications for
of bottom-left show the URI of requested for resources, size typical testing methodologies (i.e., conformance and interop-
and request type constraint that need to be fulfilled by User erability testing) but also advanced testing features adequate
A’s CoAP IUT to make correct interoperability tests with 3 oneM2M - Standards for M2M and the Internet of Things
other CoAP IUTs from F-Interop testbeds, where the bottom http://www.onem2m.org/

VOLUME 6, 2018 15485


H. Kim et al.: IoT-TaaS: Toward a Prospective IoT Testing Framework

FIGURE 6. Cloud-based automated IoT testing.

decoding procedures are executed in the same way. In other


words, any protocol can be supported with the extension of
the adapter functionalities.
FIGURE 5. Conceptual model of TTCN-3 test system.
2) AUTOMATED CONFORMANCE TESTING
Similar to other conformance testing framework, oneM2M
for the IoT environment (i.e., testing for binding protocols testing framework is designed to perform a traditional testing
and automated device testing). This section introduces how lab based conformance testing, which means that developers
IoT devices are being tested by the oneM2M initiative [15]. and vendors have to physically visit a testing lab to get confor-
mance testing. This typical conformance testing method is not
1) TESTING IoT BINDING PROTOCOLS well adequate for the IoT domain as there will be huge SMEs
Various communication protocols are used by IoT devices to (Small to medium sized enterprises) and individual develop-
deliver messages. For example, the HTTP is used for general- ers producing small amount of IoT devices. Therefore, it is
purpose message transmission while the CoAP and MQTT natural to investigate low cost IoT testing mechanisms. In
are used for light-weight message exchange [31]. To test addition, IoT testing framework has to support various com-
these various protocols, support of a conformance testing munication protocols and standards [31], [33]. It is not easy
tool is required. oneM2M conformance testing follows this for SMEs and developers to construct a testing environment
motivation; it aims to verify that IoT devices are implemented to cover all these different protocols as well as testing features
correctly in respect with the protocol message format, and its such as monitoring, logging, and reporting.
exchange procedures are defined by oneM2M specifications. A web-based remote conformance testing framework using
As shown in Fig 5., the conceptual TTCN-3 test system an automated testing feature is considered as a promising
consists of a collection of different components that interact solution to resolve these problems. Main ideas of web-based
with each other in order to execute test cases. In this model, IoT testing is to locate a core logic of conformance testing
the SUT Adapter (SA) is in charge of communication with the system to the cloud and provide common test APIs for the
SUT. The CODEC has functionalities to encode and decode tester to select various configuration options based on their
messages. Basically, because the TTCN-3 tool only sup- needs. In addition, by allowing third parties to add their own
ports standardized encoding schemes such as Abstract Syntax protocol system adaptors to the core testing system at the
Notation One (ASN.1), Basic Encoding Rules (BERs) and cloud, web-based testing can easily adopt new IoT protocols.
Packed Encoding Rules (PERs), testers willing to test other The key to automated testing procedures for oneM2M
protocols such as HTTP, CoAP, and MQTT need to define devices is to trigger the device to initiate communication of a
them [32]. Furthermore, oneM2M primitives must be bound test case. This role is realized by using an UpperTester with
to each protocol encoding scheme according to the oneM2M a network protocol used by the oneM2M device to ensure
protocol binding specification4 so an additional step is needed flexibility to support various network protocols without mod-
to bind the oneM2M primitive to the encoding schema. In this ifying the test system. The UpperTester is a logical software
regard, the test system supports the oneM2M conformance module converting a test indication from the testing system
testing by developing the oneM2M dedicated SA including to a message understandable by IUT. This UpperTester can
communication procedures and protocol binding procedures; be implemented either within an IUT or outside of the IUT
depending on the capability of the IUT.
4 oneM2M TS-0008. CoAP Protocol Binding, v.1.3.2
For a more practical example, oneM2M automated testing
oneM2M TS-0009. HTTP Protocol Binding, v.2.6.1
oneM2M TS-0010. MQTT Protocol Binding, v.2.4.1 procedures are described in Fig. 6 as follows: A tester who
http://www.onem2m.org/technical/published-documents wants to test a IoT device provides information about testing

15486 VOLUME 6, 2018


H. Kim et al.: IoT-TaaS: Toward a Prospective IoT Testing Framework

FIGURE 7. GUI screen image of oneM2MTester showing tests verdicts over time, IUT configuration and statistics of testing.

configuration (e.g. protocols and device types) and selects test Let us show a specific example how oneM2MTester can be
cases to be performed using a web interface (Steps 1 and used to test a oneM2M feature. We can consider a case that
2). Based on the inputs from the tester, the test system a developer wants to test the Access Control Policy (ACP)
sends a triggering message including specific test cases and of their IoT device. ACP test cases are constructed to check
configuration information to the UpperTester of the target that the IUT properly creates ACP resource to the server. First,
IoT device. The Upper Tester parses the triggering mes- the tester configures IUT as an IoT product that supports ACP
sage from the test system and performs an operation of the and selects the appropriate ACP test cases. oneM2MTester
oneM2M application based on the given instructions in the then performs the selected test cases with the IUT and gen-
message (Step 3). One of oneM2M operations (i.e., CREATE, erates verdicts for all test cases. In order to get ‘‘PASS’’
RETRIEVE, UPDATE, DELETE and NOTIFICATION) is verdict, the IUT has to create the correct ACP resource to
being instructed to the target device by the UpperTester the server system. If the created ACP resource does not con-
(Steps 4 and 5). In order to perform the above testing tain proper value addressed in the test cases, oneM2MTester
procedures, a minimum consensus is required between the shows the reason of the failure with a ‘‘FAIL’’ or ‘‘INCON-
UpperTester and the target IoT device. After receiving the CLUSIVE’’ verdict. Thus, at the end of the test campaign,
test case information from the UpperTester, the IoT device the developer will get immediate feedback from test results
has to performs the specific operation based on the test cases and detailed logs including the verdict of the selected test
described in the triggering message. Finally, the test sys- cases as well as recommendations to correct failures. Fig. 7
tem creates verdicts of conformance testing for IoT devices shows the captured screenshot of oneM2MTester. The GUI
by verifying that response messages conform to the stan- of oneM2MTester shows an overview of the testing results
dard [34]. in history over an IUT implemented based on oneM2M.
A chart represents the number of test cases and their ver-
dicts in their different states and dates. The verdicts of each
3) CASE STUDY - oneM2M WEB-BASED TESTER
test case are highlighted with different colors, i.e. green
oneM2MTester is a web-based oneM2M IoT device testing (‘‘PASS’’), yellow (‘‘INCONCLUSIVE’’) and red (‘‘FAIL’’).
framework. Developers and SMEs who want to test their IoT In addition, Fig. 7 shows the presence for a testing verdict
devices implemented based on oneM2M standards specifica- history and an overview of the IUT configuration such as
tions can configure the oneM2MTester and select required software version, protocols, address.
test cases for their IoT devices. In this way, they can test
their devices without visiting IoT testing labs. Thanks to C. SEMANTIC TESTING FOR IoT DEVICES
oneM2MTester’s remote IoT device testing feature, develop- Testing of IoT devices has to be made at different levels.
ers can debug their products and reduce development cost. While the previous section described interoperability and

VOLUME 6, 2018 15487


H. Kim et al.: IoT-TaaS: Toward a Prospective IoT Testing Framework

conformance testing focusing mainly on protocol-level, this sity of such testing in the IoT industry to make sure
section discusses semantic testing. Semantic Testing aims to that an IoT system is properly working as expected.
test the correctness of semantic description from the data As we argued, semantic testing needs to cover multi-
stream of IoT devices against standards. The work that has ple levels of semantic interpretation, such as lexical, syn-
been done on these challenges in relation to semantic-web tactical, semantical, and cardinal correctness, which are
concludes that one of the core aspects to achieve seman- critical for semantic interoperability. More optional test fea-
tic interoperability is the ontology and the annotated data tures, such as following the best practice for the linked
using these ontologies. Standardization bodies have already data [36], should also be considered for inclusion in semantic
defined reference ontologies such as W3C-SSN ontology,5 testing.
ETSI-SAREF ontology,6 and oneM2M base ontology.7 Once
reference ontologies have been defined, one important step to 1) CASE STUDY - SEMANTIC VALIDATOR
ensure semantic interoperability is to test conformity against One of the main reasons for having semantic validator is
such reference ontologies. to check the semantic annotation (annotated data against an
Semantic testing is performed to target different level of ontology). For example, there is an IoT platform introducing
validation in a semantic description. From a lexical and syn- a meta-testbed IoT / Cloud infrastructure to federate various
tactic validation to a logical and semantical one. Semantic IoT testbeds distributed around the world. Such platforms
testing for the IoT environment is especially challenging aim to break the barriers between technology and data silos
due to the large diversity of semantic modeling methods. by applying the semantic technology. Any users who want
For example, discrete event models have a global notion of to have an access to their data regardless of their location
time, while the finite state machine is an untimed model. and connected IoT platforms can send his data that have
Among this heterogeneity, semantic models could be also been annotated against a common ontology to a semantic
complex due to a large number of concepts and relations repository. In this perspective, the user needs to check the
between these concepts, for example, semantic model like consistency of its annotation, otherwise the platform will
IoT-Lite [35] optimizes performance to handling large and decline its data. In this manner, the semantic validation tool is
diverse semantic model of IoT by partially containing a light- a key element of IoT platforms to assist the user to generate
weight semantic model in order to improve query responsive- a correct annotation. In fact, the tool provides a detailed
ness for IoT ontologies. validation report that enumerates the different errors.
Several research projects are working to propose and Typically a semantic validator contains three main compo-
apply novel semantic evaluation methods and tools to resolve nents that perform a specific aspect of the semantic valida-
these challenges. The H2020 Fiesta-IoT 8 project is one of tions for a target IoT resource as follows:
these projects aiming to establish a unique cloud platform • Namespace and URI validation. URI (Uniform
of semantically federated IoT testbeds for novel experi- Resource Identifier) and namespace validation are
ments based on semantic technologies. The platform pro- important for keeping the validity of ontology, and it is
vides a unique access point to access semantically enriched a basic step for semantic validation. A ‘‘bad namespace
data coming from different types of testbeds, for example, URI’’ means that the validator does not accept the URI
crowdsensing applications, smart cities, smart campus and for a namespace in the model. When an ontology is
smart buildings. For a proper semantic database that provides given as an input to a semantic validator, it shows prefix
correct data regarding the agreed ontology to be used by of validated namespace and shows a result with error
experimenters relying on standard semantic technology, our messages. For example, as Fig. 8 shows, in Namespace
semantic validation work is applied on the incoming data and URI validation section of a semantic validator that
stream. If the data does not meet all the requirements regard- we have implemented at the FIESTA project, an error
ing the syntactic and semantic correctness, it will be rejected on multiple use of different prefixes for namespace was
to keep the database clean and correct. Thus, it will provide reported when a target resource uses wrong prefixes in
a full report with a description of all pitfalls that could lead its semantic annotation. The list in Fig. 9 shows that
to modeling errors; this will assist the ontology developers there are multiple prefix declarations for NameSpace,
during the correction process. namely, ns0 and xmlns which violate the consistency
Semantic testing is a must for achieving semantic inter- of namespaces.
operability. The presented case demonstrates the neces- • Predicate and Class validation. The validation tool
treats the imported ontology models, and (indepen-
5 Semantic Sensor Network Ontology dently) the specified schemas, as a single Ontology
https://www.w3.org/2005/Incubator/ssn/ssnx/ssn model via an integration process. Then the tool extracts
6 ETSI Smart Appliance Reference (SAREF) ontology the properties from the derived single Ontology model.
http://www.etsi.org/technologies-clusters/technologies/smart-appliances It includes the Resource Description Framework (RDF)
7 oneM2M TS-0012. oneM2M Base Ontology, v2.0.0
http://www.onem2m.org/technical/published-documents
and RDF Schema (RDFS). Anything used as a predicate
8 Fiesta-IoT: Federated Interoperable Semantic IoT Testbeds and Applica- that is not defined as one of those properties is reported
tions http://fiesta-iot.eu as a definition error.

15488 VOLUME 6, 2018


H. Kim et al.: IoT-TaaS: Toward a Prospective IoT Testing Framework

FIGURE 8. GUI image of semantic validator showing namespace validation results.

FIGURE 10. Example of invalid semantic resource.

IV. TOWARDS IoT-TaaS


In the previous section, we discussed several key technologies
for IoT testing. Traditional conformance and interoperability
FIGURE 9. Example of invalid resource prefixes.
testing approaches should be evolved to handle the diver-
sity of IoT systems and devices. In addition, we realized
that semantic validation is another important step for an
•Semantic validation. The validation tool can determine IoT testing framework. In this section, we present IoT-TaaS,
whether or not the ontology is consistent, identify sub- a prospective framework for IoT testing. As shown in Fig. 11,
sumption relationships between classes, etc. In order the framework proposes three major steps of IoT testing.
to perform semantic validation, a developer can upload
ontology to the tool, then it returns a report after check-
A. REMOTE DISTRIBUTED INTEROPERABILITY TESTING
ing the syntactic for ontology format, namespaces, and
The first step of IoT-TaaS is to perform interoperability test-
URI validation. In addition, the tool shows the semantic
ing involving remote devices and thus supports the place-
correctness of predicate. For example, let us consider the
ment of test subjects which can be physically distributed.
annotation list in Fig. 10. The list contains two classes
For example, a target IoT device can be tested for its inter-
that are defined as a common class, i.e. adult Person
operability with another similar device placed in a testing
and young Person, which are disjoint each other. As the
lab as well as randomly selected field devices running in
list define an instance (Bob) which is a person with the
the real world. To support this, the Distributed Interop-
young and adult classes, it contains inconsistency.
erability Testing component should provide the following
If a developer enters such annotated resource to the
features:
validator, a semantic or logical error will occur by the
inconsistency of the annotation. • Agent Wrapper. Such a test system involves two main
components, the client and server (the test server). The
The tool is available online in the certification portal 9 of
client is distributed with a unique test server. Clients
FIESTA.
need to be wrapped to connect to the common server
9 http://certificate.fiesta-iot.eu without code modification, and they need to support the

VOLUME 6, 2018 15489


H. Kim et al.: IoT-TaaS: Toward a Prospective IoT Testing Framework

FIGURE 11. Architecture of cloud-based IoT testing as a service.

standard way of getting the IUT communicating to the C. SEMANTICS VALIDATION TESTING
testing server with monitoring and security. One of the core aspects to achieve semantic interoperability
• Configurable Testing Schema. The test server needs is ontology and the ontology-based data annotation. There-
to provide a configurable testing scheme adapted to a fore, an evaluation of such ontologies and annotated data is
variety of testing combinations. As a consequence of essential to determine if they are interoperable with other
this, the corresponding architecture of the server has to ontologies, especially the reference ontologies recognized by
implement the separation of concern such as decoupling standardization bodies such as SSN ontology. In this perspec-
of testing coordination, execution, and interaction with tive, Semantic Validation Testing is introduced as the final
the IUT and user, because one to one mapping of each step of IoT-TaaS to validate the meaning of messages on top
resource can not support a configurable testing scheme. of the communication protocol.
This step uses a tool confirming the correctness of semantic
B. SCALABLE AUTOMATED CONFORMANCE TESTING data. The semantic data validation tool can be implemented
As a second step, IoT-TaaS needs to provide scalable sup- as a web service integrated within a web-based client-server
port, handling variables in communications as well as auto- architecture. Through the Graphical User Interface (GUI),
mated support to create verdicts from the conformance tests. a user is able to upload his ontology and semantically anno-
Because many protocols are used by IoT devices in the mar- tated data to be validated against one or several reference
ket, easy integration of various protocol adapters is essential ontologies such as the SSN ontology. The validator can then
for an IoT testing framework. In addition, for usability and detect syntactic and semantic issues, if there are any, and pro-
distributed testing, we propose adding an automated IoT duce a detailed test report at the end of the process which will
device testing feature to the framework as follows: help the user to correct issues. As described in Fig. 12, there
• Protocol Adapter. IoT devices need scalable testing are three main functionalities in the core of the validation tool,
using various protocols for different domains of applica- namely XML Parser or JSON Parser according to the format
tion. For example, the request-response protocol based of the input file, RDF Parser, and Validation:
on TCP (Transmission Control Protocol) connection is • XML and JSON Parser. If a document containing data is
used for normal integrity centric data communication indicated as XML10 or JSON 11 along with the extension
whereas a protocol such as publish-subscribe is used if of the two formats (e.g. RDF/XML, OWL/XML and
the environment needs real-time communication. In IoT- JSON-LD), the XML and JSON parser check if the syn-
TaaS, both types of protocol are currently supported in tax of XML or JSON is respected. If it is not validated,
scalable by the External Codec. the validation process will not proceed further.
• Automated device testing. In order to test IoT devices, • RDF Parser. This module takes as input document either
a test system has to trigger various transactions imple- a validated XML or JSON file or a file in another
mented in the target device. Typically stimulus prepared supported format and verifies if the data represents a
by developers are used to trigger a required action. valid RDF model. If it respects the specification of the
A standardized triggering message format and transac-
10 Extensible Markup Language (XML) 1.0 (Fifth Edition)
tion types are defined in IoT-TaaS so that IoT device
https://www.w3.org/TR/REC-xml/
developers simply need to embed a testing code to per- 11 ECMA-404 The JSON Data Interchange Standard
form automated device testing. https://www.ecma-international.org/publications/standards/Ecma-404.htm

15490 VOLUME 6, 2018


H. Kim et al.: IoT-TaaS: Toward a Prospective IoT Testing Framework

In this paper we introduce a set of advancements to


traditional conformance and interoperability testing con-
cepts together with semantic validation for testing vari-
ous IoT devices and platforms. As these concepts are now
implemented and adopted as a tool for IoT certifications,
we strongly believe that these concepts will play key roles in
a modern IoT testing framework. These three key IoT testing
concepts can even be evolved to a ‘‘plug and test’’ concept of
IoT-TaaS. This plug and test concept offers an easy extension
FIGURE 12. An Architecture of the Ontology Validator Web Application.
of functionalities of the test systems without modifying the
test system itself. For example, conformance testing can plug
testing specs (incl. test cases and profiles) and perform testing
RDF model, triples in this model are extracted to serve
on IUTs. Semantics validation testing can also enable various
as the input for the next validation step in the validation
ontologies depending on which ontology is used in a target
module.
document and validate the correctness of used semantics
• Validation. This module takes the reference ontology
in the document. Finally, interoperability testing offered by
constructed from the different checked ontologies as an
IoT-TaaS can enable other field IoT devices to check a target
input of the validation and the triples extracted from
IoT device. If there is a need to add another type of testing
the previous step. Then, according to the predefined
to IoT-TaaS, a new set of test cases, ontology information,
reference ontology, it checks for syntactic errors in the
and new messages can easily be added to the system. Such
testing document which is based on the functionalities
a design concept could offer a practical architectural concept
implemented in Eyeball, an Apache Jena ontology val-
to practitioners who design and implement IoT-TaaS for their
idator.12 A reasoner is also used to enable logical level
IoT ecosystems. We believe IoT-TaaS provides significant
verification of the RDF document. The validation results
benefits to accelerate the development of standards-based IoT
are sent to a reporting server shows a list of errors and
products.
explanations regarding the ontology affected elements.
V. CONCLUSION
D. CONCEPT OF THE IoT-TaaS ARCHITECTURE - PLUG This paper presents IoT-TaaS, a new testing approach trans-
AND TEST forming standards-based IoT testing into a service-oriented
IoT platforms offer services to applications developers. The testing framework that enables scalable, distributed, and auto-
question of conformance testing, interoperability testing, and mated IoT testing. An analysis of traditional software test-
semantic validation of IoT platforms can be tackled with the ing methodologies, i.e., conformance and interoperability
same ‘‘as a service’’ approach to the testing. The vendors of testing, is conducted in order to retrieve key challenges of
IoT products are diverse, and thus a service-oriented approach IoT testing. Therefore, an insight on how traditional test-
to testing is a good option to offer an easy and reconfigurable ing methodologies have to be evolved to provide a testing
approach for the development of various IoT products. framework adequate for IoT testing is given. We introduced
The three phases of IoT testing can be defined as three ongoing research projects currently inventing new IoT
conformance testing, interoperability testing and semantics testing techniques as they provide fundamental concepts and
validation testing. For IoT-TaaS, we presented scalable auto- techniques to IoT-TaaS. IoT-TaaS provides a generalizable
mated conformance testing. It is scalable and supports various concept and design method for testing modern IoT products
protocols in a modular manner, and it contains automated by showing differences in automated conformance testing,
embedded triggering mechanisms. Semantic validation test- semantics validation testing, and remote distributed interop-
ing is present to verify messages with semantic informa- erability testing.
tion generated by IoT devices. This semantic testing phase
ACKNOWLEDGEMENT
confirms that the message is syntactically and semantically
We thank Federico Sismondi for sharing a case study for the
correct. Finally, remote distributed interoperability testing is
F-Interop project. All authors made equal contributions to the
included to overcome the physical constraint of IoT device
study and the publication.
testing. Such a remote feature also benefits testers by not only
connecting IUTs to standard IoT devices but by also offers REFERENCES
connecting various IoT field devices in the IoT testbeds. This [1] M. Schmidt, A. Wilde, A. Schulke, and H. Costa, ‘‘IMS interoperabil-
interoperability testing also enables various testing config- ity and conformance aspects [IP multimedia systems (IMS) infrastruc-
ture and services],’’ IEEE Commun. Mag., vol. 45, no. 3, pp. 138–142,
urations without physically wiring IoT devices to the test Mar. 2007.
system. Establishing a network connection from anywhere [2] A. Vallejo, J. Ruiz, J. Abella, A. Zaballos, and J. M. Selga, ‘‘State of the art
of ipv6 conformance and interoperability testing,’’ IEEE Commun. Mag.,
in the world to IoT-TaaS is enough to enable testing IoT in vol. 45, no. 10, pp. 140–146, Oct. 2007.
standards. [3] R. Hao, D. Lee, R. K. Sinha, and N. Griffeth, ‘‘Integrated system interoper-
ability testing with applications to VoIP,’’ IEEE/ACM Trans. Netw., vol. 12,
12 https://jena.apache.org no. 5, pp. 823–836, Oct. 2004.

VOLUME 6, 2018 15491


H. Kim et al.: IoT-TaaS: Toward a Prospective IoT Testing Framework

[4] S. Maag and C. Grepet, ‘‘Interoperability testing of a manet routing pro- [28] S. Ziegler, M. Hazan, H. Xiaohong, and L. Ladid, ‘‘IPV6-based test beds
tocol using a node self-similarity approach,’’ in Proc. ACM Symp. Appl. integration across Europe and China,’’ in Proc. Int. Conf. Testbeds Res.
Comput., 2008, pp. 1908–1912. Infrastruct., 2014, pp. 87–96.
[5] S. Seol, M. Kim, S. Kang, and J. Ryu, ‘‘Fully automated interoperability [29] G. Montenegro, N. Kushalnagar, J. Hui, and D. Culler, Transmission of
test suite derivation for communication protocols,’’ Comput. Netw., vol. 43, IPV6 Packets Over IEEE 802.15.4 Networks, document RFC 4944, 2007.
no. 6, pp. 735–759, 2003. [30] ETSI 6LoWPAN Plugtests Test Descriptions, document V1.0.0 2013-07,
[6] ‘‘More than 50 billion connected devices,’’ Ericsson, White Paper ETSI, Berlin, Germany, Jul. 2013.
284 23-3149 Uen, 2011. [31] B. Ahlgren, M. Hidell, and E. C.-H. Ngai, ‘‘Internet of Things for smart
[7] S. Ziegler et al., ‘‘IoT6—Moving to an IPv6-based future IoT,’’ in cities: Interoperability and open data,’’ IEEE Internet Comput., vol. 20,
The Future Internet Assembly (Lecture Notes in Computer Science), no. 6, pp. 52–56, Nov. 2016.
vol. 7858, A. Galis and A. Gavras, Eds. Berlin, Germany: Springer, 2013, [32] C. Willcock, An Introduction to TTCN-3. Hoboken, NJ, USA: Wiley, 2011.
pp. 161–172. [33] I. Schieferdecker, S. Kretzschmann, A. Rennoch, and M. Wagner, ‘‘IoT-
[8] D. Bandyopadhyay and J. Sen, ‘‘Internet of Things: Applications and testware—An eclipse project,’’ in Proc. IEEE Int. Conf. Softw. Quality, Rel.
challenges in technology and standardization,’’ Wireless Pers. Commun., Secur. (QRS), Jul. 2017, pp. 1–8.
vol. 58, no. 1, pp. 49–69, 2011. [34] Functional Architecture, document oneM2M TS-0001-V2.10.0,
[9] J. Song, A. Kunz, M. Schmidt, and P. Szczytowski, ‘‘Connecting and man- Aug. 2016.
aging M2M devices in the future Internet,’’ Mobile Netw. Appl., vol. 19, [35] M. Bermudez-Edo, T. Elsaleh, I. P. Barnaghi, and K. Taylor, ‘‘A lightweight
no. 1, pp. 4–17, 2014. semantic model for the Internet of Things,’’ in Proc. Int. IEEE Conf.
[10] R. Fielding et al., Hypertext Transfer Protocol—HTTP/1.1, document Ubiquitous Intell. Comput., Adv., Trusted Comput., Scalable Comput.
RFC 2616, Network Working Group, 1999. Commun., Cloud Big Data Comput., Internet People, Smart World Congr.
[11] Z. Shelby, K. Hartke, and C. Bormann, The Constrained Application (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld), 2016, pp. 90–97, doi:
Protocol (COAP), document RFC 7252, Internet Engineering Task Force 10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.0035.
(IETF), 2014. [36] (2017). Linked Data—Connect Distributed Data Across the Web. [Online].
[12] C. Bormann, ‘‘Test descriptions for ETSI plugtests coap#4,’’ Eur. Telecom- Available: http://linkeddata.org/
mun. Standards Inst., London, U.K. Tech. Rep. 7-9, Mar. 2014.
[13] OASIS Message Queuing Telemetry Transport (MQTT) TC, MQTT Ver-
sion 3.1.1, OASIS Standard mqtt-v3.1.1-os, 2014. HIUN KIM is currently pursuing the B.S. degree
[14] S. Ziegler, S. Fdida, C. Viho, and T. Watteyne, ‘‘F-Interop—Online plat- in computer science and engineering from Sejong
form of interoperability and performance tests for the Internet of Things,’’ University. He is a Researcher with the Software
in Proc. Int. Conf. Interoperability IoT, 2016, pp. 49–55. Engineering and Security Laboratory and cur-
[15] oneM2M Testing Framework, document oneM2M TS-0015 v2.0.0, rently with Naver Corporation as a Software Engi-
Aug. 2016. neer. His research aims to extend boundaries on
[16] P. Cousin, ‘‘White Paper on flexible approach for semantic validation
principles and applications of computing to solve
in the context of Internet of Things,’’ Easy Global Market, Valbonne,
France, White Paper, 2016. [Online]. Available: http://www.eglobalmark. more advanced problems, interested in broad areas
com/white-paper-flexible-approach-semantic-validation-context-internet- of computer science, including programming lan-
things/ guages, software engineering and computer sys-
[17] E. S. Reetz, D. Kuemper, K. Moessner, and R. Tönjes, ‘‘How to test iot- tems for advance easy, safe, and efficient design and implementation of
based services before deploying them into real world,’’ in Proc. 19th Eur. software.
Wireless Conf. (EW), 2013, pp. 1–6.
[18] S. De, F. Carrez, E. Reetz, R. Tönjes, and W. Wang, ‘‘Test-enabled archi-
tecture for IoT service creation and provisioning,’’ in The Future Internet ABBAS AHMAD received the master’s degree in
Assembly (Lecture Notes in Computer Science), vol. 7858, A. Galis and computer sciences and the Ph.D. degree from Easy
A. Gavras, Eds. Berlin, Germany: Springer, 2013, pp. 233–245. Global Market from the University of Franche-
[19] A. Gluhak, S. Krco, M. Nati, D. Pfisterer, N. Mitton, and Comté. He specialized his master’s degree in
T. Razafindralambo, ‘‘A survey on facilities for experimental Internet design and development of secure software. He
of Things research,’’ IEEE Commun. Mag., vol. 49, no. 11, pp. 58–67, has accomplished a six months internship with the
Nov. 2011. Research and Development Department, Airbus
[20] B. Shala, P. Wacht, U. Trick, A. Lehmann, B. Ghita, and S. Shiaeles, Operations SAS, where he developed Isami Ana-
‘‘Framework for automated functional testing of P2P-based M2M applica- lyst Testing Tool, a non-regression test tool. He
tions,’’ in Proc. 9th Int. Conf. Ubiquitous Future Netw. (ICUFN), Jul. 2017, also have an International Software Testing Qual-
pp. 916–921. ifications Board (ISTQBő) foundation level certification, a ISTQBő Model-
[21] P. Rosenkranz, M. Wählisch, E. Baccelli, and L. Ortmann, ‘‘A distributed
Based Tester foundation, a FIWARE developer’s week Brussels diploma,
test system architecture for open-source IoT software,’’ in Proc. Workshop
IoT Challenges Mobile Ind. Syst., May 2015, pp. 43–48. and an TTCN-3 certificate in test automation. With a strong knowledge of
[22] D. Kuemper, E. Reetz, and R. Tönjes, ‘‘Test derivation for semantically software and application testing, he also have been a FIWARE friendly tester
described IoT services,’’ in Proc. Future Netw. Mobile Summit (FutureNet- during four months, where he tested the FIWARE cloud portal and some
workSummit), 2013, pp. 1–10. Generic Enablers. One of his achievement’s is winning first prize of the Inter-
[23] M. Vögler, J. Schleicher, C. Inzinger, S. Nastic, S. Sehic, and net Of Things Hackaton during the IoT Week, Lisbon, 2015. He is currently
S. Dustdar, ‘‘LEONORE—Large-scale provisioning of resource- running a Ph.D. thesis in the field of model-based testing for integration of
constrained iot deployments,’’ in Proc. IEEE Symp. Service-Oriented Syst. distributed and heterogeneous future Internet Web components.
Eng. (SOSE), Mar. 2015, pp. 78–87.
[24] M. Leotta et al., ‘‘Towards an acceptance testing approach for Internet of
Things systems,’’ in Proc. 1st Int. Workshop Eng. Web Things, 2017. JAEYOUNG HWANG received the bachelor’s
[25] S. Moseley, S. Randall, and A. Wiles, ‘‘Experience within ETSI of degree in computer engineering from Sejong Uni-
the combined roles of conformance testing and interoperability test-
versity, Seoul, South Korea, in 2015, where he
ing,’’ in Proc. 3rd Conf. Standardization Innov. Inf. Technol., Oct. 2003,
is currently pursuing the Ph.D. degree. He is a
pp. 177–189.
[26] O. Vermesan and P. Friess, Internet of Things—From Research and Innova- member of the Software Engineering and Security
tion to Market Deployment, vol. 29. Aalborg, Denmark: River Publishers, Laboratory and also an Assistant Researcher with
2014. the IoT Platform Research Center, Korea Electron-
[27] R. Leone, F. Sismondi, T. Watteyne, and C. Viho, ‘‘Technical overview ics Technology Institute. He contributed a lot in
of F-Interop,’’ in Proc. Int. Conf. Interoperability IoT (InterIoT), Paris, the oneM2MTester tool, which is the conformance
France, 2016, pp. 11–17. testing tool to support the oneM2M standard.

15492 VOLUME 6, 2018


H. Kim et al.: IoT-TaaS: Toward a Prospective IoT Testing Framework

HAMZA BAQA received the master’s degree in MIGUEL ANGEL REINA ORTEGA received the
computer sciences from INPT and Mines-Telecom degree in telecommunications engineering from
saint Etienne. He is currently pursuing the Ph.D. the University of Malaga, Spain. He is currently a
degree with Easy Global Market in collaboration Technical Officer with the Centre for Testing and
with Mines-Telecom, France. He specialized the Interoperability, European Telecommunications
master’s degree in Security and information sys- Standards Institute (ETSI). His research has been
tem management. He also certified web master in based on development of interoperability and con-
Bridge Value and IBM SPPS Modler tool (Data formance test specifications for communication
Mining). With a strong knowledge of software and technologies following ETSI’s testing methodol-
semantics and has been active in Fiesta H2020 EU ogy recommendations and using TTCN-3 lan-
project where his research interests include Internet of things (IoT), semantic guage. He was with At4Wireless as a Testing Engineer in interoperability
web, and big data, and he is currently involved in the WISE-IoT project, and conformance testing for Radius Protocol Tester, Wimax Radio Confor-
contributing to Quality of Information evaluation. mance Tester, and Wimax Protocol Conformance Tester, and at the same
time, he was participating as ETSI Specialist Task Force expert during two
years in test suite development for WiMAX/HiperMAN. He joined ETSI
in 2007 and continued in developing and validating network and protocol
WiMAX/HiperMAN test specifications. After this, he has contributed to
develop other conformance and interoperability test specifications for several
technologies such as SIP, ITS protocols (CAM, DENM, and GeoNetwork-
ing), vehicle-to-grid protocol, and oneM2M, where he is leading the confor-
mance test specifications development. Besides the technical skills, he has
managed and led several FP7 projects, such as TESTCASE, MOSQUITO,
and PowerUp, where testing activities have been performed and successful
results have been achieved.

FRANCK LE GALL is currently a CEO with


Easy Global Market, an innovative SME focused
on integration and validation of emerging tech- JAESEUNG SONG (SM’17) received the B.S. and
nologies. He has participated in large research M.S. degrees in computer science from Sogang
and development projects within the big industry University, and the Ph.D. degree from the Depart-
(Orange, Alcatel, and Thomson) and spent nine ment of Computing, Imperial College London,
years as the Director of innovation management U.K. He holds the position of the oneM2M Test
company. He directed over ten large scale projects Working Group Chair and the TTA IoT/M2M
and studies related to the evaluation and monitor- Convergence Special Project Group Chair. From
ing of innovation and technical programs and also 2002 to 2008, he was with LG Electronics as a
research projects. He is driving a company for the development of advanced Senior Researcher leading the 3GPP SA Standard
testing technologies and also integration of IoT and data platforms. He Team. He was with NEC Europe Ltd., as a leading
involves himself in standardization area including oneM2M and FIWARE. standard Senior Researcher, from 2012 to 2013. He is currently an Associate
He is currently participating in several EU funded projects including tech- Professor, leading the Software Engineering and Security Laboratory, Com-
nical management in PROTEUS (advanced sensors for water monitoring), puter and Information Security Department, Sejong University. His research
FIESTA (IoT semantic interoperability), FESTIVAL (EU-JP cooperation interests include software engineering, software testing, networked systems
on IoT), U-Test (including uncertainties in cyber physical system testing), and security, with focus on the design and engineering of reliable IoT/M2M
PHANTOM (model-based testing of heterogeneous distributed systems), platforms, particularly in the context of semantic IoT data interoperability,
and Wise-IoT (EU-KR project on IoT interoperability). He was also a SME secure software patch techniques, blockchain IoT, and edge computing.
Coach within the FIWARE program.

VOLUME 6, 2018 15493

You might also like