Kỹ thuật ma trận đồ thị trong phương pháp kiểm thử hộp trắng

ĐẠI HỌC THÁI NGUYÊN

TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN & TRUYỀN THÔNG

–––––––––––––––––––––––––

NGUYỄN THỊ HỒNG THUỶ

KỸ THUẬT MA TRẬN ĐỒ THỊ TRONG PHƯƠNG PHÁP

KIỂM THỬ HỘP TRẮNG

LUẬN VĂN THẠC SĨ KHOA HỌC MÁY TÍNH

Thái nguyên – 2020

ĐẠI HỌC THÁI NGUYÊN

TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN & TRUYỀN THÔNG

–––––––––––––––––––––––––

NGUYỄN THỊ HỒNG THUỶ

KỸ THUẬT MA TRẬN ĐỒ THỊ

TRONG PHƯƠNG PHÁP KIỂM THỬ HỘP TRẮNG

Chuyên ngành: Khoa học máy tính

Mã số : 848 01 01

LUẬN VĂN THẠC SĨ KHOA HỌC MÁY TÍNH

Người hướng dẫn khoa học: TS. Lê Văn Phùng

Thái nguyên – 2020

i

LỜI CAM ĐOAN

Tôi xin cam đoan toàn bộ nội dung luận văn này là do tôi tự sưu

tầm, tra cứu thông tin trên mạng Internet, trong một số sách tham khảo

để sắp xếp, hoàn thiện cho phù hợp với nội dung yêu cầu của đề tài.

Đến nay, nội dung luận văn của tôi chưa từng được công bố hay xuất

bản dưới bất kỳ hình thức nào. Nếu sai tôi xin chịu hoàn toàn trách nhiệm.

Ngày ... tháng ... năm 2020

Tác giả

Nguyễn Thị Hồng Thuỷ

ii

LỜI CẢM ƠN

Trong suốt quá trình học tập và thực hiện đề tài, em đã nhận được

sự giúp đỡ tận tình và những chỉ bảo ân cần của các Thầy cô trong viện

Công nghệ thông tin – Viện khoa học và công nghệ Việt nam, các Thầy

cô trong trường đại học Công nghệ Thông tin và Truyền thông, cùng các

bạn bè đồng nghiệp. Đặc biệt là sự giúp đỡ của TS Lê Văn Phùng,

người thầy trực tiếp hướng dẫn, định hướng, chỉnh sửa các kiến thức

chuyên môn và tận tình giúp đỡ em trong suốt quá trình nghiên cứu và

thực hiện luận văn.

Qua đây cho phép em được bày tỏ lời cảm ơn tới tất cả các thầy cô

giáo ở Viện Công nghệ thông tin và Trường Đại học Công nghệ Thông

tin và Truyền thông, đã giảng dạy và tạo mọi điều kiện thuận lợi giúp đỡ

chúng em trong quá trình học tập, nghiên cứu.

Cuối cùng, tôi xin cảm ơn đến gia đình, các bạn bè đồng nghiệp đã

chia sẻ động viên giúp đỡ tôi về chuyên môn cũng như về mọi mặt trong

cuộc sống, đó là nguồn động viên khích lệ giúp tôi có nghị lực hơn để

hoàn thành khoá học.

Học viên

Nguyễn Thị Hồng Thuỷ

iii

MỤC LỤC

Trang

LỜI CAM ĐOAN ....................................................................................i

LỜI CẢM ƠN .........................................................................................ii

MỤC LỤC..............................................................................................iii

DANH MỤC CÁC KÝ HIỆU/VIẾT TẮT ............................................vi

DANH MỤC CÁC HÌNH.....................................................................vii

DANH MỤC CÁC BẢNG...................................................................viii

PHẦN MỞ ĐẦU..................................................................................... 1

1. Lý do chọn đề tài................................................................................. 1

2. Đối tượng và phạm vi nghiên cứu....................................................... 1

3. Mục tiêu và nhiệm vụ nghiên cứu....................................................... 2

4. Phương pháp nghiên cứu..................................................................... 2

5. Ý nghĩa khoa học của đề tài................................................................ 2

6. Bố cục của luận văn: ........................................................................... 2

CHƯƠNG 1 TỔNG QUAN VỀ KIỂM THỬ PHẦN MỀM VÀ KIỂM

THỬ HỘP TRẮNG.................................................................................. 3

1.1. Kiểm thử phần mềm......................................................................... 3

1.1.1. Quan niệm về kiểm thử phần mềm............................................. 3

1.1.2. Chiến lược kiểm thử phần mềm.................................................. 3

1.1.3. Các mức kiểm thử [9].................................................................. 4

1.1.4. Sơ lược về các phương pháp kiểm thử........................................ 5

iv

1.2.1. Ý tưởng của kiểm thử hộp trắng ................................................. 6

1.2.2. Mô tả một số cấu trúc theo lược đồ............................................. 7

1.2.3. Một số hướng chính về kiểm thử hộp trắng................................ 8

CHƯƠNG 2 MỘT SỐ KỸ THUẬT HIỆU QUẢ TRONG

PHƯƠNG PHÁP KIỂM THỬ HỘP TRẮNG VÀ CA KIỂM THỬ16

2.1. Một số kỹ thuật chính trong phương pháp kiểm thử hộp trắng ..... 16

Có thể tổng hợp một số kỹ thuật hiệu quả trong phương pháp kiểm thử

hộp trắng như sau:................................................................................. 16

2.1.1. Kỹ thuật kiểm thử dòng điều khiển............................................. 16

2.1.2. Kỹ thuật kiểm thử dòng dữ liệu .................................................. 18

2.1.3. Kỹ thuật kiểm thử BRO .............................................................. 19

2.1.4. Kỹ thuật kiểm thử đột biến.......................................................... 20

2.2. Ca kiểm thử .................................................................................... 22

2.2.1.Một số quan niệm về ca kiểm thử................................................ 22

2.2.2.Nội dung thiết kế ca kiểm thử...................................................... 22

2.2.3. Một số phương pháp chính để thiết kế ca kiểm thử.................... 23

2.3. Kỹ thuật ma trận đồ thị cho thiết kế ca kiểm thử........................... 27

2.3.1. Ý tưởng và nội dung kỹ thuật ma trận đồ thị [8] ........................ 27

2.3.2. Quy trình kiểm thử phần mềm bằng kỹ thuật ma trận đồ thị...... 36

CHƯƠNG 3 CHƯƠNG TRÌNH THỬ NGHIỆM KIỂM THỬ

PHẦN MỀM BẰNG KỸ THUẬT MA TRẬN ĐỒ THỊ.................. 38

3.1. Chọn mô-đun phần mềm thử nghiệm ............................................ 38

3.2. Thiết kế ca kiểm thử và kiểm thử mô-đun phần mềm .................. 39

v

3.2.1. Quy trình thiết kế ........................................................................ 39

3.2.2. Nội dung thiết kế......................................................................... 39

3.3 Một số giao diện chính của chương trình........................................ 49

3.3.1. Giao diện thiết kế ca kiểm thử theo kỹ thuật ma trận đồ thị....... 49

3.3.2. Quá trình test với Mô-đun 1........................................................ 54

3.3.3. Quá trình test với Mô-đun 2........................................................ 57

3.3.4. Quá trình test với Mô-đun 3........................................................ 60

3.3.5. Quá trình test với Mô-đun 4........................................................ 62

3.3.6. Kiểm thử vòng lặp While ............................................................ 63

3.4. Đánh giá và so sánh kỹ thuật ma trận đồ thị với một số kỹ thuật thiết

kế ca kiểm thử khác............................................................................... 64

3.5. Đánh giá kết quả thử nghiệm và hướng mở rộng .......................... 66

KẾT LUẬN VÀ KIẾN NGHỊ............................................................... 67

1.Kết luận .............................................................................................. 67

2. Kiến nghị........................................................................................... 68

TÀI LIỆU THAM KHẢO..................................................................... 69

vi

DANH MỤC CÁC KÝ HIỆU/VIẾT TẮT

BRO: Kiểm thử nhánh và toán tử quan hệ

CNTT: Công nghệ thông tin

CSDL: Cơ sở dữ liệu

E: Số cạnh của đồ thị

N: Số đỉnh của đồ thị

P: Số đỉnh điều kiện có trong đồ thị

V(G): Độ phức tạp của chu trình

iv