This is an old revision of the document!
Stats Service - Model Execution Stats
{ "modelExec": { "execID": 679, "modelName": "Demo_TestGenToFile", "modelVer": "model 1.0", "AUTVer": "aut 1.1", "ReqVer": "req 1.2", "TOVer": "4.6.13", "svrHost": "Demo-PC", "svrPort": 8888, "sequencer": "OptimalSequence", "keep": false, "browser": "firefox", "plugins": "ALM,SeqOut", "startTime": "2014-09-20 08:01 PM", "endTime": "2014-09-20 08:01 PM", "elapseTime": "00:00:04", "numLoop": 1, "numThread": 1, "tcCount": 5, "status": "passed", "failCount": 0, "statDesc": "Exec Sat Sep 20 20:01:20 CDT 2014" }, "tcList": [ { "tcID": "TC000001", "startTS": "2014-09-20 20:01:15.826", "endTS": "2014-09-20 20:01:15.92", "tcStatus": "passed", "thread": 1, "transCount": 8, "Requirements": [ "H1", "R2", "V1" ], "ReqStatusList": { "H1": "passed", "R2": "passed", "V1": "passed" }, "StepList": [ { "state": "Start", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "Start", "type": "trans", "trans": "add50", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "BUG_0_50", "status": "passed", "execMsg": "HalfDollar Accepted at Start", "lid": 117, "reqTag": "H1" } ] }, { "state": "50Cents", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "50Cents", "type": "trans", "trans": "add50", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "BUG_50_50", "status": "passed", "execMsg": "HalfDollar Accepted at 50Cents", "lid": 66, "reqTag": "H1" } ] }, { "state": "100Cents", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "100Cents", "type": "trans", "trans": "toDrink", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "BUG_RET0", "status": "passed", "execMsg": "'No Return' Passed", "lid": 18, "reqTag": "R2" } ] }, { "state": "Choose Drink", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "Choose Drink", "type": "trans", "trans": "discharge", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "BUG_VEND", "status": "passed", "execMsg": "'Vending Passed on Pepsi'", "lid": 93, "reqTag": "V1" } ] }, { "state": "End", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "Start", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] } ] }, { "tcID": "TC000002", "startTS": "2014-09-20 20:01:15.92", "endTS": "2014-09-20 20:01:17.411", "tcStatus": "passed", "thread": 1, "transCount": 8, "Requirements": [ "H1", "R2", "V1" ], "ReqStatusList": { "H1": "passed", "R2": "passed", "V1": "passed" }, "StepList": [ { "state": "Start", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "Start", "type": "trans", "trans": "add50", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "BUG_0_50", "status": "passed", "execMsg": "HalfDollar Accepted at Start", "lid": 117, "reqTag": "H1" } ] }, { "state": "50Cents", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "50Cents", "type": "trans", "trans": "add50", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "BUG_50_50", "status": "passed", "execMsg": "HalfDollar Accepted at 50Cents", "lid": 66, "reqTag": "H1" } ] }, { "state": "100Cents", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "100Cents", "type": "trans", "trans": "toDrink", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "BUG_RET0", "status": "passed", "execMsg": "'No Return' Passed", "lid": 18, "reqTag": "R2" } ] }, { "state": "Choose Drink", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "Choose Drink", "type": "trans", "trans": "discharge", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "BUG_VEND", "status": "passed", "execMsg": "'Vending Passed on DietPepsi'", "lid": 93, "reqTag": "V1" } ] }, { "state": "End", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "Start", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] } ] }, { "tcID": "TC000003", "startTS": "2014-09-20 20:01:17.411", "endTS": "2014-09-20 20:01:17.602", "tcStatus": "passed", "thread": 1, "transCount": 10, "Requirements": [ "Q1", "QQ1", "JJ2", "ttt", "H1", "R1", "V1" ], "ReqStatusList": { "Q1": "passed", "QQ1": "passed", "JJ2": "passed", "ttt": "passed", "H1": "passed", "R1": "passed", "V1": "passed" }, "StepList": [ { "state": "Start", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "Start", "type": "trans", "trans": "add25", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "BUG_0_25", "status": "passed", "execMsg": "Quarter Accepted at Start", "lid": 109, "reqTag": "Q1" }, { "assertID": "BUG_0_XX", "status": "passed", "execMsg": "XXQuarter Accepted at Start", "lid": 110, "reqTag": "QQ1" }, { "assertID": "BUG_0_XX", "status": "passed", "execMsg": "XXQuarter Accepted at Start", "lid": 110, "reqTag": "JJ2" } ] }, { "state": "25Cents", "type": "state", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "assertid", "status": "passed", "execMsg": "test exit trigger", "lid": 34, "reqTag": "ttt" } ] }, { "state": "25Cents", "type": "trans", "trans": "add50", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "BUG_25_50", "status": "passed", "execMsg": "HalfDollar Accepted at 25Cents", "lid": 49, "reqTag": "H1" } ] }, { "state": "75Cents", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "75Cents", "type": "trans", "trans": "add50", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "BUG_75_50", "status": "passed", "execMsg": "HalfDollar Accepted at 75Cents", "lid": 83, "reqTag": "H1" } ] }, { "state": "125Cents", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "125Cents", "type": "trans", "trans": "return25", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "125Cents_return25", "status": "passed", "execMsg": "Transition Traversal", "lid": 0, "reqTag": "H1" }, { "assertID": "125Cents_return25", "status": "passed", "execMsg": "Transition Traversal", "lid": 0, "reqTag": "R1" }, { "assertID": "BUG_R25", "status": "passed", "execMsg": "'Return 25 Cents' Passed", "lid": 30, "reqTag": "R1" } ] }, { "state": "Choose Drink", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "Choose Drink", "type": "trans", "trans": "discharge", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "BUG_VEND", "status": "passed", "execMsg": "'Vending Passed on MtnDew'", "lid": 93, "reqTag": "V1" } ] }, { "state": "End", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "Start", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] } ] }, { "tcID": "TC000004", "startTS": "2014-09-20 20:01:17.602", "endTS": "2014-09-20 20:01:17.773", "tcStatus": "passed", "thread": 1, "transCount": 8, "Requirements": [ "H1", "R2", "V1" ], "ReqStatusList": { "H1": "passed", "R2": "passed", "V1": "passed" }, "StepList": [ { "state": "Start", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "Start", "type": "trans", "trans": "add50", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "BUG_0_50", "status": "passed", "execMsg": "HalfDollar Accepted at Start", "lid": 117, "reqTag": "H1" } ] }, { "state": "50Cents", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "50Cents", "type": "trans", "trans": "add50", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "BUG_50_50", "status": "passed", "execMsg": "HalfDollar Accepted at 50Cents", "lid": 66, "reqTag": "H1" } ] }, { "state": "100Cents", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "100Cents", "type": "trans", "trans": "toDrink", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "BUG_RET0", "status": "passed", "execMsg": "'No Return' Passed", "lid": 18, "reqTag": "R2" } ] }, { "state": "Choose Drink", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "Choose Drink", "type": "trans", "trans": "discharge", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "BUG_VEND", "status": "passed", "execMsg": "'Vending Passed on Mist'", "lid": 93, "reqTag": "V1" } ] }, { "state": "End", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "Start", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] } ] }, { "tcID": "TC000005", "startTS": "2014-09-20 20:01:17.773", "endTS": "2014-09-20 20:01:17.867", "tcStatus": "passed", "thread": 1, "transCount": 12, "Requirements": [ "Q1", "QQ1", "JJ2", "ttt", "QuarterCoin", "R2", "V1" ], "ReqStatusList": { "Q1": "passed", "QQ1": "passed", "JJ2": "passed", "ttt": "passed", "QuarterCoin": "passed", "R2": "passed", "V1": "passed" }, "StepList": [ { "state": "Start", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "Start", "type": "trans", "trans": "add25", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "BUG_0_25", "status": "passed", "execMsg": "Quarter Accepted at Start", "lid": 109, "reqTag": "Q1" }, { "assertID": "BUG_0_XX", "status": "passed", "execMsg": "XXQuarter Accepted at Start", "lid": 110, "reqTag": "QQ1" }, { "assertID": "BUG_0_XX", "status": "passed", "execMsg": "XXQuarter Accepted at Start", "lid": 110, "reqTag": "JJ2" } ] }, { "state": "25Cents", "type": "state", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "assertid", "status": "passed", "execMsg": "test exit trigger", "lid": 34, "reqTag": "ttt" } ] }, { "state": "25Cents", "type": "trans", "trans": "add25", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "BUG_25_25", "status": "passed", "execMsg": "Quarter Accepted at 25Cents", "lid": 42, "reqTag": "Q1" } ] }, { "state": "50Cents", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "50Cents", "type": "trans", "trans": "add25", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "BUG_50_25", "status": "passed", "execMsg": "Quarter Accepted at 50Cents", "lid": 59, "reqTag": "Q1" } ] }, { "state": "75Cents", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "75Cents", "type": "trans", "trans": "add25", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "75+QUARTER", "status": "passed", "execMsg": "Quarter Accepted at 75Cents", "lid": 76, "reqTag": "QuarterCoin" } ] }, { "state": "100Cents", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "100Cents", "type": "trans", "trans": "toDrink", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "BUG_RET0", "status": "passed", "execMsg": "'No Return' Passed", "lid": 18, "reqTag": "R2" } ] }, { "state": "Choose Drink", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] }, { "state": "Choose Drink", "type": "trans", "trans": "discharge", "status": "passed", "perfMillis": "", "itemList": [ { "assertID": "BUG_VEND", "status": "passed", "execMsg": "'Vending Passed on Brisk'", "lid": 93, "reqTag": "V1" } ] }, { "state": "End", "type": "state", "status": "passed", "perfMillis": "", "itemList": [] } ] } ], "reqList": [ { "tag": "H1", "priority": "", "failCount": 0, "blockCount": 0, "passCount": 9 }, { "tag": "JJ2", "priority": "", "failCount": 0, "blockCount": 0, "passCount": 2 }, { "tag": "Q1", "priority": "H", "failCount": 0, "blockCount": 0, "passCount": 4 }, { "tag": "QQ1", "priority": "L", "failCount": 0, "blockCount": 0, "passCount": 2 }, { "tag": "QuarterCoin", "priority": "", "failCount": 0, "blockCount": 0, "passCount": 1 }, { "tag": "R1", "priority": "", "failCount": 0, "blockCount": 0, "passCount": 2 }, { "tag": "R2", "priority": "H", "failCount": 0, "blockCount": 0, "passCount": 4 }, { "tag": "V1", "priority": "H", "failCount": 0, "blockCount": 0, "passCount": 5 }, { "tag": "ttt", "priority": "", "failCount": 0, "blockCount": 0, "passCount": 2 } ], "stateTransList": [ { "state": "100Cents", "type": "state", "travCount": 4, "reqTravCount": 0, "failCount": 0, "L1": [], "L2": [], "L3": [], "L4": [], "L5": [], "slowCount": 0, "rsp": { "val": 0, "avg": 0, "stdev": 0, "min": 0, "max": 0 } }, { "state": "100Cents", "type": "trans", "trans": "toDrink", "travCount": 4, "reqTravCount": 1, "failCount": 0, "L1": [], "L2": [], "L3": [], "L4": [], "L5": [], "slowCount": 0, "rsp": { "val": 0, "avg": 1, "stdev": 2, "min": 1, "max": 8 } }, { "state": "125Cents", "type": "state", "travCount": 1, "reqTravCount": 0, "failCount": 0, "L1": [], "L2": [], "L3": [], "L4": [], "L5": [], "slowCount": 0, "rsp": { "val": 0, "avg": 1, "stdev": 0, "min": 1, "max": 1 } }, { "state": "125Cents", "type": "trans", "trans": "return25", "travCount": 1, "reqTravCount": 1, "failCount": 0, "L1": [], "L2": [], "L3": [], "L4": [], "L5": [], "slowCount": 0, "rsp": { "val": 0, "avg": 3, "stdev": 2, "min": 1, "max": 5 } }, { "state": "25Cents", "type": "state", "travCount": 2, "reqTravCount": 0, "failCount": 0, "L1": [], "L2": [], "L3": [], "L4": [], "L5": [], "slowCount": 0, "rsp": { "val": 0, "avg": 0, "stdev": 0, "min": 0, "max": 0 } }, { "state": "25Cents", "type": "trans", "trans": "add25", "travCount": 1, "reqTravCount": 1, "failCount": 0, "L1": [], "L2": [], "L3": [], "L4": [], "L5": [], "slowCount": 0, "rsp": { "val": 0, "avg": 0, "stdev": 0, "min": 0, "max": 0 } }, { "state": "25Cents", "type": "trans", "trans": "add50", "travCount": 1, "reqTravCount": 1, "failCount": 0, "L1": [], "L2": [], "L3": [], "L4": [], "L5": [], "slowCount": 0, "rsp": { "val": 0, "avg": 0, "stdev": 0, "min": 0, "max": 0 } }, { "state": "50Cents", "type": "state", "travCount": 4, "reqTravCount": 0, "failCount": 0, "L1": [], "L2": [], "L3": [], "L4": [], "L5": [], "slowCount": 0, "rsp": { "val": 0, "avg": 1, "stdev": 0, "min": 1, "max": 1 } }, { "state": "50Cents", "type": "trans", "trans": "add25", "travCount": 1, "reqTravCount": 1, "failCount": 0, "L1": [], "L2": [], "L3": [], "L4": [], "L5": [], "slowCount": 0, "rsp": { "val": 0, "avg": 0, "stdev": 0, "min": 0, "max": 0 } }, { "state": "50Cents", "type": "trans", "trans": "add50", "travCount": 3, "reqTravCount": 1, "failCount": 0, "L1": [], "L2": [], "L3": [], "L4": [], "L5": [], "slowCount": 0, "rsp": { "val": 0, "avg": 1, "stdev": 0, "min": 1, "max": 1 } }, { "state": "75Cents", "type": "state", "travCount": 2, "reqTravCount": 0, "failCount": 0, "L1": [], "L2": [], "L3": [], "L4": [], "L5": [], "slowCount": 0, "rsp": { "val": 0, "avg": 0, "stdev": 0, "min": 0, "max": 0 } }, { "state": "75Cents", "type": "trans", "trans": "add25", "travCount": 1, "reqTravCount": 1, "failCount": 0, "L1": [], "L2": [], "L3": [], "L4": [], "L5": [], "slowCount": 0, "rsp": { "val": 0, "avg": 0, "stdev": 0, "min": 0, "max": 0 } }, { "state": "75Cents", "type": "trans", "trans": "add50", "travCount": 1, "reqTravCount": 1, "failCount": 0, "L1": [], "L2": [], "L3": [], "L4": [], "L5": [], "slowCount": 0, "rsp": { "val": 0, "avg": 0, "stdev": 0, "min": 0, "max": 0 } }, { "state": "Choose Drink", "type": "state", "travCount": 5, "reqTravCount": 0, "failCount": 0, "L1": [], "L2": [], "L3": [], "L4": [], "L5": [], "slowCount": 0, "rsp": { "val": 0, "avg": 1, "stdev": 0, "min": 1, "max": 1 } }, { "state": "Choose Drink", "type": "trans", "trans": "discharge", "travCount": 5, "reqTravCount": 1, "failCount": 0, "L1": [], "L2": [], "L3": [], "L4": [], "L5": [], "slowCount": 0, "rsp": { "val": 0, "avg": 1, "stdev": 0, "min": 1, "max": 2 } }, { "state": "End", "type": "state", "travCount": 5, "reqTravCount": 0, "failCount": 0, "L1": [], "L2": [], "L3": [], "L4": [], "L5": [], "slowCount": 0, "rsp": { "val": 0, "avg": 0, "stdev": 0, "min": 0, "max": 0 } }, { "state": "Start", "type": "state", "travCount": 5, "reqTravCount": 0, "failCount": 0, "L1": [], "L2": [], "L3": [], "L4": [], "L5": [], "slowCount": 0, "rsp": { "val": 0, "avg": 1, "stdev": 0, "min": 1, "max": 1 } }, { "state": "Start", "type": "trans", "trans": "add25", "travCount": 2, "reqTravCount": 1, "failCount": 0, "L1": [], "L2": [], "L3": [], "L4": [], "L5": [], "slowCount": 0, "rsp": { "val": 0, "avg": 1, "stdev": 0, "min": 1, "max": 1 } }, { "state": "Start", "type": "trans", "trans": "add50", "travCount": 3, "reqTravCount": 1, "failCount": 0, "L1": [], "L2": [], "L3": [], "L4": [], "L5": [], "slowCount": 0, "rsp": { "val": 0, "avg": 1, "stdev": 0, "min": 1, "max": 1 } } ] }