Đăng nhập
Zalo
Hoặc tiếp tục với email
Nhớ mật khẩu
Đang tải... (xem toàn văn)
Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
Ngày đăng: 25/03/2015, 09:55
Xem thêm: 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, 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
Thuật toán sinh cây DS
Kiểm thử dựa trên mô hình FSM
Một số lỗi thường gặp khi cài đặt FSM
bao phủ trạng thái (state coverage)
bao phủ chuyển trạng thái (transition coverage)
Khuôn dạng ca kiểm thử