Nghiên cứu kỹ thuật sinh ca kiểm thử từ mô hình máy hữu hạn trạng thái

Tóm tắt Nghiên cứu kỹ thuật sinh ca kiểm thử từ mô hình máy hữu hạn trạng thái: ...để tìm 3 loại chuỗi này. A. .1. Chuỗi vào – ra duy nhất (Unique Input - Output sequence) 1) 3.1.1. Một số khái niệm  Chuỗi vào - ra duy nhất (Unique input – output sequence): Một chuỗi y/λ(si, y) đƣợc gọi là chuỗi UIO cho mỗi trạng thái si của FSM M nếu và chỉ nếu y/λ(si, y) y/λ(sj, y) với...ỏng MS hay không. B. 4.2. Kiểm thử dựa trên mô hình FSM Một hệ thống đƣợc đặc tả bởi FSM MS và đƣợc cài đặt bằng MI. Kiểm thử xem hệ thống MI có “hoạt động đúng” theo nhƣ đặc tả MS hay không bằng cách so sánh hành vi của hai máy trạng thái dựa trên sự quan sát hành vi input/output của MI gọi... λ(n, x). Lặp lại bƣớc này với tất cả các nút ở mức k Tiếp theo ta tìm tập bao phủ trạng thái P từ cây kiểm thử. Tập bao phủ trạng thái P = {p1, p2, … pn} là một tập tất cả các chuỗi con pi thể hiện đƣờng dẫn con bắt đầu từ nút gốc trong cây kiểm thử, nối các nhãn theo các cạnh của đƣờng dẫ...