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 |