Chƣơng 1 TỔNG QUAN VỀ KIỂM THỬ PHẦN MỀM
a. bao phủ trạng thái (State coverage)
Trong kiểm thử, để đạt được độ bao phủ trạng thái ta lựa chọn chuỗi các chuyển đổi trạng thái sao cho mỗi trạng thái được thăm ít nhất một lần. Bài toán mô hình hóa máy rút tiền ATM, sẽ tương đương với việc tìm đường đi qua tất cả các đỉnh của một đồ thị có hướng sao cho mỗi đỉnh được thăm ít nhất một lần. Vì mỗi đỉnh của đồ thị tương tương với một trạng thái mà các trạng thái là hữu hạn nên việc tìm đường đi này là hoàn toàn có thể thực hiện được.
Hình 2.8. FSM quá trình chuyển đổi trạng thái cho ATM6.
6
Specification Representation and Automatic Test Case Generation using System Model - Ashish Kumari, Noor Mohammad, Chetna -July 2012.
Trong hình 2.8 với đường đi qua các đỉnh S0S1S2S1S0 (đường nét đậm trong hình 2.9) sẽ qua tất cả các đỉnh của đồ thị, điều đó có nghĩa là tất cả các trạng thái của FSM đều được thăm. Do đó, với chuỗi chuyển trạng thái S0S1S2S1S0 của FSM ATM sẽ đạt độ bao phủ trạng thái là 100%.
Hình 2.9. Một đƣờng đi bao phủ tất cả các trạng thái của FSM ATM7.
Phương pháp này là thước đo, được sử dụng để tính toán và đo lường số lượng các đường đi trong mô hình FSM được thực thi. Bởi vì, nó sẽ không kiểm tra với tất cả các điều kiện trong một khối duy nhất mà chỉ là một thử nghiệm cơ bản sau khi hoàn tất mã hóa và phân tích chức năng của hệ thống. Để kiểm thử với tất cả các điều kiện thì ta cần bao phủ nhánh và bao phủ đường đi. Nhưng kiểm thử trạng thái là một kỹ thuật kiểm thử hộp đen, trong đó kết quả đầu ra được kích hoạt bằng cách thay đổi các điều kiện đầu vào hoặc thay đổi “trạng thái” của hệ thống. Nói cách khác, kiểm thử được thiết kế để thực hiện quá trình chuyển đổi trạng thái hợp lệ và không hợp lệ. Khi chúng ta sử dụng:
Chúng ta có chuỗi các sự kiện xảy ra và các điều kiện liên quan áp dụng cho những sự kiện.
Xử lý đúng đắn một sự kiện cụ thể phụ thuộc vào các sự kiện và điều kiện đã xảy ra trong quá khứ.
Cho các hệ thống thời gian thực với các trạng thái khác nhau và các quá trình chuyển tiếp có liên quan.
7
Specification Representation and Automatic Test Case Generation using System Model - Ashish Kumari, Noor Mohammad, Chetna -July 2012.
Các bƣớc phát sinh trong kiểm thử:
Bƣớc 1: Hiểu được trạng thái khác nhau và các quá trình chuyển tiếp và đánh dấu giá trị hợp lệ và không hợp lệ.
Bƣớc 2: Xác định một chuỗi các sự kiện dẫn đến một kết thúc kiểm thử trạng thái cho phép.
Bƣớc 3: Một trong những trạng thái được chọn và chuyển tiếp qua sẽ được đánh dấu.
Bƣớc 4: Bước 2 và 3 phải được lặp đi lặp lại cho đến khi tất cả các giá trị đã được truy cập và tất cả các quá trình chuyển tiếp được đi qua.
Bƣớc 5: Đối với các trường hợp kiểm thử để có một mức độ bao phủ tốt, giá trị đầu vào thực tế và giá trị đầu ra thực tế đã được tạo ra.
Bên cạnh đó vẫn còn một số ưu điểm như: kiểm thử để làm quen với các phần mềm thiết kế và cho phép các kiểm thử viên thiết kế các ca kiểm thử có hiệu quả, cho phép các kiểm thử viên kiểm thử các giá trị hợp lệ và không hợp lệ. Các thử nghiệm này được bắt nguồn từ máy trạng thái hữu hạn và quá trình chuyển tiếp dựa theo mô hình trạng thái của hệ thống.