TÌM HIỂU CÔNG NGHỆ DESIGN BY CONTRACT VÀ XÂY DỰNG CÔNG CỤ HỖ TRỢ CHO C# - 10 pot

6 377 0
TÌM HIỂU CÔNG NGHỆ DESIGN BY CONTRACT VÀ XÂY DỰNG CÔNG CỤ HỖ TRỢ CHO C# - 10 pot

Đang tải... (xem toàn văn)

Thông tin tài liệu

Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C# 109 khác với những trường hợp còn lại. 16.2.2.7 Lớp Extra Hình 16-9: Lớp Extra Danh sách hàm thành phần: STT Tên Tham số Kết quả Xử lý 1 IsContractor string Line bool Kiểm tra xem dòng Line có phải là khai báo của một contructor không. 2 IsAccessibilityL evelFound string s bool Kiểm tra xem dòng s có chứa một trong những từ khóa {"private", "public", "protected", "internal","protected internal", "static" } 3 IsContain string large, string small bool Kiểm tra chuỗi large có chứa chuỗi small. Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C# 110 4 IsHaveContract EditPoint e, TextDocument t bool Kiểm tra hàm tại điểm EditPoint e, trong văn bản TextDocument t có chứa PreCondition hoặc PostCondition. 5 GetReturnType string FuncName string Lấy kiểu trả về của FuncName này. 6 GetFuncName string FuncDec,int Flag string Từ khai báo của hàm (vd: public int A(int x) ), trả về 2 dạng: ¾ Flag=1: A(x) ¾ Flag=2: A(int x) 7 IsHaveVar string FName bool Kiểm tra FName có tham số không. 8 FixFuncName string FName, string Type string Sửa tên hàm FName(…) thành FName_[Type](…), trong đó, Type là PreCondition, PostCondition, Invariant hay BasePreCondition, BasePostCondition, BaseInvariant. 9 AddOLDVar string FName1, string FName2, string[][] OLDVar OLDVar là mảng các biến và kiểu dữ liệu tương ứng, sửa đổi FName1 và FName2 bằng cách thêm những thông tin của OLDVar vào tham số. Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C# 111 KẾT LUẬN Sau khi nghiên cứu đề tài, chúng em đã hiểu khá rõ về công nghệ Design By Contract và khả năng ứng dụng của nó trong lập trình hướng đối tượng. Đồng thời, để phục vụ cho yêu cầu của đề tài cũng như giúp cho việc hoàn thiện kiến thức đã tìm hiểu được, chúng em đã xây dựng một công cụ hỗ trợ Design By Contract dưới dạng Add-In cho C#. Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C# 112 HƯỚNG PHÁT TRIỂN − Xây dựng công cụ hỗ trợ Design By Contract cho những môi trường lập trình khác. − Mở rộng khả năng kiểm tra của công cụ, có thể kiểm tra những điều kiện thiết thực hơn. − Mở rộng những kiểu dữ liệu kiểm tra của công cụ, có thể kiểm tra kiểu đối tượng chứ không chỉ dừng lại ở các kiểu dữ liệu cơ sở. Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C# 113 TÀI LIỆU THAM KHẢO [1] B. Meyer, Object-Oriented Software Construction, Prentice Hall, 2nd edition, 1997. [2] Eiffel Software , Design By Contract. http://www.eiffel.com/doc/manuals/technology/contract/ [3] ResolveCorp, eXtensible C# - Design by contract Add-In for C# http://www.mmsindia.com/JMSAssert.html [4] Man Machine Systems, Design by contract tool for Java—JMSAssert. http://www.mmsindia.com/JMSAssert.html [5] Kevin McFarlane , Design by Contract Framework for C#. http://www.codeproject.com/csharp/designbycontract.asp [6] Parasoft Corp, Jcontract home page. http://www.parasoft.com/jsp/products/home.jsp?product=Jcontract [7] R. Kramer, iContract home page. http://www.reliable-systems.com/tools/iContract/iContract.htm Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C# 114 Ý KIẾN CỦA GIÁO VIÊN PHẢN BIỆN ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… ……………………………………………………………………………………… . C#. Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C# 112 HƯỚNG PHÁT TRIỂN − Xây dựng công cụ hỗ trợ Design By Contract cho những môi trường lập trình. tra chuỗi large có chứa chuỗi small. Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C# 110 4 IsHaveContract EditPoint e, TextDocument t bool Kiểm tra. Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C# 109 khác với những trường hợp còn lại. 16.2.2.7 Lớp Extra Hình 1 6-9 : Lớp Extra Danh sách

Ngày đăng: 30/07/2014, 20:20

Từ khóa liên quan

Mục lục

  • LỜI NÓI ĐẦU

  • TỔNG QUAN

  • Giới thiệu về Eiffel

    • Giới thiệu

    • Design By Contract trong Eiffel

    • EiffelStudio

      • Giao diện

      • Các thao tác căn bản trên EiffelStudio

      • Một số cơ chế mang lại tính đáng tin cậy cho phần mềm

      • Tính đúng đắn của phần mềm

      • Biểu diễn một đặc tả

        • Những công thức của tính đúng đắn

        • Những điều kiện yếu và mạnh

        • Giới thiệu về sự xác nhận trong văn bản của phần mềm

        • Tiền điều kiện và hậu điều kiện

          • Lớp ngăn xếp

          • Tiền điều kiện

          • Hậu điều kiện

          • Giao ước cho tính đáng tin cậy của phần mềm

            • Quyền lợi và nghĩa vụ

              • Những quyền lợi

              • Những nghĩa vụ

              • Nghệ thuật của sự tin cậy phần mềm: kiểm tra ít hơn, bảo đảm

              • Những xác nhận không phải là một cơ chế kiểm tra đầu vào

              • Làm việc với những xác nhận

                • Lớp stack

                • Mệnh lệnh và yêu cầu

Tài liệu cùng người dùng

  • Đang cập nhật ...

Tài liệu liên quan