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

    Research output: Contribution to journalArticleScientificpeer-review

    20 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 -