Ну, я думаю, что Михаил несколько преувеличил, чтобы подчеркнуть "сложность" вопроса. Правильнее было бы сказать, что "не находит широкого применения в промышленности". Этой темой занимаются даже не столько научные институты, сколько исследовательские центры крупных промышленных компаний, таких как Microsoft, Ericsson, Nokia, Motorolla (да, в основном этим почему-то занимаются близкие к телекому комании, а не настоящие софтверные и не интеграторы). Но то, что коробочных продуктов таких практически нет -- это действительно суровая правда жизни.А еще хотелось бы задать вопрос Алексею Баранцеву, который присутствовал на конференции, но не выступал: Михаил Давыдов во время своего выступления сказал, что model based testing не выходит за границы научных институтов и не используется в коммерческих организациях. Это действительно так?
А кроме того, можете почитать относительно недавнюю тему в блоге Хантера: http://blogs.msdn.co...singStates.aspx
Особенную ценность там представляет комментарий Шрини Калкарни, в котором он совершенно справедливо указывает, что с лёгкой руки Гарри Робинсона термин "model based testing" закрепился исключительно за тем видом тестирования, который можно было бы назвать "[finite state machine] model based test [design]ing". Тогда как в действительности круг моделей, которые можно использовать при тестировании далеко не ограничивается конечными автоматами.
Я с этим замечанием полностью солидарен, и как можно видеть из моей подписи, а также посмотрев наш сайт, мы практически нигде не заявляем, что мы занимаемся "model based testing".