ویراساینس.
سند علمی

Model-based Test Generation for Embedded Software

M. Esser, P. Struss

چکیده

Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consuming. We present the foundations and results of a case study to automate the generation of tests for control software of vehicle control units based on a specification of requirements in terms of finite state machines. This case study builds upon our previous work on generation of tests for physical systems based on relational behavior models. In order to apply the respective algorithms, the finite state machine representation is transformed into a relational model. We present the transformation, the application of the test generation algorithm to a real example, and discuss the results and some specific challenges regarding software testing.

اسناد مشابه

  • TestML - A Test Exchange Language for Model-Based Testing of Embedded Software

    سند علمی۲۰۰۶ASWSDJürgen Großmann, Ines Fey, Alexander Krupp, Mirko Conrad

    Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has to pass tests at several levels of abstraction such as Model-in-the-Loop (MIL), Software-in-the-Loop (SIL) and

  • Special Issue on Dynamic Analysis and Testing of Embedded Software

    سند علمی۲۰۱۲Journal of Systems and SoftwareW. Eric Wong, Wing Kwong Chan, T. H. Tse, Fei-Ching Kuo

    Research challenges in dynamic analysis and testing have been studied for decades. Nonetheless, as new hardware and software technologies emerge and become more powerful, many interesting techniques that were previously considered to be impractical or remained unexplored are rece

  • SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry

    سند علمی۲۰۱۸CoRRChengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao

    In this paper, we aim at the automated unit coverage-based testing for embedded software. To achieve the goal, by analyzing the industrial requirements and our previous work on automated unit testing tool CAUT, we rebuild a new tool, SmartUnit, to solve the engineering requiremen

  • Evolutionary Search-Based Test Generation for Software Product Line Feature Models

    سند علمی۲۰۱۲CAiSEFaezeh Ensan, Ebrahim Bagheri, Dragan Gasevic

    Product line-based software engineering is a paradigm that models the commonalities and variabilities of different applications of a given domain of interest within a unique framework and enhances rapid and low cost development of new applications based on reuse engineering princ

  • Grammar-based test generation for software product line feature models

    سند علمی۲۰۱۲CASCONEbrahim Bagheri, Faezeh Ensan, Dragan Gasevic

    Product lines are often employed for the facilitation of software re-use, rapid application development and increase in productivity. Despite the numerous advantages of software product lines, the task of testing them is a cumbersome process due to the fact that the number of app

  • MVx-modeling: A Modeling Environment for Embedded Software Design of Heterogeneous MPSoC

    سند علمی۲۰۱۳Zhai Wen-zheng, Hu Yue-li

    Owing to the complexity and flexibility in heterogeneous multiprocessor System-on-Chip (MPSoC) architecture, parallel programming has become a tough and urgent problem to solve. Model-based development methodology improves the software production efficiency and the reliability. S