Представлення еталонної МОДЕЛІ продукту у вігляді скінченого автомату зводіть завдання до побудова тестів на Основі обраної МОДЕЛІ.
природних крітерієм повнотіла тестового покриття при тестуванні автоматів є покриття всех переходів автомата, что є більш сильною умів чем покриття усіх станів.
Більш сильним крітерієм є Вимога, щоб прінаймні Одне випробування охоплюваті шкірного послідовність з N переходів,. Такий підхід назівається «N - 1 покриття переходів», тоб ЯКЩО Тестовий набор покріває УСІ переходь Довжина одна транзакція, то це «0-е покриття переходів» або просто покриття переходів.
У такому випадка найслабше покриття (всех станів и переходів) - «0-е покриття переходів»; усіх пар транзакцій - «1-е покриття переходів»; послідовностей з трьох переходів - «2 покриття переходів».
Щоб унікнуті комбінаторного вибухо станів и зайвої складності тестування, Можливі події будут розглядатісь Незалежності одна від одної и покриття можливіть комбінацій НЕ Враховується, тоб за крітерій повнотіла звертаючись 0-е покриття переходів.
2.5 Побудова тестів
Завдання побудова тестового набору розпадається на Дві підзадачі: побудова усіх маршрутів (тестів) на графі и Формування тестового набору.
Завдання побудова усіх можливіть тестів зводіться до математичної задачі побудова всех маршрутів на графі:
(2.7)
Де F - множини кінцевіх вершин.
Оскількі взагалі Кажучи, для графу Із циклами кількість таких маршрутів безкінечна, введемо Наступний обмеження - шкірний вершина может буті пройдена НЕ больше двох разів.
(2.8)
Де обмеження, что гарантує, что Кожна вершина буде пройдена НЕ больше двох разів одним маршрутом. Таким чином гарантується скінченність набору Шляхів для графів Із циклами, а з урахуванням области! Застосування - відкінуто буде Такі сітуації, Які на практіці почти НЕ зустрічаються.
Для побудова усіх маршрутів на графі вікорістовується рекурсивний алгоритм, что є Розширене алгоритмом поиска в Гліб.
procedure ПОБУДОВА_МАРШРУТУ (: вершина, accumulator: накопичувачі вершин маршруту); begin
if v - ФІНАЛЬНА вершина графу, Додати ее до accumulatorі , Зберегти шлях у колекцію, return .
if НЕ існує вихідних ребер з вершини v - return .
if v відвідана больше двох разів - return додаємо вершину до accumulator , збільшуємо лічильник відвідування вершини на 1 .
while Існують НЕ пройдені ребра графу з віхідною вершиною v
Отріматі кінцеву вершину v1 дуги, что зєднана ребром з вершиною v
ПОБУДОВА_МАРШРУТУ ( v1, accumulator )
end
Відаляємо вершину з accumulator. Зменшуємо на Одиниця кількість відвідувань даної вершини у шлуху.
end.
Рис. 2.4 Блок-схема алгоритму побудова всех маршрутів на графі
2.6 Побудова тестового набору
Побудова тестового набору передбачає віднаходження Такої множини, яка Забезпечує покриття всех переходів модельного графу - формула
(2.9)
...
