Reference : PRINS: Scalable Model Inference for Component-based System Logs
Scientific journals : Article
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/50183
PRINS: Scalable Model Inference for Component-based System Logs
English
Shin, Donghwan mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV >]
Bianculli, Domenico mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV >]
Briand, Lionel mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV >]
12-Apr-2022
Empirical Software Engineering
Springer
Yes (verified by ORBilu)
International
1382-3256
1573-7616
Netherlands
[en] Logs ; Model inference ; Component-based system
[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.
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
http://hdl.handle.net/10993/50183
10.1007/s10664-021-10111-4
FnR ; FNR11602677 > Lionel Briand > LISTENER > Log-driven, Search-based Test Generation For Ground Control Systems > 01/01/2018 > 30/06/2021 > 2017

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
PRINS-OA.pdfPublisher postprint2.13 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.