Changes between Version 19 and Version 20 of Software/EventBenchConsole

Timestamp:

10/05/11 18:40:28 (13 years ago)

Author:

sherbold

Comment:

--

Software/EventBenchConsole

@@ -15 +15 @@
 == Description ==
 
-A console application that uses the [wiki:Software/EventBenchCore EventBenchCore]. It provides two translation layers:
+A console application that uses the [wiki:Software/EventBenchCore EventBenchCore]. It provides three translation layers:
  1. Windows MFC applications logged with the [wiki:Software/userlog MFCUsageMonitor] and for replaying with [wiki:Software/MFCReplay MFCReplay]
- 2. PHP based web applications logged with [wiki:Software/PHPMonitor PHPMonitor] and replaying with [http://curl.haxx.se/ curl]
+ 1. PHP based web applications logged with [wiki:Software/PHPMonitor PHPMonitor] and replaying with [http://curl.haxx.se/ curl]
+ 1. To the [http://guitar.cs.umd.edu/ GUITAR] project.
 
 == Exemplary Work-flows ==
@@ -37 +38 @@
 
 == Commands ==
-
- This list is outdated and needs to be updated!
  * {{{calcCoverage <modelname> <observedSequences> [sequenceNames] <minCovLength> <maxCovLength>}}}
   - Calculates the coverage criteria.
@@ -172 +171 @@
    - {{{loadWebSequences d:/websessions.log web-seqeunces http://www.swe.informatik.uni-goettingen.de 7200000 4 50 20}}}
 
+=== Commands for working with [http://guitar.cs.umd.edu/ GUITAR] ===
+ * {{{efgTestCasesToSequences <folder> <sequencesName> {<efgFileName>}}}}
+  - Generates a collection of sequences from GUITAR test cases. If an Event-Flow Graph (EFG) file is defined, it will be used to resolve the widget IDs associated with the events in the test cases. The widget IDs are used as target for the events.
+  - Examples:
+   - {{{efgTestCasesToSequences d:/efg-testcases testSequences}}}
+   - {{{efgTestCasesToSequences d:/efg-testcases testSequences d:/application.efg}}}
+ * {{{efgToDFA <filename> <modelname>}}}
+  - Creates a Deterministic Finite Automaton (DFA) from an Event-Flow Graph (EFG).
+  - Examples:
+   - {{{efgToDFA d:/application.efg dfa}}}
+ * {{{efgToMM <filename> <modelname>}}}}
+  - Creates a first-order Markov model from an Event-Flow Graph (EFG). The model is such that all possible following events are equally likely. To change that, the {{{updateModel}}} command with a collection of sequences obtained using {{{<efgTestCaseToSequences}}} command can be used.
+  - Examples:
+   - {{{efgToMM d:/application.efg markovModel}}}
 
 == Translating MFC Messages into Events ==