Model Driven Testing of Time Sensitive Distributed Systems

TL;DR

This paper presents a novel approach to model, simulate, and test distributed, time-sensitive systems using functional programming, enabling seamless integration into agile development processes.

Contribution

It demonstrates how composition and state machine models for distributed systems can be mapped to a lazy functional language for systematic testing.

Findings

Effective modeling of distributed timing aspects

Systematic testing within functional programming environment

Facilitates integration into agile development

Abstract

In this paper we demonstrate an approach to model structure and behavior of distributed systems, to map those models to a lightweight execution engine by using a functional programming language and to systematically define and execute tests for these models within the same technology. This is a prerequisite for a smooth integration of model based development into an agile method. The novelty of this paper is the demonstration, how composition and state machine models for distributed asynchronously communicating systems can easily be mapped to a lazy functional language and then using standard testing techniques to define test on those programs. In particular distributed timing aspects and underspecification can be treated accordingly within a functional language, using a certain style of functions.