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...
Lưu vào:
| Tác giả chính: | , |
|---|---|
| Định dạng: | Luận án |
| Ngôn ngữ: | other |
| Thông tin xuất bản: |
Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội
2016
|
| Chủ đề: | |
| Truy cập trực tuyến: | http://repository.vnu.edu.vn/handle/VNU_123/6302 |
| Từ khóa: |
Thêm từ khóa bạn đọc
Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!
|