Разработка, стандартизация и сертификация программных средств и информационных технологий и систем. Котов С.Л - 27 стр.

UptoLike

27
Обычно в списке путей вызовов представлены все пути, которые
подлежат тестированию. Кроме того, этот список содержит полезную
информацию для сопровождения программы:
на основании последовательности вызовов компонент можно
непосредственно указать возможные результаты некоторой модификации;
можно немедленно узнать длину пути вызовов, а также
местонахождение и частоту появления компонент, что важно при
определении компонент, которые могут быть модифицированы;
список дает возможность составления перечня тестовых примеров.
Более наглядное и удобное представление о логической структуре
даёт матрица вызовов и достижимости, которая содержит информацию о
двух основных типах структур вызова между произвольными парами
компонент. Элементы в иерархии вызовов могут находиться в одной из
взаимосвязей:
одна
из них непосредственно вызывает другую;
в графе вызовов существует путь, начинающийся на одном из
элементов данной пары и заканчивающийся на другом, т.е. элементы
рассматриваемой пары не могут быть вызваны друг из друга
непосредственно, а лишь через цепочку последовательных вызовов.
Матрица вызовов и достижимости позволяет ответить на вопросы:
Если изменить
модуль А, то может ли это как-то повлиять на модуль
В (так называемый волновой эффект)?
Каково число модулей, вызываемых модулем А, и что это за модули?
Каково число модулей, достижимых модулем А, но не вызываемых
из него, и что это за модули?
Какие модули являются недостижимыми (никогда не
вызываемыми)?
Какие вершины графа являются конечными (не содержащими
вызова)?
Какие вызовы являются рекурсивными?
Строки и столбцы матрицы содержат имена компонент в иерархии
вызовов и упорядочены по иерархическим уровням сверху вниз. Крестик
обозначает, что компонента, соответствующая строке, непосредственно
вызывает компоненту, специфицированную столбцом. Точкой обозначен
факт косвенного вызова (достижение реализуется через цепочку
вызовов).
Диагональные элементы обозначены дефисами за исключением случая
рекурсивного вызова, при котором в качестве соответствующего
диагонального элемента матрицы будет стоять крестик или точка.
Эта информация используется при тестировании и сопровождении, в
частности при построении путей тестирования. Так как операторы
программы могут исполняться в различном порядке в зависимости от
выбранного набора
входных данных, то существует много способов
достижения точки выхода из точки входа программы. Путь тестирования