Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications
Dou, Wei; Bianculli, Domenico; Briand, Lionel
2018In Proceedings of the 2018 ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018)
Peer reviewed
 

Files


Full Text
models2018-tempsy-report.pdf
Author postprint (928.01 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
OCL; temporal constraints; trace diagnostics; oflfine trace checking; run-time verification; specification patterns
Abstract :
[en] Offline trace checking tools check whether a specification holds on a log of events recorded at run time; they yield a verification verdict (typically a boolean value) when the checking process ends. When the verdict is false, a software engineer needs to diagnose the property violations found in the trace in order to understand their cause and, if needed, decide for corrective actions to be performed on the system. However, a boolean verdict may not be informative enough to perform trace diagnostics, since it does not provide any useful information about the cause of the violation and because a property can be violated for multiple reasons. The goal of this paper is to provide a practical and scalable so- lution to solve the trace diagnostics problem, in the settings of model-driven trace checking of temporal properties expressed in TemPsy, a pattern-based specification language. The main contributions of the paper are: a model-driven approach for trace diagnostics of pattern-based temporal properties expressed in TemPsy, which relies on the evaluation of OCL queries on an instance of a trace meta-model; the implementation of this trace diagnostics procedure in the TemPsy-Report tool; the evaluation of the scalability of TemPsy-Report, when used for the diagnostics of violations of real properties derived from a case study of our industrial partner. The results show that TemPsy-Report is able to collect diagnostic information from large traces (with one million events) in less than ten seconds; TemPsy-Report scales linearly with respect to the length of the trace and keeps approximately constant performance as the number of violations increases.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
Dou, Wei ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Bianculli, Domenico  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Briand, Lionel ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
External co-authors :
no
Language :
English
Title :
Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications
Publication date :
October 2018
Event name :
ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018)
Event place :
Copenhagen, Denmark
Event date :
from 14-10-2018 to 19-10-2018
Audience :
International
Main work title :
Proceedings of the 2018 ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018)
Publisher :
ACM, New York, United States
Pages :
277-288
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
FnR Project :
FNR3949772 - Validation And Verification Laboratory, 2010 (01/01/2012-31/07/2018) - Lionel Briand
Funders :
University of Luxembourg - UL
FNR - Fonds National de la Recherche [LU]
CE - Commission Européenne [BE]
Available on ORBilu :
since 25 August 2018

Statistics


Number of views
280 (48 by Unilu)
Number of downloads
354 (28 by Unilu)

Scopus citations®
 
6
Scopus citations®
without self-citations
3
OpenCitations
 
5

Bibliography


Similar publications



Contact ORBilu