Глобальное испытание
Cтраница 2
Отсюда следует, что предлагаемая методика локальных испытаний блоков АлСУ корректная в малом, но отнюдь не следует, что такие испытания проводить не нужно. Локальные испытания блоков готовят АлСУ к глобальным испытаниям, на которых может быть достигнута корректность в большом. По-видимому не следует доказывать, что глобальные испытания совокупности сырых блоков, работоспособность которых никак не проверена, просто невозможны. [16]
АЭИ и не имеется программы печати в режиме отладки. Последствия варианта г) очевидны: вопрос о полноте глобальных испытаний АлСУ просто не ставится. Вариант а) сводится к организации поиска в CMC адресов условных переходов, содержащихся в АЭИ. Если запас времени в шаге работы АлСУ и запасы по памяти ЦВМ достаточны, то при варианте а) процедура вычеркивания сработавших исходов команд условного перехода может осуществляться в реальном времени. [17]
 |
Схема проведения испытаний. [18] |
Целью глобальных испытаний является проверка гипотезы о корректности информационных и управляющих связей между функциональными блоками АлСУ и об обеспечении правильной и устойчивой ее работы во всем возможном диапазоне начальных условий и входов реального окружения. Поскольку речь идет о входах АлСУ в реальном окружении, определение глобальных испытаний явно указывает на основной аппарат их проведения - статистическое моделирование. Испытания АлСУ завершаются опытной эксплуатацией АлСУ совместно с техническим комплексом. [19]
Эффективность испытаний на герметичность зависит от конструктивных особенностей изделий, доступности герметизирующих соединений для проникновения к ним пробных веществ. При течеискании, особенно для крупногабаритных изделий, предварительно выявляют факт негерметичности ( глобальные испытания), затем выделяют негерметичный участок ( локализация течей), а затем уже выявляют места течей. [20]
 |
График экспериментально полученного вероятностного распределения по величинам В течей в тонкостенных ме-таллокерямических оболочках, содержащих сварные и паяные соединения. [21] |
Эффективность испытаний на герметичности зависит от конструктивных особенностей изделий, доступности герметизирующих соединений для проникновения к ним пробных веществ. При течеискании, особенно для крупногабаритных изделий, предварительно выявляют факт негерметичности ( глобальные испытания), затем выделяют негерметичный участок ( локализация течей), а затем уже выявляют места течей. [22]
Отличие состоит в том, что если при проведении локальных испытаний целенаправленно планируется выбор минимального покрытия, то при проведении глобальных испытаний стремятся любым путем обеспечить покрытие графа, однако планирующее начало здесь отсутствует. [23]
Отсюда следует, что предлагаемая методика локальных испытаний блоков АлСУ корректная в малом, но отнюдь не следует, что такие испытания проводить не нужно. Локальные испытания блоков готовят АлСУ к глобальным испытаниям, на которых может быть достигнута корректность в большом. По-видимому не следует доказывать, что глобальные испытания совокупности сырых блоков, работоспособность которых никак не проверена, просто невозможны. [24]
Обычно для больших АлСУ порядок CMC достигает несколько тысяч, поэтому для хранения CMC может быть использована магнитная лента. CMC всей АлСУ снимается один раз перед началом глобальных испытаний. Однако при изменении логики АлСУ ( появлении новых переходов) CMC должна сниматься повторно после каждого изменения. Как было показано, поиск элементов CMC ( адресов команд условных переходов) осуществляется при последовательном просмотре текста АлСУ в оперативной памяти ЦВМ. [25]
Глобальные испытания АлСУ могут включать в себя два под-этапа. На первом подэтапе АлСУ испытывается без использования реальных объектов системы. Основной проблемой первого подэтапа глобальных испытаний следует считать создание программных имитаторов объектов - информаторов. Заметим, что на этом подэтапе полезны даже простые ( символические) имитаторы, в которых соблюдаются лишь некоторые коренные ( например, по времени) соотношения вход - выход. [26]
Страницы: 1 2