19SafQB

306 Simpler IoT Word(s) of Tomorrow, More Interoperability Challenges to Cope Today
• Specification and Description Language (SDL) for detailed protocol
specification;
• Abstract Syntax Notation (ASN.1) for defining message formats;
• Testing and Test Control Notation (TTCN) for writing test specifications.
Both Probe-IT [30] and IoTest [31] projects have demonstrated the useful
use of TTCN in the IoT area for lower and upper layers.
TTCN-3 (www.ttcn3.org) provides an abstract language
for representing many features useful for
writing tests but also provide specification for test
test tool architecture. Demonstrators have been developed in the Probe-IT
project [30] using such methodology for lower protocols such as CoAP and
6lowpan.
IoTest project [31] demonstrates also the use of such methodology using
TTCN-3 for the test of IoT services. IoTest aims to accelerate the introduction
of new IoT enabled business services (in short IoT services) with effective
dynamic service creation environment architecture.
IoTest in [32] describes its works on a test framework that is able to test services
independently from their implementation and that requires technology
independent test notations that can be executed to test and monitor prototypical
applications and production systems. The UML 2.0 Testing Profile (U2TP)
is a graphical notation for testing applications and systems. U2TP provides
concepts for designing and developing black-box-tests [U2TP]. In accordance
with UML, U2TP is only a language and therefore it only provides a notation
but no guidance on how to use it. U2TP extends Unified Modelling Language
Version 2 (UML 2.0) with test specific concepts like Test Architecture, Test
data, Test behaviour and Test time. It reuses the UML 2.0 syntax and is based on
the UML 2.0 meta-model . To realise and utilise U2TP as a test framework, the
abstract U2TP notation has to be transformed into a test specific programming
language like Testing and Test Control Notation Version 3 (TTCN-3)
IoT.est utilizes TTCN-3 as a standardized testing notation for the inference
of SUT (System Under Test) models and therefore generates technology