Các kỹ thuật trong kiểm thử dòng dữ liệu tĩnh
Nghiên cứu Tổng quan về kiểm thử phần mềm để nắm những kiến thức cơ bản phục vụ cho các nghiên cứu tiếp theo. Sau đó nghiên cứu Tổng quan về các phương pháp kiểm thử phần mềm và kiểm thử dòng dữ liệu tĩnh. Tiếp theo nghiên cứu ứng dụng Logic Hoare trong kiểm thử phần mềm, cụ thể: nghiên cứu kỹ thuật...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Theses and Dissertations |
| Language: | Vietnamese |
| Published: |
2020
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/72614 |
| 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-72614 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-726142020-03-13T05:36:14Z Các kỹ thuật trong kiểm thử dòng dữ liệu tĩnh Nguyễn, Thị Yên Đặng, Văn Hưng ĐHQGHN - Trường Đại học Công nghệ Phần mềm--Kỹ thuật Kiểm thử dòng dữ liệu tĩnh--Kỹ thuật Nghiên cứu Tổng quan về kiểm thử phần mềm để nắm những kiến thức cơ bản phục vụ cho các nghiên cứu tiếp theo. Sau đó nghiên cứu Tổng quan về các phương pháp kiểm thử phần mềm và kiểm thử dòng dữ liệu tĩnh. Tiếp theo nghiên cứu ứng dụng Logic Hoare trong kiểm thử phần mềm, cụ thể: nghiên cứu kỹ thuật kết hợp Logic Hoare với kỹ thuật kiểm thử dựa trên kịch bản dòng dữ liệu và áp dụng kỹ thuật kết hợp này vào kiểm thử một đoạn chương trình. Kỹ thuật phần mềm 2020-03-13T05:34:47Z 2020-03-13T05:34:47Z 2020-03-13 Thesis Nguyễn Thị Yên. (2016). Các kỹ thuật trong kiểm thử dòng dữ liệu tĩnh. Luận văn thạc sỹ, Đại học Quốc gia Hà Nội, Việt Nam 60 48 01 http://repository.vnu.edu.vn/handle/VNU_123/72614 NG-Y vi 54 tr. application/pdf |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
Vietnamese |
| topic |
Phần mềm--Kỹ thuật Kiểm thử dòng dữ liệu tĩnh--Kỹ thuật |
| spellingShingle |
Phần mềm--Kỹ thuật Kiểm thử dòng dữ liệu tĩnh--Kỹ thuật Nguyễn, Thị Yên Các kỹ thuật trong kiểm thử dòng dữ liệu tĩnh |
| description |
Nghiên cứu Tổng quan về kiểm thử phần mềm để nắm những kiến thức cơ bản phục vụ cho các nghiên cứu tiếp theo. Sau đó nghiên cứu Tổng quan về các phương pháp kiểm thử phần mềm và kiểm thử dòng dữ liệu tĩnh. Tiếp theo nghiên cứu ứng dụng Logic Hoare trong kiểm thử phần mềm, cụ thể: nghiên cứu kỹ thuật kết hợp Logic Hoare với kỹ thuật kiểm thử dựa trên kịch bản dòng dữ liệu và áp dụng kỹ thuật kết hợp này vào kiểm thử một đoạn chương trình. |
| author2 |
Đặng, Văn Hưng |
| author_facet |
Đặng, Văn Hưng Nguyễn, Thị Yên |
| format |
Theses and Dissertations |
| author |
Nguyễn, Thị Yên |
| author_sort |
Nguyễn, Thị Yên |
| title |
Các kỹ thuật trong kiểm thử dòng dữ liệu tĩnh |
| title_short |
Các kỹ thuật trong kiểm thử dòng dữ liệu tĩnh |
| title_full |
Các kỹ thuật trong kiểm thử dòng dữ liệu tĩnh |
| title_fullStr |
Các kỹ thuật trong kiểm thử dòng dữ liệu tĩnh |
| title_full_unstemmed |
Các kỹ thuật trong kiểm thử dòng dữ liệu tĩnh |
| title_sort |
các kỹ thuật trong kiểm thử dòng dữ liệu tĩnh |
| publishDate |
2020 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/72614 |
| _version_ |
1680962527074189312 |