Luận Văn Thạc Sĩ: Phương Pháp Sinh Dữ Liệu Kiểm Thử Tự Động Từ Biểu Đồ UML

2016

74
0
0

Phí lưu trữ

30 Point

Mục lục chi tiết

LỜI CẢM ƠN

TÓM TẮT

ABSTRACT

LỜI CAM ĐOAN

MỤC LỤC

DANH SÁCH BẢNG BIỂU

DANH SÁCH HÌNH VẼ

BẢNG THUẬT NGỮ VIẾT TẮT

1. CHƯƠNG 1: GIỚI THIỆU

1.1. Công nghệ phần mềm đang ngày càng phát triển và chi phối cuộc sống của con ngƣời

1.2. Kiểm thử tự động và các nghiên cứu liên quan

1.3. Nội dung bài nghiên cứu và bố cục luận văn

2. CHƯƠNG 2: CÁC KHÁI NIỆM VÀ TỔNG QUAN KIỂM THỬ DỰA TRÊN MÔ HÌNH

2.1. Tổng quan kiểm thử dựa trên mô hình

2.2. Biểu đồ tuần tự và các khối phân đoạn trong UML

2.3. Đồ thị dòng điều khiển

3. CHƯƠNG 3: PHƢƠNG PHÁP SINH ĐỒ THỊ DÒNG ĐIỀU KHIỂN TỪ BIỂU ĐỒ TUẦN TỰ

3.1. Điều kiện ràng buộc trong thiết kế

3.2. Thuật toán biến đổi biểu đồ tuần tự sang đồ thị dòng điều khiển

3.3. Kỹ thuật sinh kịch bản kiểm thử

3.4. Xây dựng hệ ràng buộc

3.5. Giải hệ sử dụng SMT-Solver

3.6. Các nghiên cứu liên quan

4. CHƯƠNG 4: CÔNG CỤ VÀ THỰC NGHIỆM

4.1. Giới thiệu công cụ và môi trƣờng thực nghiệm

4.2. Ý nghĩa thực nghiệm

5. CHƯƠNG 5: KẾT LUẬN

TÀI LIỆU THAM KHẢO

Luận văn thạc sĩ vnu uet phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự uml biểu đồ lớp và ràng buộc ocl