Выступление на конференции SQA Days 15, Москва, 19 апреля 2013 Про тестирование на основе моделей (model based testing, MBT) ходит множество мифов -- что оно неприменимо в реальной жизни; или применимо, но слишком дорого; или может быть не дорого, но очень сложно. Отчасти это действительно так, описанные в литературе примеры представляются либо простыми, но бесполезными, либо чересчур сложными и насыщенными какой-то непонятной математической терминологией. На самом деле сложность применения этого подхода преувеличена, она определяется сложностью используемых моделей, а их можно сделать достаточно простыми и при этом всё равно получить некоторые выгоды. Я покажу некоторые примеры, которые помогут вам понять, чем и когда может оказаться полезно тестирование на основе моделей, если у вас уже есть разработанные достаточно хорошие автотесты -- как тестирование на основе моделей позволит вам сделать их ещё лучше. И это будет недорого и несложно.

1. Тестирование на основе моделей
Алексей Баранцев, Software-Testing.Ru

2. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
Кто здесь?
Алексей Баранцев
Software-Testing.Ru
barancev@gmail.com
skype: barancev
g+ AlexeiBarantsev

3. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
Что такое «модель»?модели

4. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
Что такое модель?
модели

5. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
Упрощенное подобие

6. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
Требования к модели
• Адекватность
• Точность
• Экономичность
• Универсальность

7. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
Моделирование

8. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
Назначение моделей
• Генерация тестов
• Определение полноты покрытия
генерация
тестов

9. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
Назначение моделей
• Генерация тестов
• Определение полноты покрытия
оценка полноты

10. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
Модели данных
• Разбиение на подобласти
• Статистические модели
• Покрывающие наборы
• Анализ потоков данных

11. КЭ

12. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
Статистика
Никита Налютин, Математика для тестировщиков

13. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
exit poll

14. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
Модели поведения
• «Набор линейных сценариев»
• Диаграммы состояний и переходов

15. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
Покрытие переходов

16. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
Покрытие переходов

17. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
Явная модель явная
модель

18. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
UniTesK / Summer

19. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
Демо!

24. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
AddRemoveUserTest
off
delete
on
X
login
on
X+1
on
X+3
on
X+2
create
logout

25. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
AddRemoveUserTest
off
delete
on
X
login
on
X+1
on
X+3
on
X+2
create
logout

26. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
AddRemoveUserTest
off
delete : X = X-1
create: X = X+1
on
X
login
logout

27. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
AddRemoveUserTest
off
delete : X = X-1
create: X = X+1
role
X
login
logout

28. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
Ужас-ужас?

29. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
Не так уж это и страшно 

30. Алексей Баранцев Software-Testing.Ru Selenium2.Ru Confetqa.Ru barancev@gmail.com skype:barancev g+ AlexeiBarantsev
Вопросы?
Алексей Баранцев
Software-Testing.Ru
barancev@gmail.com
skype: barancev
g+ AlexeiBarantsev