Tiny TTCN for IoT-related testing: That shrinking feeling

Abstract

This work presents the design rationale and implementation details of a test programming language that is meant to retain the semantics and look-and-feel of the standardized TTCN-3 test language, while being able to run on Arduino-class microcontrollers (with resources many orders of magnitude smaller than originally required by TTCN-3). This is a part of a larger project that aims at harmonizing the test approaches and test tools of distinguishable research communities that joined forces in their work on Socio-Technical Systems providing subtle health-related interventions. The tiny testers (the IoT devices themselves) are meant primarily to supervise validation experiments in such systems.