Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors
Menghi, Claudio; Nejati, Shiva; Gaaloul, Khouloud et al.
2019In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’19),
Peer reviewed
 

Files


Full Text
fse.pdf
Author postprint (1.59 MB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Cyber Physical Systems; Test Oracle; Signal Logic; Monitoring
Abstract :
[en] Test automation requires automated oracles to assess test outputs. For cyber physical systems (CPS), oracles, in addition to be automated, should ensure some key objectives: (i) they should check test outputs in an online manner to stop expensive test executions as soon as a failure is detected; (ii) they should handle time- and magnitude-continuous CPS behaviors; (iii) they should provide a quantitative degree of satisfaction or failure measure instead of binary pass/fail outputs; and (iv) they should be able to handle uncertainties due to CPS interactions with the environment. We propose an automated approach to translate CPS requirements specified in a logic-based language into test oracles specified in Simulink - a widely-used development and simulation language for CPS. Our approach achieves the objectives noted above through the identification of a fragment of Signal First Order logic (SFOL) to specify requirements, the definition of a quantitative semantics for this fragment and a sound translation of the fragment into Simulink. The results from applying our approach on 11 industrial case studies show that: (i) our requirements language can express all the 98 requirements of our case studies; (ii) the time and effort required by our approach are acceptable, showing potentials for the adoption of our work in practice, and (iii) for large models, our approach can dramatically reduce the test execution time compared to when test outputs are checked in an offline manner.
Research center :
ULHPC - University of Luxembourg: High Performance Computing
Disciplines :
Computer science
Author, co-author :
Menghi, Claudio ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Nejati, Shiva ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Gaaloul, Khouloud ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC)
Briand, Lionel ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
External co-authors :
no
Language :
English
Title :
Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors
Publication date :
August 2019
Event name :
27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’19),
Event place :
Seleziona, Italy
Event date :
from 26-08-2019 to 30-08-2019
Main work title :
Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’19),
Publisher :
ACM
ISBN/EAN :
978-1-4503-5572-8
Pages :
27-38
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
European Projects :
H2020 - 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems
Funders :
CE - Commission Européenne [BE]
Available on ORBilu :
since 27 July 2019

Statistics


Number of views
271 (71 by Unilu)
Number of downloads
297 (34 by Unilu)

Scopus citations®
 
36
Scopus citations®
without self-citations
26
OpenCitations
 
20
WoS citations
 
32

Bibliography


Similar publications



Contact ORBilu