2015-09-06
818
Згідно методу покриття рішень кожен напрямок переходу має бути реалізовано, принаймні, один раз. Цей метод включає в себе критерій покриття операторів, тому при виконанні всіх напрямків переходів виконаються всі оператори, що знаходяться на цих напрямках.
Для програми наведеної на рис. 4.1 покриття рішень може бути виконано двома тестами, які покривають шляхи {ace, abd}, або {aсd, abe}. Для цього виберемо наступні вихідні дані: {A = 3, B = 0, X = 3} - в першому випадку і {A = 2, B = 1, X = 1} - у другому. Однак шлях, де X не змінюється, буде перевірений з імовірністю 50%: якщо у другій умові замість умови X> 1 записано X <1, то помилка не буде виявлена обома тестами.
Результати тестування наведені в табл. 4.2.
Таблиця 4.2. Результат тестування методом покриття рішень
| Тест | Результат, що очікується | Фактичний результат | Результат тестуваня |
| A=3, B=0, X=3 | X=1 | X=1 | невдало |
| А=2, В=1, Х=1 | Х=2 | Х=1,5 | вдало |
Метод покриття умов
Цей метод може дати кращі результати в порівнянні з попередніми. У відповідності з методом покриття умов записується число тестів, достатню для того, щоб всі можливі результати кожної умови в рішенні виконувалися, принаймні, один раз.
|
|
|
У розглянутому прикладі маємо чотири умови: {A> 1, B = 0}, {A = 2, X> 1}. Отже, потрібна достатня кількість тестів, така, щоб реалізувати ситуації, де A>1, A£1, B=0 и B¹0 в точці а і A=2, A¹2, X>1 і X£1 в точці b. Тести, що задовольняють критерію покриття умов і відповідні їм шляхи:
а) A = 2, B = 0, X = 4 ace
б) A = 1, B = 1, X = 0 abd
Таблиця 4.3. Результати тестування методом покриття умов
| Тест | Результат, що очікується | Фактичний результат | Результат тестування |
| A=2, B=0, X=4 | X=3 | X=3 | невдало |
| A=1, B=1, X=0 | X=0 | X=1 | вдало |
