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 |
| id |
oai:112.137.131.14:VNU_123-6302 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-63022016-04-04T20:11:24Z 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 nhƣ: chuỗi vào – ra duy nhất (UIO), chuỗi phân biệt (DS), chuỗi đặc trƣng (W). Tìm hiểu mối quan hệ mô phỏng của hai FSM và kiểm thử sự mô phỏng của hai FSM và tổng hợp các lỗi thƣờng gặp khi cài đặt FSM. Trình bày độ bao phủ của mô hình máy hữu hạn trạng thái và lựa chọn độ bao phủ tốt nhất để làm tiền đề sinh ca kiểm thử, phƣơng pháp sinh ca kiểm thử và đƣa ra ví dụ để cụ thể hóa phƣơng pháp đã nêu. Tổng kết những kết quả đã đạt đƣợc và hƣớng phát triển nghiên cứu tiếp theo. 2016-04-04T07:04:28Z 2016-04-04T07:04:28Z 2012 Thesis 12 tr. http://repository.vnu.edu.vn/handle/VNU_123/6302 other application/pdf Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
other |
| 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 Đặng, Văn Hưng 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 nhƣ: chuỗi vào – ra duy
nhất (UIO), chuỗi phân biệt (DS), chuỗi đặc trƣng (W). Tìm hiểu mối quan hệ mô phỏng của hai
FSM và kiểm thử sự mô phỏng của hai FSM và tổng hợp các lỗi thƣờng gặp khi cài đặt FSM.
Trình bày độ bao phủ của mô hình máy hữu hạn trạng thái và lựa chọn độ bao phủ tốt nhất để làm
tiền đề sinh ca kiểm thử, phƣơng pháp sinh ca kiểm thử và đƣa ra ví dụ để cụ thể hóa phƣơng pháp
đã nêu. Tổng kết những kết quả đã đạt đƣợc và hƣớng phát triển nghiên cứu tiếp theo. |
| format |
Theses and Dissertations |
| author |
Đoàn, Thị Thùy Linh Đặng, Văn Hưng |
| author_facet |
Đoàn, Thị Thùy Linh Đặng, Văn Hưng |
| 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 |
Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội |
| publishDate |
2016 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/6302 |
| _version_ |
1680966263702028288 |