Семантичні комунальні послуги [закрито]

Я намагаюся знайти кілька хороших прикладів семантичних утиліт diff / merge. Традиційна парадигма порівняння файлів вихідного коду працює, порівнюючи рядки та символи .. але чи існують там утиліти (для будь-якої мови), які насправді враховують структуру коду при порівнянні файлів?

Наприклад, існуючі програми diff повідомлять про "різницю, знайдену у символі 2 рядка 125. Файл x містить пустоту, де файл y містить bool". Спеціалізований інструмент повинен мати змогу повідомляти "Тип повернення методу doSomething () змінено з void на bool".

Я можу стверджувати, що цей тип семантичної інформації - це насправді те, що користувач шукає при порівнянні коду, і має бути метою інструментів прогмінгу нового покоління. Чи є приклади цього в доступних інструментах?

Ми розробили інструмент, який здатний точно впоратися з цим сценарієм. Перевірте http://www.semanticmerge.com

Він об'єднує (і відрізняється) на основі структури коду і не використовує текстові алгоритми, що в основному дозволяє розглядати такі випадки, залучаючи сильний рефактор. Він також може відображати як відмінності, так і конфлікти злиття, як ви бачите нижче:

І замість того, щоб плутати з переміщенням текстових блоків, оскільки він аналізує спочатку, він може відображати конфлікти на основі методу (фактично за кожним елементом). Випадок, як попередній, навіть не може вирішити конфлікти вручну.

Це мовний інструмент злиття, і було чудово нарешті відповісти на це питання :-)

Затемнення давно відчувало цю особливість. Це називається "Порівняйте структуру", і це дуже приємно. Ось зразковий скріншот для Java з подальшим ще одним для XML-файлу:

(Зверніть увагу на значки мінус і плюс для методів у верхній частині.)

Щоб добре зробити «смислові порівняння», вам потрібно порівняти синтаксичні дерева мов та врахувати значення символів. Дійсно хороша семантична різниця зрозуміла б мовну семантику і зрозуміла, коли один блок коду був еквівалентний за функцією іншому. Досягнення цього далеко вимагає доказів теореми, і, хоча це було б надзвичайно мило, наразі не є практичним для реального інструменту.

Працездатним наближенням цього є просто порівняння синтаксичних дерев та повідомлення про зміни в частині вставлених, видалених, переміщених чи змінених структур. Дещо наблизившись до "семантичного порівняння", можна було повідомити, коли ідентифікатор послідовно змінюється через блок коду.

Дивіться наш http://www.semanticdesigns.com/Products/SmartDifferencer/index.html для механізму порівняння на основі синтаксису, який працює на багатьох мовах, і це робить вищенаведене наближення.

EDIT січня 2010 року: доступні версії для C ++, C #, Java, PHP та COBOL. На веб-сайті представлені конкретні приклади більшості з них.

EDIT травня 2010 року: додано Python та JavaScript.

EDIT Жовтень 2010: EGL додано.

EDIT Листопад 2010: Додано VB6, VBScript, VB.net

Те, що ви робите, - це "різниця дерев". Виявляється, зробити це набагато складніше, ніж простий текстовий розріз, орієнтований на лінійку, що насправді є лише порівнянням двох плоских послідовностей.

" Дрібнозернистий підхід до структурного порівняння XML " завершується, зокрема, наступним:

Наше теоретичне дослідження, а також наша експериментальна оцінка показали, що запропонований метод дає покращені результати структурної схожості стосовно існуючих альтернатив, маючи однакову складність у часі (O (N ^ 2))

(наголос мій)

Дійсно, якщо ви шукаєте більше прикладів розрізнення дерев, пропоную зосередитись на XML, оскільки це сприяє практичним розробкам у цій галузі.

Безсоромний штекер для мого власного проекту:

HTML Tree Diff дозволяє порівняти структури XML та html-документів, написаних на python.

http://pypi.python.org/pypi/html-tree-diff/0.1.0

Вирішення цього питання може здійснюватися на основі кожної мови. Тобто, якщо це не розроблено з архітектурою плагінів, яка відкладає багато розбору коду на дерево і семантичного порівняння з мовним плагіном, тоді буде дуже важко підтримувати кілька мов. Якими мовами ви цікавитесь, щоб мати такий інструмент. Особисто мені хотілося б одного для C #.

Для C # є доповнення для складання Ref до рефлектора, але це робить лише відмінності на IL, а не на C #.

Ви можете завантажити розширення diff тут [zip] або перейти до проекту на сайті codeplex тут .

Компанія під назвою Zynamics пропонує інструмент семантичного розбору на двійковому рівні. Він використовує мову мета-збірки під назвою REIL для виконання графіко-теоретичного аналізу двох версій двійкового файла та створює кольорово-графічний графік для ілюстрації відмінностей між ними. Я не впевнений у ціні, але сумніваюся, що вона безкоштовна.

http://prettydiff.com/

Pretty Diff мінімізує кожен вхід, щоб видалити коментарі та зайвий пробіл, а потім прикрасить код перед алгоритмом diff. Я не можу думати про те, щоб стати більш кодовою семантикою, ніж ця. І, його письмовий JavaScript, так що він працює безпосередньо в браузері.