Chương 3 : Kiểm thử trên cơ sở các mô hình UML
3.5. Mô hình kiểm thử trong phần mềm cấu phần [5]
Mô hình kiểm thử thể hiện cách để kiểm thử phần mềm trên cơ sở cấu phần [13]. Tuy nhiên, sự thực thi trên kỹ thuật mô hình hóa gặp phải thách thức là làm thế nào để yếu tố kiểm thử đạt được hiệu quả khi mà mã nguồn của các cấu phần là không có sẵn. Nếu không có mã nguồn, chúng ta có thể đặc tả các giao diện và sự kiện, nhưng thông tin cần thiết cho các quan hệ bao gồm các phụ thuộc bối cảnh và nội dung không phải là sẵn có. Đây là các yếu tố quan trọng giúp phát hiện lỗi khi tích hợp 2 cấu phần với nhau một cách hiệu quả. Chúng ta sử dụng ngôn ngữ UML nhằm nắm bắt được các mối quan hệ cấu phần.
Hiện nay, có nhiều mô hình cấu phần khác nhau, các mô hình và kỹ thuật mới nâng cao công nghệ phần mềm. Trên nền tảng công nghệ phần mềm đang thay đổi từng ngày, các cấu phần sản xuất ra ngày càng nhiều. Để việc kiểm thử được tiến hành một cách hiệu quả, đạt yêu cầu và duy trì phần mềm dựa trên cấu phần, ta cần tuân theo 2 dạng thể hiện các đặc tính không phụ thuộc vào các mô hình và công nghệ thành phần của phần mềm dựa trên cấu phần đó là:
Mô hình tương tác: Mô tả các cấu phần tương tác với nhau trong một hệ thống phần mềm cấu phần.
Mô hình hành vi: Mô tả cấu trúc bên trong cấu phần và hành vi tương ứng. Mô hình hành vi có thể được sử dụng để đem lại các thông tin cấu phần như cấu trúc điều khiển bên trong, mức độ tin cậy của thông tin và hiệu suất thông tin.