Описан концептуальный подход по анализу исходного текста прикладной системы для построения моделей автоматизации предметной области. Использована типовая методика обратного проектирования.
тестирование, статический анализ, семантический анализатор