Chương 3 : Kiểm thử trên cơ sở các mô hình UML
3.3.2. Khía cạnh hành vi của kiểm thử
Hành vi kiểm thử được định nghĩa thông qua một số các khái niệm trong hồ sơ kiểm thử. Khái niệm quan trọng nhất là đưa ra là tình huống kiểm thử chắc chắn. Nó đặc tả cái gì sẽ được kiểm thử dựa trên điều kiện đầu vào và dữ liệu đầu vào. Mỗi tình huống kiểm thử được kết hợp với một mô tả chung theo mục đích của nó. Sự mô tả theo mục đích này được thể hiện trên lược đồ là mục tiêu kiểm thử và bản chất là nó xác định nên một tình huống kiểm thử. Tại mỗi bước thực thi tình huống kiểm thử kết quả của nó được lưu vết lại. Các kết quả được hiển thị qua các thông điệp trao đổi giữa cấu phần kiểm thử với hệ thống. Cuối cùng, một tình huống kiểm thử sau bước thực hiện, sẽ có được kết quả đánh giá của nó. Kết quả đánh giá đó chỉ ra rằng tình huống kiểm thử là thành công hay thất bại. Hình dưới đây tổng hợp các khái niệm liên quan đến một tình huống kiểm thử.
Hình 10. Các khái niệm liên quan đến tình huống kiểm thử.
<<Bảng liệt kê>> Đánh giá Thành công Thất bại Lỗi Chưa có kết luận Mục tiêu kiểm thử <<định nghĩa>> Tình huống kiểm thử
Hành vi kiểm thử
Test trace
Hành vi của một tình huống kiểm thử gồm tác nhân kiểm thử gửi dữ liệu kiểm thử đến hệ thống để điều khiển nó, và quan sát phản hồi ngược trở lại của hệ thống với hành vi đó. Việc đánh giá phản ứng của hệ thống đối với một tác động được thực hiện bởi hành động xác thực. Đầu ra của nó xác định tình huống kiểm thử. Một đánh giá được coi là thành công xác định được rằng hệ thống đáp ứng được đúng theo kết quả mong đợi, đánh giá là thất bại nếu việc kiểm thử chỉ ra rằng hệ thống phản ứng khác với mong đợi của người dùng. Một đánh giá là không xác định có nghĩa là nó không chỉ ra được tình huống đó thành công hay thất bại, một đánh giá là lỗi chỉ ra rằng lỗi trong hệ thống kiểm thử. Các hành vi
Hình 11. Các khái niệm liên quan đến hành vi kiểm thử. <<Bảng liệt kê>> Đánh giá Thành công Thất bại Lỗi Chưa có kết luận Tác nhân kiểm thử Hành vi kiểm thử Hành động xác thực
Theo dõi kiểm thử
Các tác động được gửi tới hệ thống và các quan sát nhận được từ hệ thống thể hiện dữ liệu của tình huống kiểm thử. Chúng được tham chiếu tới dưới dạng tham số kiểm thử. Một tham số kiểm thử có thể bao gồm một số các đối số, các phân lớp dữ liệu, hoặc các quy tắc code. Một đối số là một giá trị vật lý cụ thể của một tham số kiểm thử và một lớp dữ liệu là một giá trị logic của tham số đó, chẳng hạn như một lớp tương đương các đối số đúng. Các quy tắc code là bắt buộc nếu giao diện của hệ thống cần được áp dụng cách mã hóa riêng, chẳng hạn như XML, nó phải được xét đến trong hệ thống kiểm thử. Hình dưới đây mô tả một cách tổng quan các kết hợp dữ liệu trong hồ sơ kiểm thử.
Hình 12. Các khái niệm dữ liệu trong hồ sơ kiểm thử
Tham số kiểm thử
Đối số Phân lớp dữ liệu
Quy tắc code
Tác nhân kiểm thử Theo dõi kiểm thử
Áp dụng UML vào kiểm thử là hoàn toàn phù hợp. UML có thể được sử dụng để đặc tả bất cứ khía cạnh nào của hệ thống. Đặc tả thể hiện các mô phỏng hệ thống, các giao diện người dùng muốn, và những gì mà hệ thống có thể đáp ứng được. Kiểm thử xác thực xem việc cài đặt thực thi cuả một hệ thống có tuân theo
những gì trong đặc tả. UML có thể được sử dụng để mô hình và đặc tả khung
kiểm thử hệ thống.