Tiện ích khác biệt ngữ nghĩa [đã đóng]

Tôi đang cố gắng tìm một số ví dụ điển hình về các tiện ích khác biệt / hợp nhất ngữ nghĩa. Mô hình truyền thống so sánh các tệp mã nguồn hoạt động bằng cách so sánh các dòng và ký tự .. nhưng có bất kỳ tiện ích nào hiện có (cho bất kỳ ngôn ngữ nào) thực sự xem xét cấu trúc của mã khi so sánh các tệp không?

Ví dụ, các chương trình khác biệt hiện có sẽ báo cáo "sự khác biệt được tìm thấy ở ký tự 2 của dòng 125. Tệp x chứa void, trong đó tệp y chứa bool". Một công cụ chuyên dụng sẽ có thể báo cáo "Kiểu trả về của phương thức doSomething () đã thay đổi từ void thành bool".

Tôi cho rằng loại thông tin ngữ nghĩa này thực sự là thứ mà người dùng đang tìm kiếm khi so sánh mã và nên là mục tiêu của các công cụ giao dịch thế hệ tiếp theo. Có bất kỳ ví dụ nào về điều này trong các công cụ có sẵn không?

Chúng tôi đã phát triển một công cụ có thể giải quyết chính xác tình huống này. Kiểm tra http://www.semanticmerge.com

Nó hợp nhất (và khác biệt) dựa trên cấu trúc mã và không sử dụng các thuật toán dựa trên văn bản, về cơ bản cho phép bạn giải quyết các trường hợp như sau, liên quan đến cấu trúc lại mạnh mẽ. Nó cũng có thể hiển thị cả sự khác biệt và xung đột hợp nhất như bạn có thể thấy bên dưới:

Và thay vì bối rối với các khối văn bản được di chuyển, vì nó phân tích cú pháp trước, nó có thể hiển thị các xung đột trên cơ sở mỗi phương thức (trên thực tế là mỗi phần tử). Một trường hợp như trước thậm chí sẽ không có xung đột thủ công để giải quyết.

Nó là một công cụ hợp nhất nhận biết ngôn ngữ và thật tuyệt khi cuối cùng có thể trả lời câu hỏi SO này :-)

Eclipse đã có tính năng này từ lâu. Nó được gọi là "So sánh cấu trúc", và nó rất hay. Đây là một ảnh chụp màn hình mẫu cho Java, tiếp theo là một ảnh chụp màn hình khác cho tệp XML:

(Lưu ý các biểu tượng dấu trừ và dấu cộng trên các phương thức trong ngăn phía trên.)

Để làm tốt "so sánh ngữ nghĩa", bạn cần so sánh cây cú pháp của các ngôn ngữ và tính đến ý nghĩa của các ký hiệu. Một khác biệt ngữ nghĩa thực sự tốt sẽ hiểu ngữ nghĩa của ngôn ngữ và nhận ra khi nào một khối mã tương đương với chức năng khác. Đi xa đến mức này cần một câu châm ngôn về định lý, và mặc dù nó sẽ cực kỳ dễ thương, nhưng hiện tại không thực tế cho một công cụ thực sự.

Một phép gần đúng khả thi của điều này chỉ đơn giản là so sánh các cây cú pháp và báo cáo các thay đổi về cấu trúc được chèn, xóa, di chuyển hoặc thay đổi. Tiến gần hơn đến "so sánh ngữ nghĩa", người ta có thể báo cáo khi một số nhận dạng được thay đổi nhất quán trên một khối mã.

Hãy xem http://www.semanticdesigns.com/Products/SmartDifferencer/index.html của chúng tôi để biết công cụ so sánh dựa trên cây cú pháp hoạt động với nhiều ngôn ngữ, thực hiện ước lượng ở trên.

CHỈNH SỬA tháng 1 năm 2010: Các phiên bản có sẵn cho C ++, C #, Java, PHP và COBOL. Trang web hiển thị các ví dụ cụ thể cho hầu hết những điều này.

CHỈNH SỬA Tháng 5 năm 2010: Python và JavaScript được thêm vào.

CHỈNH SỬA Tháng 10 năm 2010: Đã thêm EGL.

EDIT tháng 11 năm 2010: VB6, VBScript, VB.net được thêm vào

Những gì bạn đang tìm hiểu là một "cây khác biệt". Nó chỉ ra rằng điều này khó làm tốt hơn nhiều so với một sự khác biệt văn bản hướng dòng đơn giản, mà thực sự chỉ là sự so sánh của hai chuỗi phẳng.

" Phương pháp tiếp cận so sánh cấu trúc XML chi tiết " kết luận một phần với:

Nghiên cứu lý thuyết cũng như đánh giá thực nghiệm của chúng tôi cho thấy rằng phương pháp đề xuất mang lại kết quả tương tự về cấu trúc được cải thiện so với các giải pháp thay thế hiện có, đồng thời có cùng độ phức tạp về thời gian (O (N ^ 2))

(nhấn mạnh của tôi)

Thật vậy, nếu bạn đang tìm kiếm thêm ví dụ về sự khác biệt cây, tôi khuyên bạn nên tập trung vào XML vì nó đang thúc đẩy những phát triển thực tế trong lĩnh vực đó.

Trình cắm không biết xấu hổ cho dự án của riêng tôi:

HTML Tree Diff thực hiện so sánh nhận biết cấu trúc của các tài liệu xml và html, được viết bằng python.

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

Giải pháp cho điều này sẽ dựa trên cơ sở ngôn ngữ. Tức là trừ khi nó được thiết kế với một kiến ​​trúc plugin xác định rất nhiều phân tích cú pháp mã thành một cây và so sánh ngữ nghĩa với một plugin ngôn ngữ cụ thể thì sẽ rất khó hỗ trợ nhiều ngôn ngữ. Bạn quan tâm đến (các) ngôn ngữ nào khi có một công cụ như vậy. Cá nhân tôi thích một cái cho C #.

Đối với C #, có một bổ trợ khác lắp ráp cho Reflector nhưng nó chỉ tạo ra sự khác biệt trên IL không phải C #.

Bạn có thể tải xuống bổ trợ khác tại đây [zip] hoặc truy cập dự án trên trang codeplex tại đây .

Một công ty tên là Zynamics cung cấp một công cụ khác biệt ngữ nghĩa cấp nhị phân. Nó sử dụng một ngôn ngữ meta-assembly gọi là REIL để thực hiện phân tích lý thuyết đồ thị của 2 phiên bản của một nhị phân và tạo ra một biểu đồ được mã hóa màu để minh họa sự khác biệt giữa chúng. Tôi không chắc chắn về giá cả, nhưng tôi nghi ngờ nó là miễn phí.

http://prettydiff.com/

Pretty Diff thu nhỏ từng đầu vào để loại bỏ các nhận xét và khoảng trắng không cần thiết, sau đó làm đẹp mã trước thuật toán khác biệt. Tôi không thể nghĩ về cách nào để trở nên mã nhiều ngữ nghĩa hơn thế này. Và, JavaScript được viết của nó để nó chạy trực tiếp trong trình duyệt.