| Package | Description |
|---|---|
| <Unnamed> | |
| testoptimal.api |
| Modifier and Type | Method and Description |
|---|---|
void |
test_Agent.init() |
void |
test_Graph.init() |
void |
test_Model.init() |
void |
test_Agent.test_all() |
void |
test_Model.test_close() |
void |
test_COMB.test_gen_with_relation() |
void |
test_COMB.test_gen() |
void |
test_Model.test_generate_default() |
void |
test_Model.test_generate_optimal() |
void |
test_Model.test_generate_pairwise() |
void |
test_Model.test_generate_partial_optimal() |
void |
test_Model.test_generate_partial_serial() |
void |
test_Model.test_generate_priority() |
void |
test_Model.test_generate_random() |
void |
test_Graph.test_graph_coverage() |
void |
test_Graph.test_graph_model() |
void |
test_Graph.test_graph_msc() |
void |
test_Graph.test_graph_sequence() |
void |
test_COMB.test_save() |
| 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).
|
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.
|
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.
|
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) |
String |
AgentAPI.startModel(String modelName_p)
starts model execution on TestOptimal server with default sequencer Optimal.
|
String |
AgentAPI.startModel(String modelName_p,
Constants.MbtMode mbtMode_p)
starts model execution on TestOptimal server with specified sequencer/MBT Mode.
|
String |
AgentAPI.startModel(String modelName_p,
List<Trans> transList_p,
boolean optimal_p)
starts model execution on TestOptimal server to cover the transitions specified.
|
void |
AgentAPI.stopModel()
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. All rights reserved.