2.5 Tổng quan về sinh dữ liệu kiểm thử tự động
2.5.3 Sinh dữ liệu kiểm thử tự động từ các biểu đồ UML
Phần này mô tả cách tiếp cận kiểm thử dựa trên mơ hình từ các biểu đồ UML. UML 2.0 [49] chứa một tập các biểu đồ và ký hiệu được định nghĩa một cách linh hoạt và mở, biểu diễn các khía cạnh khác nhau của hệ thống bằng các biểu đồ khác nhau. Vì vậy, kiểm thử từ các biểu đồ UML là cần thiết để chọn một tập con của các biểu đồ và phân loại ngữ nghĩa cho việc chọn đó. Mỗi cơng cụ kiểm thử dựa trên mơ hình có cách tiếp cận khác nhau để hỗ trợ các biểu đồ khác nhau và định nghĩa một tập con có thể sử dụng trong các biểu đồ đó. Điều đó là cần thiết để định nghĩa cả phần dữ liệu của biểu đồ (biểu đồ lớp, biểu đồ đối tượng) và các khía cạnh hành vi động của biểu đồ.
Bảng 2.1: Các biểu đồ UML và sử dụng để mơ hình hóa cho kiểm thử [100]
Phân loại Biểu đồ Vai trị mơ hình hóa cho kiểm thử
Tĩnh Biểu đồ lớp Phù hợp cho mô tả cấu trúc tĩnh của một hệ thống, dữ liệu trong mỗi lớp, và sự kết hợp giữa các lớp.
Biểu đồ đối tượng Phù hợp cho việc định nghĩa các trạng thái ban đầu của mơ hình cho việc sinh kiểm thử.
Yêu cầu Biểu đồ ca sử dụng Cung cấp tổng quan về các yêu cầu hệ thống nhưng không đủ chi tiết để sinh các dữ liệu kiểm thử tự động. Tuy nhiên, mỗi trường hợp sử dụng biểu đồ ca sử dụng có thể thực hiện như mục tiêu kiểm thử phi hình thức ở mức cao, hướng dẫn chọn lựa các tiêu chí bao phủ kiểm thử.
Động
Biểu đồ trạng thái Là ý tưởng mơ hình hóa hành vi của SUT cho mục đích kiểm thử; mỗi chuyển tiếp miêu tả một toán tử của hành vi mà chúng ta muốn kiểm thử.
Biểu đồ hoạt động Phù hợp cho mơ hình hóa tiến trình, luồng cơng việc và các luồng hoạt động cho việc sinh kịch bản kiểm thử.
Biểu đồ tuần tự Phù hợp cho việc mô tả các ca kiểm thử trừu tượng, được xem như là đầu ra của quá trình sinh kịch bản và dữ liệu kiểm thử. Thực hiện đưa ra các đường dẫn kiểm thử mong muốn thơng qua một mơ hình hành vi riêng biệt.
Bảng 2.1 tổng kết vai trị của các biểu đồ UML được phân loại mà liên quan đến mơ hình hóa hệ thống cho mục đích kiểm thử. Khi mơ hình kiểm thử là biểu đồ lớp (định nghĩa một khung nhìn trừu tượng của các lớp trong SUT) thì các trường dữ liệu của các lớp là hữu ích cho mục đích kiểm thử, và quan hệ với các lớp khác cần thiết để sinh ra các ca kiểm thử. Tuy nhiên, biểu đồ lớp là khơng đủ để có thể mơ hình hóa các hành vi động của SUT. Có rất nhiều cách để mơ hình hóa các hành vi trong UML, nhưng phần lớn phổ biến các biểu đồ UML sau: sử dụng biểu đồ trạng thái UML để định nghĩa hành vi khác nhau và chu kỳ hoạt động của các đối tượng trong SUT; sử dụng biểu đồ hoạt động để chi tiết các hoạt động trong một số lớp; sử dụng biểu đồ tuần tự để chi tiết các trình tự diễn ra các hoạt động giữa các đối tượng, các nhóm đối tượng. Các tiền điều kiện và hậu điều kiện, các bất biến được biểu diễn bằng đặc tả OCL trong các hành vi và các phương thức được khai báo trong các biểu đồ.