DSpace at UET-VNU >
3. Đồ án, Khoá luận tốt nghiệp >
Khoa Công nghệ thông tin >
Khóa luận năm 2016 (FIT) >
Please use this identifier to cite or link to this item:
http://data.uet.vnu.edu.vn:8080/xmlui/handle/123456789/905
|
Title: | CÁC KỸ THUẬT TRONG KIỂM THỬ DÒNG DỮ LIỆU TĨNH |
Authors: | Nguyễn Thị, Yên |
Issue Date: | 11-Jan-2017 |
Abstract: | Kỹ thuật phân tích dòng dữ liệu tĩnh giúp phát hiện sớm các lỗi
tiềm ẩn trong chương trình từ đó giảm thiểu kinh phí, công sức cho kiểm
thử phần mềm. Từ những lý do trên nên em đã chọn đề tài: “Các kỹ thuật
trong kiểm thử dòng dữ liệu tĩnh”.
Mục tiêu của đề tài: 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ế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. |
URI: | http://data.uet.vnu.edu.vn:8080/xmlui/handle/123456789/905 |
Appears in Collections: | Khóa luận năm 2016 (FIT)
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|