ГОСТ Р53195.5—2010
- переменные, записанные несколько раз. но не считанные. Такая ситуация может указывать на пропущен
ный код:
- переменные, которые записаны, но никогда не считываются. Такая ситуация может указывать на избыточ
ный код.
Аномальный поток данных не всегда непосредственно соответствует программным ошибкам, но если ано
малии исключены, то маловероятно, что код будет содержать ошибки.
Более подробное описание данного метода/средства приведено в [201—203].
В.5.11 Выявление скрытых схем исполнения
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в ГОСТ Р 53195.4 (таблица Б.8).
Цель: обнаружение неожидаемых путей или логических потоков в системе, в конкретных условиях иниции
рующих нежелательные функции или запрещающих выполнение необходимых функций.
Описание: путь паразитной схемы может содержать аппаратные, программные средства, операторы дей
ствий или комбинации этих элементов. Паразитные схемы не являются результатом неисправностей аппаратных
средств, а представляют собой скрытые условия невнимательного проектирования системы или кодирования
прикладных программ, что при определенных условиях может привести к неправильному функционированию
системы.
Паразитные схемы разделяют на следующие категории
- паразитные пути, вызывающие потоки тока, энергии или логических последовательностей по неожидае-
мому пути или в незаданном направлении:
- паразитная синхронизация, при которой события происходят в неожидаемой или противоречивой после
довательности;
- паразитная индикация, вызывающая неоднозначные или ложные изображения условий эксплуатации
системы, что может привести к нежелательным действиям оператора;
- паразитные метки, некорректно или неточно размечающие системные функции, например системные
входы, коды управления, изображения, шины и т. д.. что может ввести в заблуждение оператора, который может
выполнить в системе некорректные действия.
Анализ паразитных схем основывается на распознавании базовых топологических комбинаций в аппарат
ной или программной структуре. Анализ осуществляется с помощью контрольного списка вопросов об использо
вании базовых топологических компонентов и отношениях между ними.
Более подробное описание данного метода/средства приведено в [204. 205].
В.5.12 Тестирование на символьном уровне
П р и м е ч а н и е — Ссылка на данный метод’средство приведена в ГОСТ Р 53195.4 (таблица Б.8).
Цель: показать соответствие между исходным кодом и спецификацией.
Описание: переменные программы оцениваются после замены во всех операторах присваивания левой
его части на правую. Условные ветви и циклы преобразуются в булевы выражения. Окончательный результат
представляет собой символьное выражение для каждой переменной программы. Оно может быть проверено
относительно предполагаемого символьного выражения.
Более подробное описание данного метода/средства приведено в [206. 207].
В.5.13 Формальное доказательство
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в ГОСТ Р 53195.4 (таблица А.9).
Цель: верификация (путем доказательства) корректности программ или спецификаций без их исполнения,
используя теоретические и математические модели и правила.
Описание: ряд утверждений устанавливается в различных точках программы, и они используются в каче
стве предусловий и постусловий для различных путей программы. Доказательство демонстрирует, что программа
преобразует предусловия в постусловия в соответствии с набором логических правил и завершается.
В настоящем стандарте описаны различные формальные методы, например CCS, CSP. HOL. LOTOS. OBJ.
временная логика. VDM и Z (см. В.2.4).
Альтернативным методу формального доказательства является «строгий аргумент». Подготавливается
процедура формального доказательства, в которой представлены основные этапы, но включены не все матема
тические подробности. Метод «строгий аргумент» является более слабым методом верификации, устанавливаю
щим. что доказательство было бы возможным, если бы к этому были предприняты попытки.
Более подробное описание данного метода/средства приведено в [207—210].
В.5.14 Метрики сложности программного обеспечения
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в ГОСТ Р 53195.4 (таблицы А.9 и А.10).
Цель: прогнозирование характеристик программ исходя из свойств самих программ или их разработки
либо предыстории тестирования.
Описание: данные методы оценивают некоторые структурные свойства программных средств и их огноше-
60