| Package | Description |
|---|---|
| testoptimal.api |
| Modifier and Type | Method and Description |
|---|---|
void |
AgentAPI.closeModel(String modelName_p)
to close the model (release memory).
|
void |
ModelAPI.closeModel(String modelName_p)
closes the model (to release memory).
|
String |
AgentAPI.execModel(String modelName_p)
starts model execution on TestOptimal server with default sequencer Optimal.
|
String |
AgentAPI.execModel(String modelName_p,
Constants.MbtMode mbtMode_p)
starts model execution on TestOptimal server with specified sequencer/MBT Mode.
|
String |
AgentAPI.execModel(String modelName_p,
List<Trans> transList_p,
boolean optimal_p)
starts model execution on TestOptimal server to cover the transitions specified.
|
RunResult |
DataSetAPI.generate(String dsName_p,
Constants.Algorithm alg_p)
generate data table for a data set (uploaded).
|
RunResult |
ModelAPI.genPaths(String modelName_p)
generate test paths (test cases) for a model (uploaded) using the default Optimal sequencer.
|
RunResult |
ModelAPI.genPaths(String modelName_p,
Constants.MbtMode mbtMode_p)
generate test paths (test cases) for a model (uploaded).
|
RunResult |
ModelAPI.genPaths(String modelName_p,
Constants.MbtMode mbtMode_p,
int timeoutMillis_p)
generate test paths (test cases) for a model (uploaded).
|
RunResult |
ModelAPI.genPathsPartial(String modelName_p,
List<Trans> transList_p,
boolean optimal_p)
generate test paths (test cases) to cover a subset of transitions in a model.
|
RunResult |
ModelAPI.genPathsPartial(String modelName_p,
List<Trans> transList_p,
boolean optimal_p,
int timeoutMillis_p)
generate test paths (test cases) to cover a subset of transitions in a model.
|
protected String |
Server.getGraph(String modelName_p,
String graphType_p,
String outFilePath_p) |
String |
ModelAPI.getGraphCoverage(String modelName_p,
String outFilePath_p)
download coverage graph for current model execution.
|
String |
ModelAPI.getGraphModel(String modelName_p,
String outFilePath_p)
download model graph.
|
String |
ModelAPI.getGraphMSC(String modelName_p,
String outFilePath_p)
download MSC graph for current model execution.
|
String |
ModelAPI.getGraphSequence(String modelName_p,
String outFilePath_p)
download sequence/traversal graph for current model execution.
|
Model |
ModelAPI.getModel(String modelName_p)
retrieves model from TestOptimal server.
|
RunResult |
AgentAPI.getModelStats(String modelName_p)
retrieves model execution stats for a model execution
|
String |
AgentAPI.getNextCmd()
retrieves the next command from the model.
|
String |
AgentAPI.getNextCmd(long timeoutMillis_p)
retrieves the next command from the model.
|
String |
AgentAPI.regAgent(String modelName_p)
register agent to TestOptimal to be connected to the running model.
|
Map<String,Object> |
ModelAPI.runModel(RunRequest runReq_p)
runs the model and waits for completion.
|
Map<String,Object> |
ModelAPI.runModel(String modelName_p)
runs the model and waits for completion.
|
Map<String,Object> |
ModelAPI.runModelMCase(String modelName_p,
String[] mcaseList_p)
runs MCases on the model specified and waits for completion.
|
protected String |
Server.sendGet(String facilityName_p,
String cmd_p,
String param_p,
int expectedStatusCode_p) |
protected String |
Server.sendPost(String facilityName_p,
String cmd_p,
String body_p,
int expectedStatusCode_p) |
protected String |
Server.sendPut(String facilityName_p,
String cmd_p,
String body_p,
int expectedStatusCode_p) |
String |
AgentAPI.setResult(boolean isSuccess_p,
String result_p)
sends the result back to the model to be recorded.
|
String |
AgentAPI.setResult(boolean isSuccess_p,
String result_p,
String reqTag_p) |
String |
AgentAPI.setResult(boolean isSuccess_p,
String result_p,
String reqTag_p,
String assertID_p) |
String |
AgentAPI.setResult(boolean isSuccess_p,
String result_p,
String reqTag_p,
String assertID_p,
Map<String,Object> moreAttrs_p) |
void |
AgentAPI.stopModelExec()
to interrupt model execution.
|
void |
DataSetAPI.upload(DataSet ds_p)
uploads a dataset to TestOptimal server.
|
void |
ModelAPI.upload(Model model_p)
uploads a model to TestOptimal server.
|
Copyright © 2020–2021. All rights reserved.