Cтраница 2
Очередным этапом тестирования является написание и контроль проверочных программ. Физическая форма проверочной программы в определенной мере диктуется методом проведения интеграции, рассмотренным ранее. Сам процесс написания проверочных программ прост и сводится к написанию небольших программ вызова проверяемых модулей, подключению их на пропуск тестовых комбинаций и документированию результатов пропуска. С целью уменьшения объемов выдаваемых результатов признается лучшим вариантом программирование контроля выходных результатов в программе формирования обращения к модулю там, где это возможно. [16]
На ( под) этапе 6.1 - контроль программы - путем пропуска на машине специальных контрольных примеров устанавливается факт отсутствия или, в противном случае, наличия ошибок в программе. Здесь речь идет о содержательных ( семантических) ошибках, которые не проявляются при трансляции программы. [17]
При этом следует различать отладку программы и контроль программы, хотя эти два понятия объединяются общим их назначением: поиском ошибок, допущенных программистом при записи программы на входном языке. Если отладка в значительной степени заключается в проверке программы при ее функционировании по входным данным - тестам, то контроль состоит в проверке записи программы на соответствие некоторым формальным правилам. [18]
Специальные статьи определяют содержание, порядок принятия и контроля программы и бюджета освоения лицензионного участка. Описывается, кто и как должен представлять эти документы, кто, как и когда их рассматривает и утверждает. В частности, обычно фиксируются обязательства о преимущественном использовании местного персонала, подготовке и совершенствовании кадров и т.п. Указывается, что вся работа должна вестись в соответствии с утвержденной программой на период освоения месторождения. Оговаривается, что в эту программу могут вноситься изменения, если они обоснованы. Обязательно имеются одна или несколько статей, которые определяют срок действия всего соглашения, а также отдельных этапов: поискового, оценочного, разведочного, обустройства, добычи. Описываются условия продления соглашения или его досрочного прекращения. [19]
Кроме того, в АЦ имеются еще два коммутатора контроля программ для подачи контрольных сигналов к режиссерам АСЕ и АПБ. На первый коммутатор контроля поступают программы из всех семи АПБ. Режиссер любого АСБ может набрать на свое видеоконтрольное устройство ту программу, в которой он участвует. На второй коммутатор поступают программы с оконечных усилителей АЦ. Выходы коммутатора закреплены за определенными АПБ. Переключения этого коммутатора автоматически связаны с переключениями коммутатора программ, которыми управляет диспетчер. Когда диспетчер включает сигнал какого-либо АПБ на телевизионную радиостанцию, видеоинженер и режиссер этого АПБ могут видеть свою программу с выхода центральной аппаратной. [20]
Все высказанные советы и соображения справедливы и для нижеследующего метода контроля программ. [21]
Отдел радио - или телевизионной станции или сети, ответственный за контроль программ на их соответствие установленным нормам и правилам. Именно отдел контроля программ просматривает коммерческую рекламу для определения, соответствует ли она нормам радио - или телевизионного вещания данной станции или сети. [22]
Сочетание возможностей языка ADA и архитектуры модели iAPX - 432 позволяет обеспечить взаимодополняющий контроль программы и аппаратуры. [23]
В графе 9 проставляется число повторений кадров, которое сокращает длину и упрощает контроль программы. Заполненная таблица кодировки кадров затем передается оператору, который наносит эту программу в кодированном виде на перфоленту. Перфорация осуществляется при помощи стандартного телеграфного аппарата СТА-2М. [24]
При подготовке модуля ПМО для последующей реализации в программе должны быть рассмотрены варианты контроля программы. С этой целью формируются текстовые варианты исходных данных ( в реальных физических размерностях) указываются предполагаемые пределы для результатов моделирования и ветви вычислительных процедур ( по схеме алгоритма), по которым предполагается работа алгоритма при заданных вариантах исходных данных. [25]
Контрольный пример служит для проверки правильности пользования алгоритмом при ручном счете либо для контроля программы при машинном счете. [26]
Ситуации прерывания классифицируются следующим образом: вычислительные ситуации, ситуации ввода-вывода, ситуации контроля программы, ситуация обработки списков, ситуация, определяемая программистом, ситуации реакции системы. [27]
Система автоматизации отладки на технологической ЭВМ ( рис. 2.5) включает средства для формализованного контроля программ, а также для детерминированной и статистической отладки в процессе исполнения проектируемых программ. Подсистемой структурного контроля используются модели программных модулей, каждая из которых состоит из списка операторов и списка связей операторов анализируемого модуля. Эти же модели программ применяются для расчета длительностей исполнения и для автоматизированного построения схем программ. В процессе структурного контроля осуществляется проверка корректности построения программ на отсутствие зацикливаний, тупиков и неподключенных участков программ, а также проверяется распределение оперативной памяти для размещения переменных и последовательность их записи и чтения. [28]
Предусмотрены следующие ситуации прерывания: реакции системы, вычислительные - ввода и вывода, контроля программы, обработки списков, ситуация, определяемая программистом. [29]
Предусмотрены следующие ситуации прерывания: реакции системы, вычислительные, ввода и вывода, контроля программы, обработки списков, ситуация, определяемая программистом. [30]