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:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Theses and Dissertations |
| Language: | Vietnamese |
| Published: |
ĐHCN
2017
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/42825 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | Vietnamese |
| id |
oai:112.137.131.14:VNU_123-42825 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-428252018-08-28T08:29:05Z 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 Đoàn, Thị Thùy Linh Đặng, Văn Hưng Công nghệ phần mềm Kiểm thử phần mềm Kỹ thuật sinh ca Mô hình máy 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. 2017-05-17T08:14:27Z 2017-05-17T08:14:27Z 2012 Thesis Đoàn, T. T. L. (2012). 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 thạc sỹ, Đại học Quốc gia Hà Nội, Việt Nam 00050001355 http://repository.vnu.edu.vn/handle/VNU_123/42825 vi Luận văn Ngành Công nghệ phần mềm (Full) 58 tr. + CD-ROM application/pdf ĐHCN |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
Vietnamese |
| topic |
Công nghệ phần mềm Kiểm thử phần mềm Kỹ thuật sinh ca Mô hình máy |
| spellingShingle |
Công nghệ phần mềm Kiểm thử phần mềm Kỹ thuật sinh ca Mô hình máy Đoàn, Thị Thùy Linh 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 |
| description |
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. |
| author2 |
Đặng, Văn Hưng |
| author_facet |
Đặng, Văn Hưng Đoàn, Thị Thùy Linh |
| format |
Theses and Dissertations |
| author |
Đoàn, Thị Thùy Linh |
| author_sort |
Đoàn, Thị Thùy Linh |
| title |
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 |
| title_short |
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 |
| title_full |
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 |
| title_fullStr |
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 |
| title_full_unstemmed |
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 |
| title_sort |
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 |
| publisher |
ĐHCN |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/42825 |
| _version_ |
1680965119946784768 |