Model-based testing of embedded systems in hardware in the loop environment

Research output: Contribution to journalArticleScientificpeer-review

19 Citations (Scopus)

Abstract

The evolution of software testing technologies has significantly reduced software testing execution times, but the test design and generation are still often implemented with slow manual-oriented methods. Model-based testing (MBT) offers automation to test design and generation, and different MBT solutions are familiar from research, but more effort needs to be done to adopt MBT for industrial use. Hardware in the loop (HIL) is a simulation and testing technique used in the development and testing of embedded systems. HIL is a challenging application field for MBT due to complex and non-deterministic nature of some embedded systems. To tackle this problem, the authors present a novel prototype platform in which online and offline MBT is applied to HIL environment. MBT in general has been introduced for HIL in scientific literature before, but the application of online MBT in HIL is a novel approach. The whole novel MBT in HIL prototype platform along with the used MBT tool, platform architecture and MBT process are presented accompanied by experimental results and analysis of two case studies with an example embedded system under test.
Original languageEnglish
Pages (from-to)364-376
Number of pages12
JournalIET Software
Volume6
Issue number4
DOIs
Publication statusPublished - 2012
MoE publication typeA1 Journal article-refereed

Fingerprint

Embedded systems
Computer hardware
Testing
Hardware
Software testing
Automation

Cite this

@article{e343e23122584662a907ba2f801cc211,
title = "Model-based testing of embedded systems in hardware in the loop environment",
abstract = "The evolution of software testing technologies has significantly reduced software testing execution times, but the test design and generation are still often implemented with slow manual-oriented methods. Model-based testing (MBT) offers automation to test design and generation, and different MBT solutions are familiar from research, but more effort needs to be done to adopt MBT for industrial use. Hardware in the loop (HIL) is a simulation and testing technique used in the development and testing of embedded systems. HIL is a challenging application field for MBT due to complex and non-deterministic nature of some embedded systems. To tackle this problem, the authors present a novel prototype platform in which online and offline MBT is applied to HIL environment. MBT in general has been introduced for HIL in scientific literature before, but the application of online MBT in HIL is a novel approach. The whole novel MBT in HIL prototype platform along with the used MBT tool, platform architecture and MBT process are presented accompanied by experimental results and analysis of two case studies with an example embedded system under test.",
author = "Ker{\"a}nen, {Janne S.} and Tomi R{\"a}ty",
year = "2012",
doi = "10.1049/iet-sen.2011.0111",
language = "English",
volume = "6",
pages = "364--376",
journal = "IET Software",
issn = "1751-8806",
publisher = "Institution of Engineering and Technology IET",
number = "4",

}

Model-based testing of embedded systems in hardware in the loop environment. / Keränen, Janne S.; Räty, Tomi.

In: IET Software, Vol. 6, No. 4, 2012, p. 364-376.

Research output: Contribution to journalArticleScientificpeer-review

TY - JOUR

T1 - Model-based testing of embedded systems in hardware in the loop environment

AU - Keränen, Janne S.

AU - Räty, Tomi

PY - 2012

Y1 - 2012

N2 - The evolution of software testing technologies has significantly reduced software testing execution times, but the test design and generation are still often implemented with slow manual-oriented methods. Model-based testing (MBT) offers automation to test design and generation, and different MBT solutions are familiar from research, but more effort needs to be done to adopt MBT for industrial use. Hardware in the loop (HIL) is a simulation and testing technique used in the development and testing of embedded systems. HIL is a challenging application field for MBT due to complex and non-deterministic nature of some embedded systems. To tackle this problem, the authors present a novel prototype platform in which online and offline MBT is applied to HIL environment. MBT in general has been introduced for HIL in scientific literature before, but the application of online MBT in HIL is a novel approach. The whole novel MBT in HIL prototype platform along with the used MBT tool, platform architecture and MBT process are presented accompanied by experimental results and analysis of two case studies with an example embedded system under test.

AB - The evolution of software testing technologies has significantly reduced software testing execution times, but the test design and generation are still often implemented with slow manual-oriented methods. Model-based testing (MBT) offers automation to test design and generation, and different MBT solutions are familiar from research, but more effort needs to be done to adopt MBT for industrial use. Hardware in the loop (HIL) is a simulation and testing technique used in the development and testing of embedded systems. HIL is a challenging application field for MBT due to complex and non-deterministic nature of some embedded systems. To tackle this problem, the authors present a novel prototype platform in which online and offline MBT is applied to HIL environment. MBT in general has been introduced for HIL in scientific literature before, but the application of online MBT in HIL is a novel approach. The whole novel MBT in HIL prototype platform along with the used MBT tool, platform architecture and MBT process are presented accompanied by experimental results and analysis of two case studies with an example embedded system under test.

U2 - 10.1049/iet-sen.2011.0111

DO - 10.1049/iet-sen.2011.0111

M3 - Article

VL - 6

SP - 364

EP - 376

JO - IET Software

JF - IET Software

SN - 1751-8806

IS - 4

ER -