Средства и методы разработки

Автоматический "натягиватель" ОСей. Так кто-нибудь делает? Написали мы Оську. Особо гениальную. Надо тестить. Ось - это многомерное пространстов сервисов и процессов. Оно не бесконечно и не ортогонально (я бы сказал, скорее "диагонально" в терминологии матриц) - многие комбинации "забаненны". Пишем кодогенератор. Случайное число процессов, в каждом процессе используем случаное число сервисов ОСи. Во всех "ярких точках" кода расставлем логгеры - например, по такой технологии. http://caxapa.ru/95118.html Удобно это делать в синтетическом порту - на хост машине памяти много и API хороший. Для операции логгинга используем критическую секцию, просто в файл пишем ID яркой точки и время по датчику ОСи. Абсолютные времена пофиг, важна последовательность - в каком порядке проходили яркие точки. Потом анализируем лог - типа что задали и что получили. Некий язык (UML?), на котором мы описываем желаемое. потом он генерится в С, и на его же основе парсится лог файл. В лог файле мы проверяем противоречия - а вот правильно ли процессы получали управление? Правильно ли произошло данное событие (анализируем его связь с другими событиями) Полностью все пространство не проверить - это покруче числа вариантов шахмат. Ну и типа многопроцессорный кластер (задача идеально параллелится) с независимыми генераторами случайных чиссел - монте карло. Такое реально?