Testing Interconnected Systems with Behavior Mining

Alexander Schieweck; Tiziana Margaria

Testing Interconnected Systems with Behavior Mining

Research output: Contribution to journal › Article › peer-review

Abstract

Modern software applications rely not only on a complex stack of technologies, but are more and more dependent on and connected to third party interfaces, Internet of Things devices and Industry 4.0 machines. One approach to tackle this complexity is Model Driven Design with custom interactions. But it is then still necessary to test the whole system to ensure that all parts work together as intended. This paper looks at the possibility of using Active Automata Learning as a systematic way to test interconnected systems.

Original language	English
Pages (from-to)	1-10
Number of pages	10
Journal	Electronic Communications of the EASST
Volume	79
Publication status	Published - 2020

Keywords

Active Automata Learning
Formal Methods
Industry 4.0
Model Driven Design
Smart Manufacturing

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Cite this

@article{03cf9c5809dc4693a3838d73d4aa21cf,

title = "Testing Interconnected Systems with Behavior Mining",

abstract = "Modern software applications rely not only on a complex stack of technologies, but are more and more dependent on and connected to third party interfaces, Internet of Things devices and Industry 4.0 machines. One approach to tackle this complexity is Model Driven Design with custom interactions. But it is then still necessary to test the whole system to ensure that all parts work together as intended. This paper looks at the possibility of using Active Automata Learning as a systematic way to test interconnected systems.",

keywords = "Active Automata Learning, Formal Methods, Industry 4.0, Model Driven Design, Smart Manufacturing",

author = "Alexander Schieweck and Tiziana Margaria",

year = "2020",

language = "English",

volume = "79",

pages = "1--10",

journal = "Electronic Communications of the EASST",

issn = "1863-2122",

}

TY - JOUR

T1 - Testing Interconnected Systems with Behavior Mining

AU - Schieweck, Alexander

AU - Margaria, Tiziana

PY - 2020

Y1 - 2020

N2 - Modern software applications rely not only on a complex stack of technologies, but are more and more dependent on and connected to third party interfaces, Internet of Things devices and Industry 4.0 machines. One approach to tackle this complexity is Model Driven Design with custom interactions. But it is then still necessary to test the whole system to ensure that all parts work together as intended. This paper looks at the possibility of using Active Automata Learning as a systematic way to test interconnected systems.

AB - Modern software applications rely not only on a complex stack of technologies, but are more and more dependent on and connected to third party interfaces, Internet of Things devices and Industry 4.0 machines. One approach to tackle this complexity is Model Driven Design with custom interactions. But it is then still necessary to test the whole system to ensure that all parts work together as intended. This paper looks at the possibility of using Active Automata Learning as a systematic way to test interconnected systems.

KW - Active Automata Learning

KW - Formal Methods

KW - Industry 4.0

KW - Model Driven Design

KW - Smart Manufacturing

UR - http://www.scopus.com/inward/record.url?scp=85110683951&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:85110683951

SN - 1863-2122

VL - 79

SP - 1

EP - 10

JO - Electronic Communications of the EASST

JF - Electronic Communications of the EASST

ER -

Testing Interconnected Systems with Behavior Mining

Abstract

Keywords

UN SDGs

Other files and links

Fingerprint

Cite this