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
}
}
]
}