Аудит безопасности критической инфраструктуры специальными информационными воздействиями. Монография

2.2. 
Тестирование на основе моделей 
Рассмотрим тестирование на основе моделей (MBT – Model Based 
Testing) более подробно на основании анализа работ [7, 22, 24, 28-30]. 
Данный вид тестирования является одной из наиболее интенсивно разви-
вающихся областей программной инженерии. Одна из причин такого активного 
развития – тот факт, что тестирование на основе моделей находится на пересе-
чении нескольких теоретических областей. Эти области включают в себя теоре-
тические подходы к формализации и моделированию требований, методы ана-
лиза формальных моделей, методы статического и динамического анализа си-
стем, методы управления уровнем абстракции и трансформации моделей. Такая 
высокая абстрактность данного подхода к тестированию дает ему возможность 
быстро совершенствоваться за счет использования последних достижений в 
различных теоретических областях. 
Подразумевается, что тестирование на основе моделей использует раз-
личные модели для построения тестов. Однако у подобного утверждения очень 
много различных толкований, т. к. большинство исследователей, использую-
щих этот подход на практике, подразумевают под этим термином различные 
специфические теоретические подходы к исследованию объекта тестирования. 

---

36 
Общая классификация способов тестирования на основе моделей приве-
дено на рис. 5. 
Тестирование
Тестирование на основе моделей
по используемому 
научно-методическому 
аппарату
теория рисков
по моделированию 
угроз и действий 
нарушителя/противника
теория игр
теория автоматов
теория конфликтов
как фактора 
«природы» 
как одностороннего 
однонаправленного 
воздействия 
как многостороннего 
многонаправленного 
конфликта 
дуэльный 
конфликт