Áp dụng quy trình mới với sự kết hợp mô hình hóa bằng VMD++ trong giai đoạn thiết kế chi tiết (Detail Design), giúp đảm bảo chất lượng tài liệu thiết kế. Những lợi ích đạt được sau khi áp dụng mô hình mới như sau:
Phát hiện các vấn đề về thiết kế, xử lý hệ thống, thậm chí các giải pháp đã đề xuất với khách hàng.
Phát hiện các thuật toán thực thi không hiệu quả đối với các xử lý đồng bộ của nghiệp vụ phê duyệt.
Phát hiện các lỗi nghiêm trọng có thể xảy ra trong thiết kế, đưa ra được giải pháp xử lý sớm.
Đảm bảo đồng nhất về thiết kế các hàm, biến dùng chung, ngôn ngữ.
Loại bỏ các thiết kế không thống nhất về tên trường dữ liệu, kiểu dữ liệu, độ dài dữ liệu của tài liệu ERD.
Giảm thời gian, công sức làm lại ở các giai đoạn sau: viết mã, kiểm thử tích hợp, kiểm thử hệ thống.
Tuy nhiên, áp dụng quy trình mới có một số điểm lưu ý như sau:
Bổ sung công việc đào tạo vào kế hoạch dự án và ước tính thời gian đảm bảo SA hiểu và áp dụng được VDM++ trước khi đi vào mô hình hệ thống.
Trao đổi để SA hiểu rõ lợi ích khi sử dụng VDM++ vào trong quy trình phát triển, tránh việc làm việc cho có.
Kết quả đạt được lớn nhất của việc áp dụng quy trình mới đó là trách nhiệm của SA tăng lên, sự tương tác giữa những SA tăng lên làm cho chất lượng tài liệu thiết kế tăng lên, giúp tiết kiệm rất nhiều chi phí, công sức do phải làm lại trong giai đoạn lập trình. Phát hiện các vấn đề của bài toán ở ngay giai đoạn thiết kế, đưa ra được giải pháp xử lý tổng thể.
Hình 3. 13. Timeline của dự án trước và sau khi áp dụng quy trình mới Bảng 3. 2. Tổng hợp lỗi tài liệu thiết kế
Loại lỗi Số lỗi phát hiện
được Chi tiết
Lỗi thiết kế cơ sở dữ liệu 30
Những lỗi liên quan đến việc thiết kế cơ sở dữ liệu ERD, như khai báo tên trường dữ liệu, khóa ngoại, kiểu dữ liệu, độ dài.
Lỗi đặc tả kiểm tra dữ
liệu người dùng 90
Những lỗi thiết kế liên quan đến việc kiểm tra dữ liệu người dùng, rằng buộc dữ liệu giữa các chức năng.
Lỗi thiết kế online
proccessing 110
Những lỗi liên quan đến thiết kế luồng xử lý dữ liệu online processing (Activity diagram).
Sai yêu cầu khách hàng 10
Những lỗi liên quan đến thay đổi yêu cầu do đưa giải pháp sai trong giai đoạn lấy yêu cầu người dùng (Requirement Definition).
Lỗi kiến trúc 10
Những lỗi thiết kế không theo framework, do đó không thể cài đặt được trong giai đoạn lập trình.
Hình 3. 144. Lỗi có độ ưu tiên cao phát hiện khi thực hiện Modelling Test
Hình 3. 166. Lỗi có độ ưu tiên thấp phát hiện khi thực hiện Modelling Test