Без заголовка

> Все тут плохо, нужно серьезная разборка с онтологией квалификации, и эта разборка с самого начала должна учитывать, что все записи делаются на различных связанных друг с другом DSL, в том числе неполнотьюринговых. Согласен, особенно в том, что дефакто в продвинутых системах тестирования (квалификации) используются DSLи. Скажем, я обычно делаю более менее формальную модель тестируемого объекта, отличную от моделей используемых для целей спецификации/разработки. Т.е. эта модель уже типа как DSL. Далее, для генерации тестов тоже нужна DSL. Можно придумать еще, две это как бы минимум. Причем они подчинены сугубо целям тестирования, т.е. слабосвязаны с другими описаниями - в том смысле, что невыводимы автоматическим способом из них, хотя когда более общие требования меняются, их конечно надо пересматривать. Но это обычно требует участия человека.