3.2. Испытание и эксперимент
Активными в разные моменты глобального времени могут быть разные группы операторов, что зависит как от внешних условий, так и от конструкции конкретной системы.
К тому же, разными могут быть значения внешних переменных.
Сигнал ошибки в этом случае прежназначен для того, чтобы строго выделить нормальную работу системы.
Надо только учесть, что для систем, хоть сколько-нибудь приближенных к реальности, к техническим системам, обычно не бывает никакого сигнала о возникшей ошибке, а просто поведение становится непредсказуемым, с чем, собственно, и стоит задача побороться.
Чтобы экспериментатор мог перейти к теме корректного усложнения систем мгновенного действия, необходимо допустить их совместное участие в испытании, которое, в свою очередь, определяется тройкой:
- набором собственно систем с указанием их состояний активности; при этом хотя-бы одна из них должна быть активна
- перечислением значений внешних переменных, связанных со всеми активными системами - фиксированное состояние испытания и порождённые им в силу распространения активности
- также фиксированные внутренние состояния активных систем, чьи собственные значения могут совпадать, а могут и не совпадать со значениями внешних переменных, что порождает признак ошибки
Если ошибка возникает хотя-бы в одной системе, то такое испытание считается ошибочным, в противном случае - оно корректное (штатная работа)
Состав, активных систем определяющий данное испытание, уникален; другой состав означает другое испытание.
В том числе, одно (автономное) испытание может рассматриваться "включённым" в другое (комплексное) как его "часть", что можно соотнести с автономным и комплексным тестированием, но пока неформально (из-за неопределённости способа и направления распространения активности между системами).
Здесь уместно подчеркнуть, что значения переменных, признаки активности и возможных ошибок оказываются связанными именно через конструкцию систем, участвующих в испытании.
Реализациея испытания - испытание, связанное с множеством моментов глобального времени, когда оно производится.
В один и тот же момент могут производиться несколько (разных) испытаний с возможно пересекающимися состовами систем, но только так, что во всех таких испытаниях все состояния активности общих систем, а также участвующие переменные имели бы одинаковые значения, что говорит и об одинаковом распеделении ошибок.
Эксперимент (абстрактный) - множество испытаний, в которых участвуют одни и те же системы с различными распределениями значений внешних переменных, а соответственно и распределениями состояний активности и ошибок.
Реализациея эксперимента - множество реализаций образующих его испытаний с непересекающимися множествами сопряжённых с ними моментов глобального времени.
Если сосредоточиться только на одной системе, то самым интересным оказывается рабочий профиль, образованный множеством рабочих состояний, то есть, только тех внутренних состояний, которые соответствуют корректным испытаниям (испытаниям, когда система активна а признак ошибки отсутствует).
Если система рассматривается как нечто единое, то она определяется своим рабочим профилем - эти два понятия эквивалентны.
Так введённые рабочие состояния порождают два базовых отношения, характеризующих систему:
- любое подмножество операторов, образующих данное рабочее состояние, находится в отношении И
- любое подмножество рабочих состояний одного рабочего профиля находится в отношении ЛИБО
Через понятие состояния далее в языке И-ЛИБО систем будут формализованы здесь введённые состояния испытаний, внутренниее и рабочие.
А рабочему профилю будет соответствовать вариативная ситуация.