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....
Saved in:
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | Theses and Dissertations |
| 語言: | Vietnamese |
| 出版: |
ĐHCN
2017
|
| 主題: | |
| 在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/42825 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 機構: | Vietnam National University, Hanoi |
| 語言: | Vietnamese |