Tools related to project or publications
Conversation (a.k.a. session) extraction from event log Highly parallel algorithm to retrieve conversations from event logs, without having any knowledge about the used correlation mechanisms. To make the event log exploration effective and efficient, we devised an algorithm that covers an event log and builds the possible conversation sets w.r.t. the data found within the events. To limit the conversation set exploration and quicker recover good candidates, the algorithm is guided by an heuristic based upon the evaluation of invariants and conversation quality attributes. This heuristic also offers flexibility to users, as the quality and invariants can be adapted to the system context. See paper KDIR21.
Git link ConversationExtraction
An approach and tool chain for helping developers in:
An approach and tool chain for model learning and verification of security properties on the inferred models.
CkTail (Communicating system k-tail) is a model learning tool allowing to get models (IOLTS) and DAGs. It builds a IOLTS for every component participating in the communications and a DAG showing the component’s dependencies. CkTail takes an event log as input.
Git link CkTail V1 Git link CkTail V2
COnfECt is a model inference approach that takes execution traces of a component based system and infers LTSs (Labelled Transition Systems) for each component of the system. It is based on kTail, a passive model learning method that works in two steps:
The method COnfECt adds two steps to kTail: Trace Analysis & Extraction, and LTS synchronisation.
TFormat is a trace formatting tool. It takes raw messages, sorts out them, transforms them in actions (that can be read by COnfECt), and builds execution traces.
Model reverse engineering of Android applications
Storyboard example Model generation
an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities.
Cloud PASTE is tool for passively testing Web service compositions deployed in PaaS platforms. At the moment, we provide a version of the tool for Google AppEngine (GAE) only. This passive tester takes a specification described with ioSTSs expressing the functional behaviours of the composition and tests its implementation deployed in GAE.
This passive tester is based upon the notion of transparent proxy for testing. Classical tools for monitoring/passive testing cannot be used with Clouds since the Cloud architecture restricts the access and prevent from installing a classical test architecture (sniffer based tool etc.). So, we derive a model called proxy-tester for testing.
Passive tester architecture:
WS-AT (Web Service Automatic Test tool) : Random test case generation with random values and predefined values well known for relieving bugs.
A dedicated page for WS-AT, showing its functionning can be found here.
Kind of tests : operation existance, robustness, session
provided with a classical interface or with an Eclipse pluggin.
And a video :
Test case generation with the State characterization method. Test case generation with a parallel algorithm using OPENMP
Example with a Timed automaton (part of the GSM protocol):
The associated region graph :
State Caracterization results (complete results here
A video showing some tests: