public class Analysis
extends Notice
Analysis is a kind of Notice analysing a property of the associated model.
An Analysis behaves exactly like a Notice, but is differently named to flag
an observed or inferred property of the model. An Analysis may be used to
report ignored transitions in the Machine, the number of input partitions
in an Operation, the behaviour of Operations under different inputs, or the
optimisation steps taken in the reduction of the size of a TestSuite. An
Analysis indicates a non-serious condition, which the user may choose to
act upon if desired.
- Version:
- Broker@Cloud 1.0
- Author:
- Anthony J H Simons