A new formulation of the problem of functional testing of a plant by i
ts inputs and outputs is proposed. Within the framework of this formul
ation, sufficient conditions enabling one to decide whether the state
of a plant is adequate to the required state are obtained in terms of
mappings. An example is presented.