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: | , |
|---|---|
| Format: | Theses and Dissertations |
| Language: | other |
| Published: |
Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội
2016
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/6302 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | other |