Software testing; System logs; Regression testing; Program slicing; Model inference; Search-based software engineering
Abstract :
[en] Many software engineering activities process the events contained in log files. However, before performing any processing activity, it is necessary to correctly parse the entries in a log file to retrieve the actual events recorded in the log.
In the case of cyber-physical systems, execution logs are highly important because such systems integrate multiple third-party components where their source code is not always available. This limits the visibility of the system behavior to what is collected in the execution logs.
The increasing amount of logs produced by cyber-physical systems calls for 1) more advanced techniques for accurate log parsing, 2) scalable model inference that will enabling efficient program comprehension and, 3) cost-effective software testing to ensuring the quality of complex soft-
ware systems.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
MESSAOUDI, Salma ; University of Luxembourg > Faculty of Science, Technology and Medecine (FSTM)
Language :
English
Title :
Leveraging Execution Logs to Support Model Inference and Software Testing