- •1) Проблеми надійності пз.
- •2) Тест та тестування
- •3) Критерії коректної роботи програми
- •4) Види помилок
- •5) Особливості тестування
- •6) Класифікація методів тестування
- •7) Види та рівні тестування
- •8) Техніка тестування
- •9 )Умови некоректної роботи пз.
- •10) Причини виникнення помилок
- •11) Відомості про аксіоми.
- •12) Характеристика аксіом
- •13) Відомості про принципи тестування
- •14) Класифікація принципів тестування
- •15) Труднощі роботи тестера (тестувальника)
- •16) Процес тестування пз
- •17) Випадкове (стохастичне )тестування
- •18) Тестування за класами еквівалентності
- •19) Метод аналізу граничних умов
- •20) Загальні відомості про тестування потоків даних програм
- •21) Критерії тестування потоків даних програм
- •22) Критерії покриття умов
- •23)Граничне та внутрішнє тестування циклу.
- •24) Загальні відомості про тестування потоків даних програми
- •25) Критерії тестування потоків даних програми
- •26) Загальні відомості про мутаційне тестування
- •27) Положення мутаційного тестування.
- •31) Поняття модуля, його меж. Тестування класів.
- •32) Підходи до проектування тестового оточення.
- •33) Організація процесу модульного тестування
- •34) Завдання і цілі інтеграційного тестування.
- •35) Організація інтеграційного тестування.
- •36) Планування інтеграційного тестування
- •37) Завдання і цілі системного тестування
- •38) Види системного тестування.
- •39) Типи програмних індексів.
- •40) Помилки на етапах процесу розроблення
- •41) Класифікація помилок та тестів
- •42) Середовище тестування пз
- •43)Драйвера та заглушки
- •44) Тестові класи.
- •45)Генератори сигналів.
- •46) Аналіз статистики виконання тестів
- •47) Критерії якості тестування програмного коду
- •48) Розроблення тестових випадків.
- •49)Типи тестових випадків.
- •50) Проблеми тестування веб ресурсів та визначення завдань веб вузла.
- •51) Завдання тестів і тестування практичності
- •53) Тестування масштабованості. Тестування авантаження.
- •54) Стресове тестування. Тестування безпеки.
- •55) Характеристика оопз та його тестування.
- •56)Проектування тестів на рівні системи за допомогою схеми.
- •57) Проектування тестів на рівні системи за допомогою прецедентів.
- •60)Складності проведення тестів для об’єктно-орієнтованого пз.
- •61) Мета і задачі регресійного тестування.
- •62)Види регресійного тестування.
20) Загальні відомості про тестування потоків даних програм
Будемо вважати, що вираз y:=f(x1,..., xn) використовує змінні x1,...,xn для обчислювального процесу (Computational use), що позначається як c-use, при цьому даний вираз є визначення змінної у (def у).Будемо вважати, що вираз p(x1,…,xn) використовує змінні x1,...,xn як предикати (Predicate-use), що позначається як p-use. Шлях p=(nin,...,nm) вважається таким, що не містить визначень змінної x, якщо в ньому немає def x.Для вершини ni та змінної x, такої що x def(ni) вираз dcu(x,ni) позначає набір всіх вершин nj таких, що x c-use(nj) і шлях від ni до nj не містить визначень х.Для вершини ni та змінної x, такої що x def(ni) вираз dpu(x,ni)позначає набір всіх ребер (nj ,nk), таких що x p-use(nj ,nk) і шлях від nj до nk не містить визначень х. Позначимо як du-шлях (шлях визначення-використання): - шлях p = (ni+1,... nj , nk), що містить глобальне визначення змінної x у вершині ni , і такий, що p не містить визначень змінної х, але містить c-use(x), і всі вершини ni ... nk (крім ni і nk) попарно відмінні 26 - або шлях p(nj , nk), що не містить визначень змінної х, але містить предикатне використання х (p-use(x)) і всі вершини ni ...nk попарно відмінні.
21) Критерії тестування потоків даних програм
Критерії тестування потоків є: *“all-defs” – забезпечує перевірку ініціалізації змінних, але не дає гарантії їхнього правильного використання в обчислювальному процесі. *“all p-uses” – вимагає створення набору тестів, які б містили для кожної вершини ni і кожної змінної Х, як мінімум один шлях, що не мітить визначення ni до всіх елементів з dpu. *“all c-uses”-вимагає створення набору тестів, які б містили для кожної змінної Х, як мінімум один шлях, що не містить визначення ni до всіх елементів dcu. *“all c-uses/some p-uses” – даний критерій дає змогу відповісти на питання чи використані всі ініціалізовані змінні в обчисленнях, або хоча б у предикатних виразах. *“all p-uses/some c-uses” – дає змогу відповісти чи перевіряється входження шуканої змінної в предикаті вирази, а якщо таких не виявлено, то в обчисленнях. *“all uses” – є узагальнюючим для останніх 2-х критеріїв.
22) Критерії покриття умов
Існують наступні критерії покриття умов та умов-рішень. *Простий критерій покриття умов – кожна з атомарних умов повинна бути протестована на свої правильні та помилкові значення хоча б один раз. Даний критерій забезпечує тільки перевірку того факту чи можливо прийняти атомарними умовами правильних та помилкових умов. *Критерій покриття умов-рішень – (те ж саме що і попереднє +кожна гілка алгоритму повинна бути пройдена хоча б один раз. *Модифікований критерій покриття умов/рішень – кожна атомарна умова, що має вплив на істинність загального виразу-умови, має бути протестована, при цьому тести повинні бути незалежні від інших умов. *Комбінаторний критерій - всі комбінації істинних значень кожного з атомарних предикатів, що входять в умову, мають бути протестовані. Це найбільш ресурсномісткий критерій покриття умов.