Feasibility of model-based testing in hardware in the loop environment: Master's thesis

    Research output: ThesisMaster's thesisTheses

    Abstract

    Model-based testing (MBT) provides software testing automation by deriving test cases automatically from models that represent abstract reference implementations of the system under test and its behavior. Hardware in the loop (HIL) simulation is a technique that is used in the development and testing of complex real-time embedded systems. HIL enables testing of components under development while communicating with software models that simulate a part or the rest of the system. A HIL platform is a simulation environment in which the embedded system under testing assumes to be operating with real-world inputs and outputs. In this thesis, model-based testing is combined with HIL simulation methodology in order to explore the feasibility of model-based testing in HIL environment. A model-based testing in hardware in the loop platform was implemented with two use cases: the first case utilized online MBT and the second case utilized offline MBT. A control algorithm was developed for assessing the pros and cons of the MBT in HIL platform. The control algorithm was used as an object for testing when executing software testing with the MBT in HIL platform. Through the use of mutation testing, it was shown that the MBT in HIL platform can find errors from a SUT in both use cases. However, as experienced during testing, model-based conformance testing does not cover all kinds of possible faults in HIL-related SUTs. The thesis provided insight into the feasibility of MBT in HIL environment by eliciting benefits and problems in utilizing the MBT in HIL platform. Special attention was paid to observing differences between online and offline model-based testing in the HIL environment. Ideas for future work to enhance the feasibility of the MBT in HIL platform arose during the thesis work.
    Original languageEnglish
    QualificationMaster Degree
    Awarding Institution
    • University of Oulu
    Place of PublicationOulu
    Publisher
    Publication statusPublished - 2009
    MoE publication typeG2 Master's thesis, polytechnic Master's thesis

    Fingerprint

    Hardware
    Testing
    Software testing
    Embedded systems
    Real time systems
    Automation

    Keywords

    • software testing
    • test automation
    • embedded system

    Cite this

    @phdthesis{22a62b6094994284b69a8768a41567da,
    title = "Feasibility of model-based testing in hardware in the loop environment: Master's thesis",
    abstract = "Model-based testing (MBT) provides software testing automation by deriving test cases automatically from models that represent abstract reference implementations of the system under test and its behavior. Hardware in the loop (HIL) simulation is a technique that is used in the development and testing of complex real-time embedded systems. HIL enables testing of components under development while communicating with software models that simulate a part or the rest of the system. A HIL platform is a simulation environment in which the embedded system under testing assumes to be operating with real-world inputs and outputs. In this thesis, model-based testing is combined with HIL simulation methodology in order to explore the feasibility of model-based testing in HIL environment. A model-based testing in hardware in the loop platform was implemented with two use cases: the first case utilized online MBT and the second case utilized offline MBT. A control algorithm was developed for assessing the pros and cons of the MBT in HIL platform. The control algorithm was used as an object for testing when executing software testing with the MBT in HIL platform. Through the use of mutation testing, it was shown that the MBT in HIL platform can find errors from a SUT in both use cases. However, as experienced during testing, model-based conformance testing does not cover all kinds of possible faults in HIL-related SUTs. The thesis provided insight into the feasibility of MBT in HIL environment by eliciting benefits and problems in utilizing the MBT in HIL platform. Special attention was paid to observing differences between online and offline model-based testing in the HIL environment. Ideas for future work to enhance the feasibility of the MBT in HIL platform arose during the thesis work.",
    keywords = "software testing, test automation, embedded system",
    author = "Ker{\"a}nen, {Janne S.}",
    note = "CA2: TK805 OH: diplomity{\"o} University of Oulu. Department of Electrical and Information Engineering. Master’s Thesis. PGN: 65 p.",
    year = "2009",
    language = "English",
    publisher = "University of Oulu",
    address = "Finland",
    school = "University of Oulu",

    }

    Feasibility of model-based testing in hardware in the loop environment : Master's thesis. / Keränen, Janne S.

    Oulu : University of Oulu, 2009. 65 p.

    Research output: ThesisMaster's thesisTheses

    TY - THES

    T1 - Feasibility of model-based testing in hardware in the loop environment

    T2 - Master's thesis

    AU - Keränen, Janne S.

    N1 - CA2: TK805 OH: diplomityö University of Oulu. Department of Electrical and Information Engineering. Master’s Thesis. PGN: 65 p.

    PY - 2009

    Y1 - 2009

    N2 - Model-based testing (MBT) provides software testing automation by deriving test cases automatically from models that represent abstract reference implementations of the system under test and its behavior. Hardware in the loop (HIL) simulation is a technique that is used in the development and testing of complex real-time embedded systems. HIL enables testing of components under development while communicating with software models that simulate a part or the rest of the system. A HIL platform is a simulation environment in which the embedded system under testing assumes to be operating with real-world inputs and outputs. In this thesis, model-based testing is combined with HIL simulation methodology in order to explore the feasibility of model-based testing in HIL environment. A model-based testing in hardware in the loop platform was implemented with two use cases: the first case utilized online MBT and the second case utilized offline MBT. A control algorithm was developed for assessing the pros and cons of the MBT in HIL platform. The control algorithm was used as an object for testing when executing software testing with the MBT in HIL platform. Through the use of mutation testing, it was shown that the MBT in HIL platform can find errors from a SUT in both use cases. However, as experienced during testing, model-based conformance testing does not cover all kinds of possible faults in HIL-related SUTs. The thesis provided insight into the feasibility of MBT in HIL environment by eliciting benefits and problems in utilizing the MBT in HIL platform. Special attention was paid to observing differences between online and offline model-based testing in the HIL environment. Ideas for future work to enhance the feasibility of the MBT in HIL platform arose during the thesis work.

    AB - Model-based testing (MBT) provides software testing automation by deriving test cases automatically from models that represent abstract reference implementations of the system under test and its behavior. Hardware in the loop (HIL) simulation is a technique that is used in the development and testing of complex real-time embedded systems. HIL enables testing of components under development while communicating with software models that simulate a part or the rest of the system. A HIL platform is a simulation environment in which the embedded system under testing assumes to be operating with real-world inputs and outputs. In this thesis, model-based testing is combined with HIL simulation methodology in order to explore the feasibility of model-based testing in HIL environment. A model-based testing in hardware in the loop platform was implemented with two use cases: the first case utilized online MBT and the second case utilized offline MBT. A control algorithm was developed for assessing the pros and cons of the MBT in HIL platform. The control algorithm was used as an object for testing when executing software testing with the MBT in HIL platform. Through the use of mutation testing, it was shown that the MBT in HIL platform can find errors from a SUT in both use cases. However, as experienced during testing, model-based conformance testing does not cover all kinds of possible faults in HIL-related SUTs. The thesis provided insight into the feasibility of MBT in HIL environment by eliciting benefits and problems in utilizing the MBT in HIL platform. Special attention was paid to observing differences between online and offline model-based testing in the HIL environment. Ideas for future work to enhance the feasibility of the MBT in HIL platform arose during the thesis work.

    KW - software testing

    KW - test automation

    KW - embedded system

    M3 - Master's thesis

    PB - University of Oulu

    CY - Oulu

    ER -