Содержание
- 2. Павловская Т.А. (СПбГУ ИТМО) Введение Модель программы в виде "белого ящика" предполагает знание исходного текста программы
- 3. Павловская Т.А. (СПбГУ ИТМО) Управляющий граф программы Управляющий граф программы (УГП) отображает поток управления программы. Это
- 4. Павловская Т.А. (СПбГУ ИТМО) Реализуемые и нереализуемые пути float Calc(float x, float y) { float H;
- 5. Павловская Т.А. (СПбГУ ИТМО) Пример /* Функция вычисляет неотрицательную степень n числа x */ double Power(double
- 6. Павловская Т.А. (СПбГУ ИТМО) Примеры необозримого множества входных значений 1. Если программа P(x:int, y:int) реализована в
- 7. Павловская Т.А. (СПбГУ ИТМО) Основные проблемы тестирования Тестирование программы на всех входных значениях невозможно. Невозможно тестирование
- 8. Павловская Т.А. (СПбГУ ИТМО) Требования к идеальному критерию тестирования Критерий должен быть достаточным, т.е. показывать, когда
- 9. Павловская Т.А. (СПбГУ ИТМО) Классы критериев Структурные критерии используют информацию о структуре программы (критерии "белого ящика")
- 10. Павловская Т.А. (СПбГУ ИТМО) Структурные критерии Используются на этапах модульного и интеграционного тестирования (Unit testing, Integration
- 11. Павловская Т.А. (СПбГУ ИТМО) Пример public void Method (ref int x) { if (x>17) x =
- 12. Павловская Т.А. (СПбГУ ИТМО) Недостаток структурных критериев Критерий ветвей С2 проверяет программу более тщательно, чем критерии
- 13. Павловская Т.А. (СПбГУ ИТМО) Функциональные критерии Функциональный критерий - важнейший для программной индустрии критерий тестирования. Он
- 14. Павловская Т.А. (СПбГУ ИТМО) Частные виды функциональных критериев Тестирование пунктов спецификации - набор тестов в совокупности
- 15. Павловская Т.А. (СПбГУ ИТМО) Стохастические критерии Стохастическое тестирование применяется при тестировании сложных программных комплексов. Когда набор
- 16. Павловская Т.А. (СПбГУ ИТМО) Cтатистические методы окончания тестирования Cтатистические методы окончания тестирования - стохастические методы принятия
- 17. Павловская Т.А. (СПбГУ ИТМО) Мутационный критерий Подход базируется на следующих понятиях: Мутации - мелкие ошибки в
- 18. Павловская Т.А. (СПбГУ ИТМО) Модульное тестирование (Unit testing) Модульное тестирование - это тестирование программы на уровне
- 19. Павловская Т.А. (СПбГУ ИТМО) Принципы создания тестов На основе анализа потока управления. В этом случае элементы,
- 20. Павловская Т.А. (СПбГУ ИТМО) Построение набора тестов Конструирование УГП Выбор тестовых путей: Статические методы Динамические методы
- 21. Павловская Т.А. (СПбГУ ИТМО) Методы построения множества тестов Статические методы. Построение каждого пути посредством постепенного его
- 22. Павловская Т.А. (СПбГУ ИТМО) Сравнение методов Достоинство статических методов состоит в сравнительно небольшом количестве необходимых ресурсов.
- 24. Скачать презентацию