In this paper we describe a Model Based approach to testing of on-board software and compare it with traditional validation strategy currently applied to satellite software. The major problems that software engineering will face over at least the next two decades are increasing application complexity driven by the need for autonomy and serious application robustness. In other words, how do we actually get to declare success when trying to build applications one or two orders of magnitude more complex than today's applications. To solve the problems addressed above the software engineering process has to be improved at least for two aspects: 1) Software design and 2) Software testing. The software design process has to evolve towards model-based approaches with extensive use of code generators. Today, testing is an essential, but time and resource consuming activity in the software development process. Generating a short, but effective test suite usually requires a lot of manual work and expert knowledge. In a model-based process, among other subtasks, test construction and test execution can also be partially automated. The basic idea behind the presented study was to start from a formal model (e.g. State Machines), generate abstract test cases which are then converted to concrete executable test cases (input and expected output pairs). The generated concrete test cases were applied to an on-board software. Results were collected and evaluated wrt. applicability, cost-efficiency, effectiveness at fault finding, and scalability.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Model based testing of satellite on-board software — An industrial use case


    Contributors:
    Herpel, H J (author) / Kerep, M. (author) / Li, J. (author) / Xie, J. (author) / Johansen, B. (author) / Kvinnesland, K. (author) / Krueger, S. (author) / Barrios, P. (author)


    Publication date :

    2016-03-01


    Size :

    755674 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    On-board software architecture in MTG satellite

    Wenker, Ralf / Legendre, Cedric / Ferraguto, Massimo et al. | IEEE | 2017


    AUTOMATED TESTING FOR SATELLITE ON-BOARD SYSTEMS

    Shymyr, Manap / Murushkin, Mikhail / Bekembayev, Arman | TIBKAT | 2020


    Model-based automatic test case generation for automotive embedded software testing

    Shin, K. W. / Lim, D. J. | British Library Online Contents | 2018