Luận văn: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 : Luận văn ThS. Công nghệ thông tin: 60 48 10
Nhà xuất bản:ĐHCN
Ngày:2012
Chủ đề:Công nghệ phần mềm
Kiểm thử phần mềm
Kỹ thuật sinh ca
Mô hình máy
Miêu tả:58 tr. + CD-ROM
Luận văn ThS. Công nghệ phần mềm -- Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2012
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ị hay 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
Electronic Resources
Kiểu:text
Định dạng:text/pdf
Link tải Free download cho anh em Ket-noi:00050001355_Noi_dung.pdf
