Heuristic-based Mining of Service Behavioral Models from Interaction Traces

by   Muhammad Ashad Kabir, et al.

Software behavioral models have proven useful for emulating and testing software systems. Many techniques have been proposed to infer behavioral models of software systems from their interaction traces. The quality of the inferred model is critical to its successful use. While generalization is necessary to deduce concise behavioral models, existing techniques of inferring models, in general, overgeneralize what behavior is valid. Imprecise models include many spurious behaviors, and thus compromise the effectiveness of their use. In this paper, we propose a novel technique that increases the accuracy of the behavioral model inferred from interaction traces. The essence of our approach is a heuristic-based generalization and truthful minimization. The set of heuristics include patterns to match input traces and generalize them towards concise model representations. Furthermore, we adopt a truthful minimization technique to merge these generalized traces. The key insight of our approach is to infer a concise behavioral model without compromising its accuracy. We present an empirical evaluation of how our approach improves upon the state-of-the-art specification inference techniques. The results show that our approach mines model with 100 overhead.



There are no comments yet.


page 1

page 2

page 3

page 4


Adversarial Specification Mining

There have been numerous studies on mining temporal specifications from ...

TraceTracker: Hardware/Software Co-Evaluation for Large-Scale I/O Workload Reconstruction

Block traces are widely used for system studies, model verifications, an...

Modeling Hierarchical Usage Context for Software Exceptions based on Interaction Data

Traces of user interactions with a software system, captured in producti...

Simulating and classifying behavior in adversarial environments based on action-state traces: an application to money laundering

Many business applications involve adversarial relationships in which bo...

CBR: Controlled Burst Recording

Collecting traces from software running in the field is both useful and ...

Behavioral Model Inference of Black-box Software using Deep Neural Networks

Many software engineering tasks, such as testing, and anomaly detection ...

Model Synthesis for Communication Traces of System-on-Chip Designs

Concise and abstract models of system-level behaviors are invaluable in ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.