Cтраница 2
Составление хорошо структурированных программ не только облегчает их создание и сопровождение, но и существенно упрощает составление и выполнение тестов. Такое упрощение объясняется тем, что выделение модуля позволяет осуществить его полное тестирование автономно от остальных модулей программы, выполняющих при этом роль среды функционирования. При проверке путей системы, проходящих через такой модуль, он рассматривается как единое целое, и его внутренние ветвления не влияют на разнообразие проверяемых путей. Поэтому уменьшается как количество путей, подлежащее проверке, так и длина каждого из них, что существенно упрощает работу по выделению полного теста. [16]
При покупке компьютера не следует полностью доверяться устной информации о характеристиках ПК, полученной от продавца. Более надежную информацию о компьютере можно получить, проведя его частичное или полное тестирование. [17]
Суть тестирования в том, чтобы при определенных условиях подать некоторые данные на вход программе и отследить правильность полученных результатов. В силу того, что область определения входных данных, как правило, бесконечна, а варианты условий исполнения разнообразны, полное тестирование - вещь невозможная. Для получения достоверной оценки качества программы за приемлемую цену ( время) необходимо упорядочение вариантов входных воздействий. [18]
В связи с этим при каждой разработке актуальна задача выбора или создания редакционно-отладочного комплекса для ускорения работ по программированию. В ряде случаев часть работ по отладке может вестись с использованием больших ЭВМ. Сокращение срока разработки ПО дает применение в современных МП-системах языков программирования высокого уровня. Качество создаваемых программных устройств в большой степени зависит от правильного документирования ПО и его полного тестирования. Остановимся кратко на основных особенностях перечисления процедур этапа технического проектирования. [19]
Затем записывается вторая страница - вводятся суммы кодов генератора и чисел, хранимых первой страницей. Для заполнения третьей страницы коды генератора суммируются с числами, представляющими содержимое второй страницы. Аналогичным образом проводится запись четвертой страницы. После этого все содержимое ОЗУ ( емкостью 4 - 2 байт, например 1К байт) передается в сигнатурный регистр ( по одному байту за цикл), осуществляющий сжатие данных. Сформированная в итоге сигнатура поступает в микропроцессор, где сопоставляется с образцовой, хранимой в ППЗУ. При несовпадении сигнатур на дисплее высвечивается условный номер ОЗУ, что свидетельствует о его неисправности. Далее проводится полное тестирование микропроцессора, причем поэтапно получаемые результаты сравниваются с известными данными, характерными для нормально функционирующего микропроцессора. [20]
Составленный таким образом тест позволяет проверить соответствие алгоритму исходного описания. Этой информацией являются количественные характеристики отношений между реквизитами. В некоторых случаях программа не зависит от этих характеристик, но в ряде случаев, при применении в схемах входной или выходной буферизации, эти характеристики определяют объем выделяемой в программе памяти. Чтобы убедиться, что принятые решения правильны, не вникая в алгоритм программной реализации, необходимо проверить программу при граничных значениях количеств элементов в отношениях реквизитов. Для этого составленный тест необходимо дополнить таким образом, чтобы хоть один раз встретились все граничные ситуации. Трудность такого расширения состоит в том, что входные массивы окажутся максимально возможного объема. Во многих случаях ручное создание массивов такого объема может оказаться нереальным. Учитывая, что при рассматриваемом расширении проверяются только объемные характеристики, описание правил формирования таких массивов оказывается простым и могут быть применены средства автоматического формирования массивов расширения. При невозможности такого подхода остается либо учитывать информацию об алгоритмах реализации программ, что позволит проверять только те характеристики, к которым программы могут быть критичны, либо отказаться от полного тестирования, снабдив техническую документацию на программу информацией о том, для каких количественных характеристик данных проведена проверка. [21]