Professional Documents
Culture Documents
4, 2018.
Digital Object Identifier 10.1109/ACCESS.2018.2802489
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.
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.
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.
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
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.
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
[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.
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.