Mô hình hành vi

Một phần của tài liệu Nghiên cứu kỹ thuật kiểm thử phần mềm trên cơ sở mô hình UML (Trang 58)

Trong mô hình tương tác, các phần tử cơ bản đã được nói đến. Nhưng làm cách nào để nhận được các phần tử này. Với các cấu phần thương mại (COTS -

Commercial components) mà ở đó mã nguồn có thể không có sẵn, làm cách nào

ta đặc tả được các phần tử này? Không có mã nguồn, chúng ta sẽ đặc tả hành vi của một cấu phần như thế nào?

Để trả lời cho những câu hỏi này, chúng ta cần một mô hình hành vi để đặc tả các giao diện, sự kiện và các cấu trúc dữ liệu và điều khiển của một cấu phần khi mã nguồn không có sẵn. Thậm chí khi mã nguồn đã có sẵn, mô hình hành vi có thể thể hiện các đặc điểm của một cấu phần với cách thức trừu tượng hóa. Như vậy mô hình hành vi sẽ được xử lý hiệu quả hơn. Quan trọng hơn nữa, mô hình này có thể cung cấp cách định nghĩa thống nhất để có thể đánh giá việc kiểm thử và các thuộc tính chất lượng khác. Từ đó để thu được một mô hình hành vi, ta cần một công cụ đáp ứng các khả năng sau:

 Khả năng để đặc tả các hành vi bên trong cấu phần một cách hiệu quả và chính xác.

 Được chấp nhận rộng rãi - điều này có nghĩa là khi các cấu phần của các nhà cung ứng khác nhau được kết hợp lại, nguồn lực cần thiết để tích hợp chúng có thể được quản lý trong phạm vi tối thiểu.

 Dễ đạt được - nghĩa là khi nhà cung cấp cấu phần chuẩn bị mô hình hành vi, trước tiên các hành vi đó phải được quản lý ở mức rất thấp.

 Dễ nâng cấp: Các cấu phần có thể dễ dàng được thêm, xóa, hoặc nâng cấp, các mô hình cấu phần có thể nâng cấp một cách thường xuyên, công cụ đó có thể dễ dàng được nâng cấp phản ánh những thay đổi này.

UML có thể đáp ứng chính xác vai trò theo cách ta đặc tả từ sớm. UML là một ngôn ngữ đặc tả, xây dựng, trừu tượng hóa và tài liệu hóa các giả định của những hệ thống phần mềm chuyên sâu.

Một phần của tài liệu Nghiên cứu kỹ thuật kiểm thử phần mềm trên cơ sở mô hình UML (Trang 58)