Посоветуйте простой в использовании тэстовый фреймворк для тесторования сложного автомата

http://ru.wikipedia.org/wiki/Событийно-ориентированное_программирование

http://ru.wikipedia.org/wiki/Агентно-ориентированный_подход

erlang попробуй. только там не объекты, а акторы, которые сообщения друг другу шлют. Что-то вроде событийно управляемая система получается.

Smalltalk, не? cast yoghurt.

Можешь проиллюстрировать каким нибуть простейшим примером?

Rust

исследование или анализ некоторого сложного автомата простыми, надежными и доступными для понимания средствами.

Посмотри QM™: framework, event-driven real-time embedded software.

«Ъ»: QP™ Modeler is a free, cross-platform, graphical UML modeling tool for designing and implementing real-time embedded applications based on the QP™ state machine frameworks. QM™ provides best-in-class, intuitive diagramming environment and generates very compact C or C++ code that is 100% traceable from your design. QM™ is available for Windows, Linux, and Mac OS X.

В Smalltalk объектам посылаются сообщения, а объекты на них реагируют. При описании класса описывается набор сообщений, на которые может реагировать объект и реакции на них, емнип, в динамике все это можно поменять. В качестве хороших примеров событийно-ориентированного программирования на Smalltalk могут служить встроенные гуи MVC и Morphic.

Но лучше вам спросить об этом yoghurt'а, я на Smalltalk давно ничего не писал.

for designing and implementing

можешь проиллюстрировать как эту вещь пользовать для исследования или анализа?

с дизайном и имплементацией у меня вопросов нет.

Реактивное функциональное программирование? (на основе F# async и IObservable)

Внезапно С++ + Qt... Правда придется еще свой слой абстракций ввести.

можешь проиллюстрировать как эту вещь пользовать для исследования или анализа?

Я ей не пользовался, анализ реакции МК на внешние события проводил «по старинке», апппаратно генерируя эти события на макетной плате.

Некоторые примеры есть на форуме.

Ну ты, собственно, уже всё сказал. Только вот слишком размыты требования у ТС в ОП, что я прям не знаю, каким боком тут всё это можно использовать.

вот это, возможно, уже дописали до работоспособного состояния:
http://mbt.tigris.org/