Article (Scientific journals)
PRINS: Scalable Model Inference for Component-based System Logs
Shin, Donghwan; Bianculli, Domenico; Briand, Lionel
2022In Empirical Software Engineering
Peer Reviewed verified by ORBi
 

Files


Full Text
PRINS-OA.pdf
Publisher postprint (2.18 MB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Logs; Model inference; Component-based system
Abstract :
[en] Behavioral software models play a key role in many software engineering tasks; unfortunately, these models either are not available during software development or, if available, quickly become outdated as implementations evolve. Model inference techniques have been proposed as a viable solution to extract finite state models from execution logs. However, existing techniques do not scale well when processing very large logs that can be commonly found in practice. In this paper, we address the scalability problem of inferring the model of a component-based system from large system logs, without requiring any extra information. Our model inference technique, called PRINS, follows a divide-and-conquer approach. The idea is to first infer a model of each system component from the corresponding logs; then, the individual component models are merged together taking into account the flow of events across components, as reflected in the logs. We evaluated PRINS in terms of scalability and accuracy, using nine datasets composed of logs extracted from publicly available benchmarks and a personal computer running desktop business applications. The results show that PRINS can process large logs much faster than a publicly available and well-known state-of-the-art tool, without significantly compromising the accuracy of inferred models.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
Shin, Donghwan ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV
Bianculli, Domenico  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV
Briand, Lionel ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV
External co-authors :
no
Language :
English
Title :
PRINS: Scalable Model Inference for Component-based System Logs
Publication date :
12 April 2022
Journal title :
Empirical Software Engineering
ISSN :
1573-7616
Publisher :
Springer, Netherlands
Peer reviewed :
Peer Reviewed verified by ORBi
Focus Area :
Security, Reliability and Trust
FnR Project :
FNR11602677 - Log-driven, Search-based Test Generation For Ground Control Systems, 2017 (01/01/2018-30/06/2021) - Lionel Briand
Available on ORBilu :
since 02 February 2022

Statistics


Number of views
591 (72 by Unilu)
Number of downloads
212 (32 by Unilu)

Scopus citations®
 
3
Scopus citations®
without self-citations
2
OpenCitations
 
0
WoS citations
 
1

Bibliography


Similar publications



Contact ORBilu