Test Case Analysis: model example

Distribution: (default)

Generated: 3/20/02 2:00 PM

Model Statistics

Node Count	16 nodes
Arc Count	36 arcs
Stimulus Count	9 stimuli
Test Cases Recorded	100 cases
Nodes Generated	16 nodes / 16 nodes (1)
Arcs Generated	36 arcs / 36 arcs (1)
Stimuli Generated	9 stimuli / 9 stimuli (1)
Nodes Executed	16 nodes / 16 nodes (1)
Arcs Executed	36 arcs / 36 arcs (1)
Stimuli Executed	9 stimuli / 9 stimuli (1)

Stimulus Statistics

Stimulus	Generated	Executed	Failed	Reliability / Variance		Optimum Reliability / Variance		Prior Successes / Failures
print	192	192	0	0.994845361	26.2977891E-6	0.994845361	26.2977891E-6	1	1
up	283	283	0	0.9669967	104.980535E-6	0.9669967	104.980535E-6	10	10
return	574	574	1	0.981481481	30.5471983E-6	0.983164983	27.8178135E-6	10	10
down	513	513	0	0.981238274	34.475138E-6	0.981238274	34.475138E-6	10	10
data	41	41	0	0.976744186	516.24957E-6	0.976744186	516.24957E-6	1	1
invoke	100	100	1	0.980392157	186.634715E-6	0.990196078	94.250531E-6	1	1
analyze	88	88	0	0.988888889	120.743454E-6	0.988888889	120.743454E-6	1	1
selecet	111	111	1	0.982300885	152.507512E-6	0.991150442	76.9407268E-6	1	1
cancel	19	19	0	0.952380952	2.06143063E-3	0.952380952	2.06143063E-3	1	1

Arc Statistics

Arc	Probability	Generated	Executed	Failed	Reliability / Variance		Optimum Reliability / Variance		Prior Successes / Failures
[Software Not Invoked]
"invoke"	1	100	100	1	0.980392157	186.634715E-6	0.990196078	94.250531E-6	1	1
[Prnt Report]
"print"	1	192	192	0	0.994845361	26.2977891E-6	0.994845361	26.2977891E-6	1	1
[CL=Anl, PD=No]
"up"	0.333333333	8	8	0	0.9	8.18181818E-3	0.9	8.18181818E-3	1	1
"return"	0.333333333	10	10	0	0.916666667	5.87606838E-3	0.916666667	5.87606838E-3	1	1
"down"	0.333333333	3	3	0	0.8	26.6666667E-3	0.8	26.6666667E-3	1	1
[CL=Ent, PD=Yes]
"up"	0.142857143	35	35	0	0.972972973	692.014917E-6	0.972972973	692.014917E-6	1	1
"return"	0.285714286	41	41	0	0.976744186	516.24957E-6	0.976744186	516.24957E-6	1	1
"down"	0.571428571	101	101	0	0.990291262	92.4469065E-6	0.990291262	92.4469065E-6	1	1
[CL=Ent, PD=No]
"up"	0.333333333	13	13	0	0.933333333	3.88888889E-3	0.933333333	3.88888889E-3	1	1
"return"	0.333333333	11	11	0	0.923076923	5.07185123E-3	0.923076923	5.07185123E-3	1	1
"down"	0.333333333	7	7	0	0.888888889	9.87654321E-3	0.888888889	9.87654321E-3	1	1
[CL=Prt, PD=Yes]
"up"	0.166666667	56	56	0	0.982758621	287.188375E-6	0.982758621	287.188375E-6	1	1
"return"	0.5	192	192	0	0.994845361	26.2977891E-6	0.994845361	26.2977891E-6	1	1
"down"	0.333333333	120	120	0	0.991803279	66.0937811E-6	0.991803279	66.0937811E-6	1	1
[Enter Data]
"data"	1	41	41	0	0.976744186	516.24957E-6	0.976744186	516.24957E-6	1	1
[Anlyz Data]
"analyze"	1	88	88	0	0.988888889	120.743454E-6	0.988888889	120.743454E-6	1	1
[CL=Ext, PD=No]
"up"	0.333333333	7	7	0	0.888888889	9.87654321E-3	0.888888889	9.87654321E-3	1	1
"return"	0.333333333	3	3	0	0.8	26.6666667E-3	0.8	26.6666667E-3	1	1
"down"	0.333333333	9	9	0	0.909090909	6.88705234E-3	0.909090909	6.88705234E-3	1	1
[CL=Sel, PD=No]
"up"	0.1	13	13	0	0.933333333	3.88888889E-3	0.933333333	3.88888889E-3	1	1
"return"	0.8	116	116	1	0.983050847	140.015788E-6	0.991525424	70.6114103E-6	1	1
"down"	0.1	12	12	0	0.928571429	4.42176871E-3	0.928571429	4.42176871E-3	1	1
[Select Project]
"selecet"	0.875	111	111	1	0.982300885	152.507512E-6	0.991150442	76.9407268E-6	1	1
"cancel"	0.125	19	19	0	0.952380952	2.06143063E-3	0.952380952	2.06143063E-3	1	1
[CL=Sel, PD=Yes]
"up"	0.333333333	60	60	0	0.983870968	251.887089E-6	0.983870968	251.887089E-6	1	1
"return"	0.111111111	14	14	0	0.9375	3.44669118E-3	0.9375	3.44669118E-3	1	1
"down"	0.555555556	102	102	0	0.990384615	90.6945618E-6	0.990384615	90.6945618E-6	1	1
[CL=Prt, PD=No]
"up"	0.333333333	4	4	0	0.833333333	19.8412698E-3	0.833333333	19.8412698E-3	1	1
"return"	0.333333333	2	2	0	0.75	37.5E-3	0.75	37.5E-3	1	1
"down"	0.333333333	6	6	0	0.875	12.1527778E-3	0.875	12.1527778E-3	1	1
[CL=Ext, PD=Yes]
"up"	0.333333333	53	53	0	0.981818182	318.772137E-6	0.981818182	318.772137E-6	1	1
"return"	0.5	97	97	0	0.98989899	99.989797E-6	0.98989899	99.989797E-6	1	1
"down"	0.166666667	30	30	0	0.96875	917.376894E-6	0.96875	917.376894E-6	1	1
[CL=Anl, PD=Yes]
"up"	0.166666667	34	34	0	0.972222222	729.896563E-6	0.972222222	729.896563E-6	1	1
"return"	0.333333333	88	88	0	0.988888889	120.743454E-6	0.988888889	120.743454E-6	1	1
"down"	0.5	123	123	0	0.992	62.984127E-6	0.992	62.984127E-6	1	1
[Software Terminated]

Reliabilities

Single Event Reliability	0.979021709
Single Event Variance	10.3810495E-6
Single Event Optimum Reliability	0.980456728
Single Event Optimum Variance	9.71862916E-6
Single Use Reliability	0.708737781
Single Use Variance	0.130839021
Single Use Optimum Reliability	0.729705964
Single Use Optimum Variance	0.121464055
Arc Source Entropy	0.990432603 bits
Kullback Discrimination	11.0676735E-3 bits
Relative Kullback Discrimination	1.117 %
Optimum Kullback Discrimination	11.0676735E-3 bits
Optimum Relative Kullback Discrimination	1.117 %

This report was produced by the SQRL library. Visit SQRL for more information.