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...

Full description

Saved in:
Bibliographic Details
Main Author: Nguyễn, Thị Yên
Other Authors: Đặng, Văn Hưng
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
Description
Summary: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.