Verification of scenario constraints using java pathfinder
Kiểm chứng phần mềm, kiến trúc bộ sinh dữ liệu kiểm thử; Phương pháp kiểm chứng ràng buộc kịch bản qua triển khai sử dụng Java PathFinder; Cài đặt Kiểm chứng ràng buộc kịch bản thực thi; khó khăn và cài đặt công cụ mẫu.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Theses and Dissertations |
| Language: | English |
| Published: |
ĐHCN
2017
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/42278 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | English |
| id |
oai:112.137.131.14:VNU_123-42278 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-422782018-08-02T03:17:38Z Verification of scenario constraints using java pathfinder Phạm, Quang Thập Trương, Ninh Thuận Ngôn ngữ lập trình Chương trình Java Java Path Finder Công nghệ thông tin Kiểm chứng phần mềm Kiểm chứng phần mềm, kiến trúc bộ sinh dữ liệu kiểm thử; Phương pháp kiểm chứng ràng buộc kịch bản qua triển khai sử dụng Java PathFinder; Cài đặt Kiểm chứng ràng buộc kịch bản thực thi; khó khăn và cài đặt công cụ mẫu. 2017-05-17T08:10:47Z 2017-05-17T08:10:47Z 2011 Thesis Pham, Q. T. (2011). Verification of scenario constraints using java pathfinder. Master’s thesis, Vietnam National University, Hanoi 00051000037 http://repository.vnu.edu.vn/handle/VNU_123/42278 en Luận văn Ngành Khoa học Máy tính (Full) 37 p. + CD-ROM application/pdf ĐHCN |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
English |
| topic |
Ngôn ngữ lập trình Chương trình Java Java Path Finder Công nghệ thông tin Kiểm chứng phần mềm |
| spellingShingle |
Ngôn ngữ lập trình Chương trình Java Java Path Finder Công nghệ thông tin Kiểm chứng phần mềm Phạm, Quang Thập Verification of scenario constraints using java pathfinder |
| description |
Kiểm chứng phần mềm, kiến trúc bộ sinh dữ liệu kiểm thử; Phương pháp kiểm chứng ràng buộc kịch bản qua triển khai sử dụng Java PathFinder; Cài đặt Kiểm chứng ràng buộc kịch bản thực thi; khó khăn và cài đặt công cụ mẫu. |
| author2 |
Trương, Ninh Thuận |
| author_facet |
Trương, Ninh Thuận Phạm, Quang Thập |
| format |
Theses and Dissertations |
| author |
Phạm, Quang Thập |
| author_sort |
Phạm, Quang Thập |
| title |
Verification of scenario constraints using java pathfinder |
| title_short |
Verification of scenario constraints using java pathfinder |
| title_full |
Verification of scenario constraints using java pathfinder |
| title_fullStr |
Verification of scenario constraints using java pathfinder |
| title_full_unstemmed |
Verification of scenario constraints using java pathfinder |
| title_sort |
verification of scenario constraints using java pathfinder |
| publisher |
ĐHCN |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/42278 |
| _version_ |
1680966882887204864 |