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

Trình bày về mô hình FSM và cách biểu diễn một FSM theo kiểu liệt kê, đồ thị hoặc dạng bảng. Ngoài ra, trình bày một số tính chất của một máy hữu hạn trạng thái. Nghiên cứu một số phƣơng pháp xác định chuỗi kiểm chứng trạng thái của mô hình FSM nhƣ: chuỗi vào – ra duy nhất (UIO), chuỗi...

全面介紹

Saved in:
書目詳細資料
Main Authors: Đoàn, Thị Thùy Linh, Đặng, Văn Hưng
格式: Theses and Dissertations
語言:other
出版: Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội 2016
主題:
在線閱讀:http://repository.vnu.edu.vn/handle/VNU_123/6302
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
實物特徵
總結:Trình bày về mô hình FSM và cách biểu diễn một FSM theo kiểu liệt kê, đồ thị hoặc dạng bảng. Ngoài ra, trình bày một số tính chất của một máy hữu hạn trạng thái. Nghiên cứu một số phƣơng pháp xác định chuỗi kiểm chứng trạng thái của mô hình FSM nhƣ: chuỗi vào – ra duy nhất (UIO), chuỗi phân biệt (DS), chuỗi đặc trƣng (W). Tìm hiểu mối quan hệ mô phỏng của hai FSM và kiểm thử sự mô phỏng của hai FSM và tổng hợp các lỗi thƣờng gặp khi cài đặt FSM. Trình bày độ bao phủ của mô hình máy hữu hạn trạng thái và lựa chọn độ bao phủ tốt nhất để làm tiền đề sinh ca kiểm thử, phƣơng pháp sinh ca kiểm thử và đƣa ra ví dụ để cụ thể hóa phƣơng pháp đã nêu. Tổng kết những kết quả đã đạt đƣợc và hƣớng phát triển nghiên cứu tiếp theo.