Chương 2 CÁC CÔNG CỤ ĐẶC TẢ
3.5. Thiết kế chương trình
Trong mục này sẽ trình bày một số biểu đồ thiết kế cơ bản chương trình của bộ kiểm thử.
3.5.1. Biểu đồ use case
Dựa trên các yêu cầu của bộ công cụ kiểm chứng được mô tả ở trên, ta xác định và đưa ra use case tổng quát của hệ thống với tác nhân (Actor) ở đây là người thiết kế hoặc người lập trình như sau:
Hình 3.4: Biểu đồ use case mức 1
Hình 3.5: Biểu đồ use case mức 2
Mô tả chi tiết use case:
chứng 1 mô hình đã chọn.
Chọn mô hình kiểm chứng: Use case này cho phép người dùng xem và chọn 1 mô hình để thực hiện kiểm chứng trong danh sách các mô hình của bài toán đã chọn.
Chọn bài toán kiểm chứng: Use case này cho phép người dùng chọn 1 bài toán để thực hiện kiểm chứng.
3.5.2. Biểu đồ lớp
Hình 3.6: Biểu đồ lớp
Xác định các lớp tham gia vào các use case:
STT Tên lớp Loại lớp
1. Chọn bài toán kiểm chứng
1.1 List Lớp biên
1.2 ListAction Lớp điều khiển
1.3 OtomatLogic, XmlLogic Lớp thực thể
2. Chọn mô hình kiểm chứng
2.1 searchModel Lớp biên
2.3 OtomatLogic, XmlLogic Lớp thực thể 3. Kiểm chứng mô hình
3.1 searchModel , verify Lớp biên
3.2 VerifyAction Lớp điều khiển
3.3
OtomatLogic, GraphRegionLogic,
GraphLdiLogic, XmlLogic Lớp thực thể
Bảng 3.6: Xác định các lớp tham gia use case 3.5.3. Biểu đồ tuần tự 3.5.3. Biểu đồ tuần tự
Hình 3.7: Biểu đồ tuần tự danh sách bài toán
Hình 3.9: Biểu đồ tuần tự kiểm chứng mô hình 3.5.4. Biểu đồ hoạt động 3.5.4. Biểu đồ hoạt động