Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C# Danh sách các đối tượng xử lý: STT 1 2 3 Tên PreConditionCheck PostConditionCheck InvariantCheck Lớp/Kiểu bool bool bool Ý nghĩa Xác định có sử dụng PreCondition hay không. Xác định có sử dụng PostCondition hay không. Xác định có sử dụng Invariant hay không. Xác định có sử dụng 4 BasePreConditionCheck bool PreCondition của những lớp dẫn xuất hay không. Xác định có sử dụng 5 BasePostConditionCheck bool PostCondition của những lớp dẫn xuất hay không. Xác định có sử dụng Invariant 6 BaseInvariantCheck. | Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C Danh sách các đối tượng xử lý STT Tên Lớp Kiểu Ý nghĩa 1 PreConditionCheck bool Xác định có sử dựng PreCondition hay không. 2 PostConditionCheck bool Xác định có sử dụng PostCondition hay không. 3 InvariantCheck bool Xác định có sử dụng Invariant hay không. 4 BasePreConditionCheck bool Xác định có sử dụng PreCondition của những lớp dẫn xuất hay không. 5 BasePostConditionCheck bool Xác định có sử dụng PostCondition của những lớp dẫn xuất hay không. 6 BaseInvariantCheck bool Xác định có sử dụng Invariant c ủa những lớp dẫn xuất hay không. Danh sách các biến cố STT Thể hiện Biến cố Xử lý 1 Form Load Hiển thị màn hình Configuration cho phép người dùng enable hoặc disable chức năng kiểm tra của PreCondition PostCondition Invariant. 2 . btnOK Click Lưu những thông số đã chọn trên màn hình và thoát khỏi màn hình 3 btnClose Click Thoát khỏi màn hình. 97 Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C Lớp Connect Hình 16-4 Lớp Connect Danh sách các biến thành phần STT Tên Kiểu Lớp Ý nghĩa 1 projectInfo ProjectInfo Lưu trữ thông tin của Project hiện hành. Danh sách các biến cố STT Thể hiện Biến cố Xử lý 1 Command Exec RightClick vào màn hình soạn thào code xuất hiện pop-up menu. Click vào command này màn hình Configuration hiển thị cho phép người dùng enable hoặc disable chức năng kiểm tra của PreCondition PostCondition Invariant. 2 Project BuildBegin Bắt đầu chạy chương trình r Lưu thông tin của project hiện hành thông tin của các phương thức trong các lớp tên phương thức precondition postcondition và Invariant của mỗi lớp trong project. Đổi tên tất cà các phương thức có liên quan đến contract. 98 Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C Lưu thông tin về contract của những lớp dẫn xuất cho lớp kế thừa. r Phát sinh source code để kiểm tra những Assertion. 3 Project BuildDone Trả source code về như cũ. Lớp Projectinfo Hình 16-5 Lớp .
