Introducing Regression Tests and Upgrades to the INTO-CPS Application

Prasad Talasila, Armine Sanjari, Kristoffer Villadsen, Casper Thule, Peter Gorm Larsen, Hugo Daniel Macedo

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review


    In this paper, we report on the progress made to upgrade and develop a stable upgrading process to the INTO-CPS Application, an Electron.js based desktop application providing a front-end to an INtegrated TOolchain, which is used to develop Cyber-Physical Systems models. We added regression tests to the codebase and for the first time can detect the loss of functionality of the application and its accompanying training tutorials using an automated process. The tests were developed on top of the Mocha, Chai and Spectron frameworks and cover all the tutorials steps performed in the desktop application (approximately 33% of the app and other tools total). The testing process is not yet ready to be deployed in the also recently developed GitHub Actions automated workflow, but this is a possibility to be considered in future developments. We expect this work to improve the stability and security of the code, thus improving user experience.

    Original languageEnglish
    Title of host publicationSoftware Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, 2020, Revised Selected Papers : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers
    EditorsLoek Cleophas, Mieke Massink
    Number of pages7
    Place of publicationCham
    Publication date2021
    ISBN (Print)978-3-030-67219-5
    ISBN (Electronic)978-3-030-67220-1
    Publication statusPublished - 2021
    EventInternational Conference on Software Engineering and Formal Methods - Centre for Mathematics and Informatics, virtual, Amsterdam, Netherlands
    Duration: 14 Sept 202017 Sept 2020
    Conference number: 18


    ConferenceInternational Conference on Software Engineering and Formal Methods
    LocationCentre for Mathematics and Informatics, virtual
    SeriesLecture Notes in Computer Science


    • Automated regression test
    • Front end
    • Integrated toolchain


    Dive into the research topics of 'Introducing Regression Tests and Upgrades to the INTO-CPS Application'. Together they form a unique fingerprint.

    Cite this