Реклама:

Функциональная иерархия данных отражает расстояние между расчетом переменной и ее использованием или условную длительность хранения значений переменной без применения или изменения. Переменные или массивы, которые рассчитываются внутри программного модуля, т. е. являются результатами промежуточных расчетов, называются локальны-м и. Взаимодействие двух модулей может осуществляться так, что некоторые переменные используются только этими модулями. Такие переменные имеют более широкую область применения и должны храниться все время, пока-будут взаимодействовать модули, их называют обменными.

Наконец, ряд переменных и массивов используется многими модулями и группами программ в комплексе — глобальные переменные. Они соответствуют высшим иерархическим уровням среди данных. Такие переменные в основном определяют сложные связи внутри комплекса или группы программ по получению, применению и преобразованию информации. Функциональная иерархия программ может влиять на структурное построение массивов данных и их иерархию.

1.2. ОСНОВНЫЕ' ПОНЯТИЯ СИСТЕМАТИЧЕСКОГО ТЕСТИРОВАНИЯ ПРОГРАММ И ХАРАКТЕРИСТИКИ ВЫЯВЛЯЕМЫХ ОШИБОК

Общие принципы тестирования программ. Для создания любых изделий применяются соответствующие технологии. При этом в понятие т е хнология включаются совокупность производственных процессов, методов и. средств, пред-' назначенных для создания определенных видов изделий с заданными показателями качества. Одним из самых сложных и трудоемких этапов технологического процесса разработки программ является их отладка. На отладку приходится около 50 % трудоёмкости из общих затрат на создание сложных комплексов-программ. Под отладкой понимается процесс,, позволяющий получить программу, функционирующую с требующимися характеристиками в заданной области изменения входных данных. Таким образом, в. результате отладки программа должна соответствовать некоторой фиксированной совокупности правил и показателей качества, принимаемой за эталонную для данной программы.

Процесс отладки программ включает (рис.. 1.2):.

создание совокупности тестовых эталонных значений и пра- * вил, которым должна соответствовать программа по выполняемым функциям, структуре, правилам описания, значениям исходных и соответствующих им результирующих данных;

статическое тестирование текстов разработанных программ и данных на выполнение всех заданных правил построения и описания без исполнения объектного кода;

тестирование программы с ее исполнением в объектном коде и с разными уровнями Легализации: детерминированное, стохастическое и тестирование в реальном масштабе времени;

диагностику и локализацию причин отклонения результатов тестирования от заданных эталонных значений и правил;

разработку изменения программы с целью исключения причин отклонения результатов от эталонных;

реализацию корректировки программы, обеспечивающую соответствие программы заданному эталону. . Контроль правил построения и описания программ и данных предполагает точную формализацию этих, правил и проверку степени их выполнения. Относительно небольшое число используемых правил описания и построения программ и данных, а также четкая их формализация позволяют построить высокоавтоматизированные методы и средства контроля, и автоматически выявлять отклонения от таких эталонов 12, 61]. Эти методы включают синтаксический и семантический контроль текстов программ и данных, которым посвящена достаточно обширная литература [21, 24, 81, 91]. |


⇐ Предыдущая страница| |Следующая страница ⇒