Trace Analysis Results for Variable p12.schwarz(a127.schwarz)
This text provides more details for variable p12.schwarz(a127.schwarz).
Variable is of type: int
Variable is initialized: yes
Purpose of variable:
The variable describes a state variable, because it changes in value in the trace.
Distribution of Values
The following figure shows the distribution of values seen for this variable.
Characteristics of this set are:
Range: in {0,1}
Number of value assignments (excluding identity): 5
Total number of values (=#states) considered for statistics: 101
Arithmetic Mean: 0.77228
Geometric Mean: 0.00000
Standard Deviation: 0.42145
Variance: 0.17762
Kurtosis: -0.26809
Skewness: -1.31819
Sequence of Values
The variable is modified for the first time at event: 10.
The variable is modified the last time at event: 77.
It is remains unchanged by the last 23 events, i.e. 23.00 % of all events!
It has a leading non-decreasing sequence till event 44.
The following figure shows the sequence of values seen in the trace. Note that the horizontal axis considers events and does not(!) reflect time stamps and durations.
State Transformation Functions
The following table shows which actions perform a state transformation to this variable.
Type 7: Action t8.unnamed(a97.unnamed) performs identity as state transformation to variable p12.schwarz(a127.schwarz).
Type 15: Variable p12.schwarz(a127.schwarz) may deadlock, because it seems to increase to an upper bound and then becomes constant for the rest of the trace ( 23.00 percent of the trace).
