Activity for STPATCGeneratorPlugin
-
STPATCGeneratorPlugin released /updatesite.zip
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Ting Luk-He committed [da8c8d]
Improvement of Traceability Matrix,
-
test case generate wizard
-
1. improvement of traceability matrix with ca;
-
Improvement of efsm graph with curved edges
-
stpaTCGenerator wizard, state flow xmlEditor, s...
-
Asim Abdulkhaleq committed [722223]
establish the project
-
improvement of SMV Editor using TextEditor and ...
-
Modification of names,
-
backup
-
implement the save action for the View: Validat...
-
META-INF update etc.
-
Debug:
-
implemented LTL check result;
-
Visulization stateflow tree graph in editor usi...
-
stpaTCGenerator wizard, state flow xmlEditor, s...
-
1.Debug:
-
Debug: GenerateTestCasesHandler
-
Generate SMV Model and save file into workspace;
-
inital the repository
-
Console to show Info, Warning, Error and normal...
-
State Flow Editor and State Flow Properties UI ...
-
All GUI and functions of STPA TCGenerator were ...
-
import stpaVerifier and new libs
-
add README
-
implemented modify and save name of states, inp...
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
1 >