Исходный код: скрытое знание и как его показать?

Традиционно информация о программе представляется в виде документации, которая, как правило, представляет собой неформальное или полуформальное описание тех или иных особенностей, правил ее использования и т.д. – то есть, содержит информацию о внешней стороне программы («взгляд пользователя»). С другой стороны, аспекты внутреннего устройства программы, как на уровне ее общей архитектуры, так и на уровне отдельных компонентов (функций, классов), как правило, никак не документируется (комментарии не в счет). В то же время, именно внутреннее устройство программы, смысл (семантика) ее компонентов является критически важным – особенно для крупных долгоживущих программных комплексов, которые, как правило, эволюционируют и в процессе сопровождения подвергаются рефакторингу, добавлению новых функциональных возможностей, оптимизации и другим модификациям. Поэтому выявление семантики структурных компонентов программы, архитектуры системы в целом и представление (визуализация) их в форме, удобной для анализа, – является критически важной и актуальной задачей, особенно учитывая тот факт, что в настоящее время для многих современных ЯП не существует адекватных инструментов для подобного анализа и визуализации. Доклад посвящен проблеме глубокого анализа семантики программ, представленных в исходных текстах, и наглядного (удобного для восприятия) отображения знания о ее семантике. Предлагается ряд подходов и технологий, направленных на извлечение и визуализацию знаний о семантике программ, в том числе «скрытой семантики», а также общей архитектуре программных систем.