Если состояние внешних переменных является прообразом одного из состояний этой ВС, то испытание на таком состоянии должно быть корректным