Chủ đề thú vị! Đầu tiên, không có kiến trúc sư phần mềm nào trong mạng cá nhân của tôi sử dụng UML như là cách duy nhất để thiết kế hệ thống của họ, và tôi cũng biết không có kiến trúc sư phần mềm nào tạo ra UML ở mức chi tiết cần thiết để thực hiện kiểm tra cơ học.
Thứ hai, cá nhân tôi có một sự không thích sâu về các công cụ lập mô hình UML. Nếu một phương pháp xác minh chính thức như vậy được thực hiện, nó có khả năng giống như Rational Rose - tôi đã thề từ lâu rồi tôi sẽ không bao giờ đi đâu gần đó nữa. Tuy nhiên, đã nói tất cả điều đó - trong các cửa hàng phần mềm chính thức, thường có yêu cầu truy nguyên, thường được thực hiện như một ma trận hiển thị các yêu cầu nghiệp vụ trên một trục và các tạo phẩm thiết kế trên một trục khác. Bằng cách này, bạn có thể xem liệu có bất kỳ yêu cầu nào không phù hợp với giải pháp tương ứng hay không hoặc nếu có các yếu tố trong giải pháp không đáp ứng được yêu cầu kinh doanh cụ thể.
Giữ ma trận này được cập nhật là một nỗi đau, vì vậy nó không thường được sử dụng trong các nhóm nhanh, nhưng nếu bạn đang xây dựng phần mềm mềm cho một ngân hàng hoặc tàu con thoi thì đó là một kỹ thuật có giá trị.
Điều này cho bạn biết liệu thiết kế của bạn có hoàn chỉnh hay không - mặc dù không phải là "đúng".
Không có cách nào tôi biết để nói liệu một thiết kế là "đúng" mà không xây dựng nó và thử nghiệm, hoặc dựa vào kinh nghiệm và kiến thức của con người.
Nguồn
2011-07-01 13:57:18
Tôi nghĩ 'xác minh chính thức' là những gì bạn đang tìm kiếm. – leppie
Có, nhưng theo cách 'lập trình' và 'có thể tự động' hơn. Do đó tôi tự hỏi nếu chúng ta có thể đưa ra một cái gì đó như 'UMLUnit' - để cho phép viết và thực hiện các bài kiểm tra cho các thiết kế UML. – shrini1000
Tại sao xác minh không thể được lập trình và tự động? – leppie