Структурне тестування програмного забезпечення. Формальні специфікації й верифікація програм. (Лекція 1.3) презентация
Содержание
- 2. Зміст 1. Загальні відомості про дисципліну. 2. Основні поняття й принципи
- 3. Загальні відомості про дисципліну Лекції 17 год Лабораторні роботи 18+16=34 год
- 4. Література Технологии разработки программного обеспечения: Учебник/ С. Орлов. - СПб.: Питер,
- 5. Основні поняття й принципи тестування ПЗ Тестування - складова процесу програмної
- 6. Історія формування поглядів на ЖЦ ПЗ до 1956 року - орієнтація
- 7. Історія формування поглядів на ЖЦ ПЗ
- 8. SWEBOK Guide to the Software Engineering Body of Knowledge (), IEEE
- 9. Область знань «Тестування ПЗ» в SWEBOK-2004
- 10. Термінологія тестування динамічна перевірка кінцева множина тестових даних очікуваному
- 11. мета тестування Основні дефекти функціональна придатність Додаткові зручність застосування,
- 12. Ключові питання тестування SWEBOK Критерії вибору тестів/Критерії адекватності тестів Ефективність
- 13. Зв'язок тестування з іншими видами діяльності Процеси верифікації і валідації (V&V)
- 14. Різниця між валідацією та верифікацією Верифікация — проводиться практично завжди, виконується
- 15. Види й рівні тестування Модульне (IEEE 1008-87 "Standard for Software
- 17. Види випробувань ПС Попередні Приймальні Настановні експлуатаційні (ДСТУ 2853-94)
- 18. Мета приймальних випробувань приймальне тестування виконується в рамках процесів «Поставка»
- 19. Види тестування характеристик ПС Функціональне тестування (на відповідність або тестування
- 20. Методи тестування
- 21. Тестування розгалужень if (A<B) then else endif if (A<B and
- 22. Методи спрямованого пошуку помилок припущення про помилки (error guessing); підсів
- 23. Методи, засновані на аналізі очікуваного використання статистичне тестування; інтервали
- 24. Методи, що враховують специфіку програмної системи тестування об’єктно-орієнтованих програм; компонентне
- 25. Основні методи тестування ООП
- 26. Тестування протоколів тестування відповідності (атестаційне); тестування продуктивності; тестування спільного функціонування;
- 27. Дослідницьке тестування Крок 1. Дослідження. Крок 2. Проектування тестів.
- 28. Крок 1. Дослідження Формування списку функцій (ієрархії функцій). Розбивка функцій на
- 29. Приклади областей можливої нестійкості функцій функції обробки зовнішніх подій; функції, що
- 30. Крок 2. Проектування тестів.
- 31. Крок 3. Виконання тестів Завдання кроку: тестування всіх основних функцій;
- 32. Крок 5. Визначення критерію покриття. протестовані всі основні функцій; протестовані
- 33. Еквівалентна розбивка Критерії : тести включають значення тих самих
- 34. Приклад опису класів еквівалентності
- 35. Розбивка вхідного простору на категорії Крок 1. Декомпозиція функції на
- 36. Крок 5. Формування формальної специфікації тесту для кожного функціонального елемента
- 37. Переваги методу дозволяє охопити відразу обоє основних аспекту тестування - перевірку
- 38. Тестування переходів між станами
- 39. Тестування, засноване на моделях програмної системи Моделі модель представлена у формальному
- 40. Тестування Web-Додатків для взаємодії з користувачем використовується Web-Браузер; взаємодія з користувачем
- 41. Функціональне тестування Контрольні питання для перевірки зручності застосування Web-Додатків
- 45. Підходи до тестування, застосовувані в моделях ЖЦ
- 46. Інформаційні потоки процесу тестування
- 47. Тестування «чорна скринька» Відомі: функції програми. Досліджується: робота кожної функції на
- 48. Тестування «біла скринька» Відома: внутрішня структура програми. Досліджуються: внутрішні елементи програми
- 49. Недоліки та переваги тестування “біла скриня” Недоліки : 1. Дуже велика
- 50. Спосіб тестування базового шляху Особливості потокового графу 1. Граф будується відображенням
- 51. приклад if a OR b then x else y end
- 52. процедуру стиска процедура стиск 1 виконувати поки немає EOF 1
- 53. Перетворений потоковий граф процедури стиску
- 54. Цикломатична складність метрика ПЗ, що забезпечує кількісну оцінку логічної складності програми.
- 55. Обчислення цикломатичної складності 1) дорівнює кількості регіонів потокового графа; 2)
- 56. процедуру обчислення середнього значення процедура сред; 1 i :=
- 57. Потоковий граф процедури
- 58. цикломатична складність 1) V(G) = 6 регіонів; 2) V(G) = 17
- 59. Визначається базова множина незалежних лінійних шляхів Шлях 1: 10-11-13; /вел=stор, колич>0.
- 60. Способи тестування умов Вираз відносини має вигляд Е1 <оператор відносини>
- 61. Контрольні питання 1. Визначити поняття тестування. 2. Що таке тест? Поясните
- 62. Скачать презентацию
Слайды и текст этой презентации
Скачать презентацию на тему Структурне тестування програмного забезпечення. Формальні специфікації й верифікація програм. (Лекція 1.3) можно ниже: