Local strongest assumption generation tool (LSAGTool)
---------------------***---------------------
Author: Hoang-Viet Tran and Pham Ngoc Hung, VNU University of Engineering and Technology.
Email:
15028003 "at" vnu "dot" edu "dot" vn
hungpn "at" vnu "dot" edu "dot" vn
---------------------------------------------------------------------------------------------------------
USER MANUAL
---------------------------------------------------------------------------------------------------------#Required environment:
Our implementation has been tested on the Windows 10 Home, 64 bit.This tool is developed by C#.NET, .NET Framework 4 Client Profile on Visual Studio 2015, the community edition.
#Overview
This is the user manual for the tool LSAGTool version 1.0.0.You can download the installation file here.
For any information related to the source code or test data, please contact the author.
#Input of this tool
This tool implemented the two assumption generation methods+ The first one uses the original assumption generation algorithm with the improved suffix choosing algorithm and the original observation table update algorithm.
+ The second one uses our improved assumption generation algorithm with the improved suffix choosing algorithm and the improved observation table update algorithm.
The input file must have the following format:
The input file must have 7 lines in the following order:
1. Transition separator
2. The start state of M1
3. The transition list of M1 separated by the char in the first line
4. The start state of M2
5. The transition list of M2 separated by the char in the first line
6. The start state of p.
7. The transition list of p separated by the char in the first line
#Install this tool
Simply download and run the installer here and follow the instruction of the installation wizard.Note: The installer already contains the test data used during our research. You can use it as initial sample to run the tool.
#Using this tool
The main screenAfter installation, run the LSAGTool tool, the main screen looks like this:
In order to generate assumption, please choose a file with format described above for the "Input" and the output file.
If you want to generate using the original algorithm, please click on "Generate assumption using original method" button.
If you want to generate local strongest assumption using the improved algorithm, please click on "Generate local strongest assumption" button.
After finish processing, you can open the output file for result.
End.