ГОСТРМЭК 62279—2016
Описание. Подобные языки обычно позволяют определять установленные пользователем типы данных на
основе типов данных базового языка (например целое число, действительное число). Затем эти типы могут быть
использованы так же. как и базовые типы, но вводятся строгие проверки, гарантирующие правильность исполь
зуемого типа. Эти проверки проводятся для всей программы, даже если она построена из отдельных скомпи
лированных модулей. Данные проверки гарантируют также, что число и тип аргументов конкретной процедуры
соответствуют числу и типу аргументов в ее вызове, даже если к ней обращаются из отдельно скомпилированных
программных модулей.
Строго типизированные языки обычно обеспечивают другие аспекты проверенной на практике техники про
граммного обеспечения, например легхо анализируемые структуры управления (if... then... else.... do... while... и т.
п.). которые приводят к хорошо структурированным программам.
Типичными примерами строго типизированных языков являются Pascal. Ada и Modula 2.
D.50 Структурное тестирование
Цель. Применение тестов, анализирующих определенные подмножества структуры программы.
Описание. На основе анализа программы выбирается набор входных данных так. чтобы мог быть проанали
зирован достаточно большой (часто с заранее заданным значением) процент программных кодов. Проверяемые
элементы программы, в зависимости от требуемого уровня строгости, могут быть различными:
- утверждения — это наименее строгий тест, поскольку можно выполнить все закодированные утверждения
без анализа обеих ветвей условного утверждения;
- ветвления — обе стороны каждого ветвления следует проверять. Это гложет оказаться непрактичным для
некоторых типов кодов защиты;
- составные условия — анализируется каждое условие в составном условном переходе (например, связан
ное оператором Иг’И
Л
И):
- LCSAJ (последовательность линейного кода и переход) — представляет собой любую линейную последо
вательность закодированных утверждений, включая условные утверждения, заканчивающиеся переходом. Многие
возможные подпоследовательности могут оказаться невыполнимыми благодаря ограничениям, которые налагают ся
на входные данные в результате выполнения предыдущего кода;
- поток данных — выполняющиеся последовательности выбираются на основе используемых данных; на
пример последовательность, где одна и та же переменная и записывается и считывается;
- граф вызовов — программа, состоящая из подпрограмм, которые могут быть вызваны из других подпро
грамм. Граф вызовов представляет собой дерево вызовов подпрограмм в программе. Тесты должны охватывать
все вызовы в дереве;
- все последовательности — выполняются все возможные последовательности кодированием. Полное те
стирование обычно неосуществимо из-за очень большого количества возможных последовательностей.
D.51 Структурные диаграммы
Цель. Представление структуры программы в виде схемы.
Описание. Структурные диаграммы дополняют диаграммы потоков данных. Они описывают программируе
мую систему и иерархию ее компонентов, а также отображают их графически в видедерева. Структурные диаграм
мы описывают способ реализации элементов диаграммы потоков данных в виде иерархии программных модулей.
Структурная диаграмма показывает взаимоотношения между программными модулями, не указывая при
этом порядок активизации программных модулей. Структурные диаграммы изображаются с использованием сле
дующих четырех символов;
- прямоугольника с именем модуля;
- линии, соединяющей эти прямоугольники, формирующие структуру;
- стрелки, отмеченной кругом, с именем данных, передаваемых в направлении элементов структурной
диаграммы и обратно (обычно такая стрелка изображается параллельно линиям, соединяющим прямоугольники
схемы).
Из любой нетривиальной диаграммы потока данных можно создать множество различных структурных диа
грамм.
Структурные диаграммы, полученные на основании диаграмм потоков данных, представляют первый уро
вень структуры системы, где каждый блок на структурной диаграмме представляет кружок на диаграмме потоков
данных. Естественно, более низкие уровни могут быть описаны, используя такой же подход.
D.52 Структурная методология
Цель. Основная цель методов анализа структуры (структурных методов) состоит в обеспечении качества
разработки программного обеспечения. Данные методы в основном используются на ранних стадиях жизненного
цикла создаваемой системы. Структурные методы используют как точные, так и интуитивные процедуры и нотации
(поддерживаемые компьютерами), которые определяют и позволяют документально оформлять требования и воз
можности реализации в логической последовательности и структурированным способом.
Описание. Существует достаточно много структурных методов. Некоторые из них. такие как SSADM. LBMS,
созданы для выполнения традиционных функций обработки данных и транзакций, другие (MASCOT. JSD. метод
86