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

UptoLike

12
Логическая структура отдельного программного модуля
представляется в виде графа управления; путей тестирования; метрик
структуры управления.
Характеристики текста программ включают в себя: статистические
данные о комментированности программы и текстовые метрики Холстеда.
Граф вызововэто ориентированный граф, в котором вершинымодули
ПС, а рёбра ориентированы от вызывающего модуля к вызываемому.
Граф
управления −это ориентированный граф, вершинами которого
являются логические блоки, а направленные ребра ориентированы в
направлении передачи управления между блоками.
Логический блок программыэто участок программы, состоящий из
одного или нескольких операторов и не имеющий разветвлений. Матрица
вызовов и достижимостиэто матрица, характеризующая отношение
вызова и достижимости между произвольными парами программных
компонент (модулей).
Путь вызововэто последовательность соприкасающихся ребер из
графа вызовов, где начальная вершина есть корень графа, а конечная
лист дерева.
Путь тестированияэто маршрут в графе управления программного
модуля, начальная вершина которого является входной вершиной графа, а
конечная вершина выходной вершиной графа.
Точка вызововэто местоположение вызова программной
компоненты (модуля), задаваемое номером строки и столбца
расположения оператора вызова.
Кроме этого СА предусматривает определение ряда количественных
характеристик, таких как иерархическая и структурная сложность,
тестируемость и др.
Иерархическая сложность: I = N / L, где N количество вершин в
графе вызовов модулей; L – количество уровней.
Иерархическая сложность характеризует среднюю ширину уровня в
графе вызовов, т.е. количество
проектных решений, принимаемых на
отдельном шаге разработки программы.
Структурная сложность: S = D / N, где D количество ребер в
графе вызовов модулей; N – количество вершин.
Тестируемостьэто свойство ПС, заключающееся в их
приспособленности к эффективному применению контрольных тестов,
зависящей от степени разветвления вычислительного процесса и
доступности модулей.
Доступность узла (модуля) характеризует структурную вероятность
вызова этого
модуля, зависящую от разветвленности дерева вызовов.
Если показатель тестируемости имеет малое значение, то
затрудняется тестирование модулей нижних уровней иерархии, особенно
при применении автоматизированных методов тестирования.