Для различных путей существуют различные  входы и выходы.

    «+» (символического тестирования предоставления числовым): если числовой текст позволяет  проверить работу программы на отдельных  числовых значениях входных наборов, то символическое тестирование оперирует  множеством исходных данных, которые  определены ограниченными.

    Символическое выражение путей программы м.б. получены либо прямой подстановкой, либо обратной.

    Прямая соответствует действиям, проделываемым при реализации определенного пути в структуре программы. При этом, символическое исполнение осуществляется для каждого исполняемого оператора, с запаздыванием промежуточных символических выражений.

    В случае обратной: ограничения на входные переменные строятся снизу вверх при прохождении пути на графе программы в обратном направлении. В результате получаются такие же ограничения как и при прямой подстановке.

    «+»  обратной: не требуется память для  запоминания символических записей  переменных.

    «+»  прямой: имеется возможность раннего обнаружения несуществующих путей с противоречивыми ограничениями на входных данных.

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

    Наиболее  часто проблема м.б. преодолена подстановкой некоторого заранее оцененного числа  итераций. При этом полученные ограничения  могут оказаться неточными.

    Второе  затруднение связано с наличием в программе модулей. Данная проблема преодолевается символическим исполнением  модулей.

    Третья  проблема: работа с массивами.

Генерирование структурных тестов.

    Названных выше недостатков лишено структурное  тестирование. Генерирование тестов заключается в выборе множества  путей, полностью перекрывающих  граф программы и в определении  тестовых данных, на которых эти  пути выполняются.

    Граф  программы (граф управления) – это структурная модель программы, которая показывает связь м/ ее элементами. Вершины – операторы разветвления и объединения; дуги – операторы обработки и передачи данных.

    Граф  представляется в виде упакованной  матрицы смежности (УМС) А.

    А = {a_ij}

    с v вершинами – есть матрица v l, l – max степень выхода i-ой вершины

    d_ВХ(v_i) – степень входа и d_ВЫХ(v_i) – степень выхода некоторой вершины графа означает соответственно количество входящих и выходящих из вершины дуг.

    Каждая  строка i УМС заполняется в произвольном порядке номерами вершин, которые являются смежными с вершиной i.

    Представление графов в виде УМС имеет следующие  преимущества:

1. для больших графов число столбцов УМС значительно <, чем число столбцов соответствующей матрицы смежности.
2. относительно просто моделируется процесс движения по графу для построения путей.
3. снижается время обработки графов.

    За  критерий тестирования взят критерий ветвей, где под ветвью программы понимается некоторая последовательность операторов, которые выполняются строго 1 за другим.

    Для построения min покрытия граф разбивается на ДД пути с использованием УМС исходного графа.

    Множество вершин, у которых степень выхода d_ВЫХ(v_i)>1, вх и вых вершины обозначаются как Д вершины. Тогда путь ДД – это простой путь м/ двумя Д вершинами, такой, что в его пределах нет Д вершин.

    Затем определяют циклы, петли и из графа  исключаются замыкающие их дуги.

    Алгоритм построения min покрытия графа состоит из следующих этапов:

1. просматриваемая i-ая вершина фиксируется, определяется смежная вершина j-ая, номер которой является максимальным среди номеров смежных вершин.

i [1, N-1]  N – количество вершин графа.

2. просматривается дуга v_iv_j. Если количество выходов d_ВЫХ(v_i)>1, а d_ВХ(v_j)>1, то дуга g(v_i,v_j) исключается.
3. Еслт количество d_ВЫХ(v_i)=1, d_ВХ(v_j)>1 и если на пути не имеется дуги типа g, то исключается рассматриваемая дуга типа h (дуга v_iv_j).
4. Подставляется i=j и повторяются этапы 1-3, пока j не станет = номеру конечной или выходной вершины. Пути фиксируются в виде последовательностей значений j.
5. Повторяя-ся 1-4 до тех пор, пока в построенном пути не останется дуг типа g и h.

    Однако  тестирование всех путей в структуре  программы является нецелесообразным.

    Компромиссным решением будет тестирование выборки  путей, обеспечивающей испытания важнейших  взаимодействий м/ частями программы.

    На  графе, описывающем программу, такие  взаимодействия м.б. смоделированы  путем введения пар вершин, которые  должны взаимодействовать по крайней  мере при одном тесте. 
 

    Функциональные  методы тестирования программ.

Оглавление

Законы распределения случайной величины (СВ) и их события. 1

Законы распределения, используемые в теории надежности. 2

Показатели готовности аппаратуры 6

Прогнозирование показателей надежности 7

Расчеты показателей надежности систем с последовательной структурой 7

Расчеты показателей надежности систем с параллельной структурой 9

Показатели надежности систем с комбинированной структурой 10

Определение параметров готовности аппаратуры 10

Надежность резервных вычислительных систем. Резервирование в ЭВМ и ВС 12

Резервирование на уровне ЭВМ 12

Резервирование на уровне устройств 13

Резервирование на уровне кодов 13

Резервирование в специализированных и управляющих ЭВМ 14

Описание резервных систем 14

Надежность резервированных ВС с последовательно-параллельной структурой при нагруженном резерве. 14

Определение вероятности безотказной работы 14

Определение средней наработки на отказ 15

Надежность резервированных ВС с последовательно-параллельной структурой при ненагруженном резерве. 16

Надежность ВС со сложной структурой резервирования 16

Применение сложных структур резервирования. Метод избыточного кодирования с обнаружением и исправлением ошибок 18

Мажоритарное резервирование 19

Расчет надежности ВС-ем и надежность нерезервированных восстанавливаемых систем 20

Приближенный метод расчета надежности ВС 22

Количественные характеристики надежности при постепенных отказах 23

Параметры надежности при хранении систем 24

Контроль в ЭВМ 25

Надежность системы с учетом влияния контролирующих устройств 27

Классификация ошибок программирования 28

Способы обеспечения и надежности программ 28

Модели надежности ПО 29

Модель Шумана. 29

Марковская модель. 30

Модель Елинского-Моранды. 31

Модель Шика-Волвертона. 31

Метод введения структурной избыточности в программе 32

Метод контрольных функций 33

Структурные методы тестирования программ 33

Генерирование структурных тестов. 35