Menu
▾
▴
#6 Reading ZLive Commands from a File
Good morning,
As per the suggestion from Dr.Mark Utting from University of Waikato, I would like to request the following feature to be added to ZLive.
"Reading ZLive Commands from a File"
Attached .jar file includes very basic java code that can be added to ZLive without much modification.
The extracted version of jar file has two files that can be used to animate the example:
- ExampleZLiveFile.zlive (This is an example 'zlive' file that includes ZLive Commands in every line)
- ExampleZSpecFile.tex (a z file in Latex format)
To animate the kind of feature I propose to add to ZLive, please follow the instructions below:
- Extract jar file to a directory in your PC/laptop
----------------------------------------------
- Execute the .jar file
- Press the 'File Menu' and choose 'Execute From File' option
- Choose the directory you extracted the files and select Examples/ExampleZLiveFile.zlive
- Each command in .zlive file will be shown in the main application and a separate line will be shown for the 'answer' to that command.
Basically, instead of that 'answer to command X' line, we need to call the operation that executes the commands in ZLive..
I believe this feature would certainly increase the usability of ZLive in different contexts. For instance, at the moment, I work on mutation testing on Z files and I need to create M different mutants for the zspec file and execute zlive files on each different mutant, thus executing commands from a file would greatly improve the efficiency of this work.
Similarly, for someone who can generate such 'zlive' files, executing such files instead of individual commands through such a feature would certainly reduce the workload..
I look forward to hear from you,
Best regards,
Emine G. Aydal
----
High Integrity Systems Engineering Group
Computer Science Department
University of York
YO10 5DD
York / UK
Tel : +44 1904 434753
E-mail : aydal@ieee.org
Jar file for the feature requested