Việc áp dụng VDM++ vào việc đảm bảo chất lượng tài liệu thiết kế trong giai đoạn đầu của dự án có tính khả thi với những dự án có quy mô như đề cập trong bảng 3.3. Đối với những dự án tại NTT DATA Việt Nam thì việc áp dụng đề xuất này là hoàn khả thi bởi những yếu tố sau:
Giai đoạn đầu được thực hiện bởi người phân tích thiết kế hệ thống. Những người ở vị trí này có kinh nghiệm về lập trình và kinh nghiệp phân tích nghiệp vụ vậy nên việc tiếp cận VMD++ là nhanh và tốn ít thời gian
Chất lượng phần mềm và sự hài lòng của khách hàng là ưu tiên hàng đầu của các dự án. Vậy nên đảm bảo chất lượng tài liệu thiết kế, đáp ứng đúng yêu cầu khách hàng được công ty ưu tiên và khuyến khích thực hiện
VDM++ là phương pháp phát triển Vienna hướng đối tượng, sử dụng công cụ overture trên nền tảng eclipse và ngôn ngữ Java phù hợp với các ngôn ngữ và tool phát triển phần mềm công ty đang sử dụng, rất dễ phối hợp trong quá trình phát triển dự án giữa giai phân tích và giai đoạn viết mã chương trình.
Bảng 3. 3. Phạm vi và quy mô dự án
Loại Điều kiện
Thời gian Trung bình (> 6 tháng) Tổng thời gian fulltime > 20 man/month Số lượng nhân sự > 9 người
Những chú ý khi xây dựng kế hoạch dự án:
1. 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
2. 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ó
3. Kéo dài thời gian ước tính cho giai đoạn thiết kế hơn bình thường
4. Không nên áp dụng với những dự án có thời gian phát triển ngắn dưới 20 man/monh
5. Không nên áp dụng với những dự án đã quen thuộc (đã hiểu rõ yêu cầu nghiệp vụ)
KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN
Luận văn đã tập trung nghiên cứu các tính năng hỗ trợ của VDM nói chung và VDM++ nói riêng trong việc mô hình hóa hướng đối tượng và đảm bảo tính đúng đắn của tài liệu thiết kế, ngoài ra, còn đánh giá được phạm vi và tính ứng dụng VDM++ vào quy trình dự án thực tế của NTT DATA Việt Nam. Sau khi tìm hiểu về VDM++ và các công cụ hỗ trợ phát triển, cùng với việc phân tích quy trình phát triển phần mềm của công ty, tôi đã đưa ra một quy trình phát triển dự án mới có áp dụng VDM++ vào việc mô hình hóa thiết kế. Tiếp đó, tôi đã tiến hành thực nghiệm với dự án IMP. VDM++ đã giúp nâng cao tính chính xác, độ tin tưởng vào tài liệu thiết kế chi tiết. Việc thực hiện cài đặt và kiểm thử ở bước thiết kế giúp sớm tìm được các lỗi trong thiết kế và lỗi về phân tích nghiệp vụ người dùng. Trong dự án IMP, việc tìm ra 250 lỗi thiết kế đã giúp tiết kiệm được thời gian viết mã và kiểm thử lại do thiết kế sai, đảm bảo dự án kết thúc đúng tiến độ (sớm hơn dự kiến gần 15 ngày) và trong phạm vi ngân sách dự kiến.
Trong thời gian tới, tôi sẽ tiến hành phân tích chi tiết hơn quy trình phát triển dự án và xem xét tính hiệu quả trong các dự án khác của công ty. Đối với các dự án lớn đòi hỏi tính đúng đắn của tài liệu thiết kế ở mức cao, tôi sẽ xem xét bắt buộc sử dụng VDM++ vào danh sách các tài liệu kiểm soát chất lượng dự án, tìm hiểu áp dụng phương thức Test-Driven Development trong giai đoạn thiết kế bằng cách sử dụng mô hình hóa và kiểm thử bằng VDM++.
TÀI LIỆU THAM KHẢO
Tiếng Anh
1. Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle, John Fitzgerald, Sune Wolff (2011), VDM-10 Language Manual.
2. Daisuke Souma, Goro Hatayama, HitoshiOhsaki, Nguyen Van Tang (2012),
Modeling and Validating the Train Fare Calculation and Adjustment System Using VDM++.
3. Bernhard K. Aichernig, Rudolf Schlatte, Database Development of a Work-Flow Planning and Tracking System Using VDM-SL
4. Bernhard K. Aichernig, Johann H¨orl, Requirements Validation of a Voice Communication System used in Air Traffic Control
5. John Fitzgerald, Sune Wolff (2011), Proceeding of the 9th Overture Workshop
6. Overture-Community: Overture: Formal modelling in VDM. Website: http://www.overturetool.org/
7. Augusto Ribeiro, Peter Gorm Larsen, John Fitzgerald, Kenneth Lausdahl, Kenneth Pierce, Sune Wolff, Nick Battle (2010), Tutorial for Overture/VDM++
8. Augusto Ribeiro, Peter Gorm Larsen, John Fitzgerald Nick Battle, Kenneth Lausdahl, Kenneth Pierce, Sune Wolff (2010), Tutorial for Overture/VDM-RT
9. Augusto Ribeiro, Kenneth Lausdahl, and Peter Gorm Larsen, Run-Time Validation of Timing Constraints for VDM-RT Models
10. Wikipedia: Vienna Development Method. Địa chỉ:
https://en.wikipedia.org/wiki/Vienna_Development_Method (adsbygoogle = window.adsbygoogle || []).push({});
11. Ken Pierce, Counterpoint: Towards a Proof-Support Tool for VDM
12. John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef (2004), Validated Designs for Objectoriented Systems
13. Peter Gorm Larsen, Kenneth Lausdahl, Peter Tran-Jørgensen, Joey Coleman, Sune Wolff and Lu´ ıs Diogo Couto (2015), Overture VDM-10 Tool Support: User Guide (Version 2.1.6)
14. Website của framework intramart được áp dụng trong dự án. Địa chỉ: http://www.intra-mart.hk/?page=what&id=25
15. Research and Development Headquarters, NTT DATA Corporation (2014),