Luận văn thạc sĩ VNU UET kiểm thử đơn vị cho hệ thống

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ LUYỆN THỊ LAN HƢƠNG KIỂM THỬ ĐƠN VỊ CHO HỆ THỐNG LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN Hà Nội - 2014 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ LUYỆN THỊ LAN HƢƠNG KIỂM THỬ ĐƠN VỊ CHO HỆ THỐNG Ngành: Công nghệ thông tin Chuyên ngành: Kỹ thuật phần mềm Mã số: 60480103 LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN NGƢỜI HƢỚNG DẪN KHOA HỌC: TS TRẦN THỊ MINH CHÂU Hà Nội – 2014 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Lời cam đoan Tôi xin cam đoan luận văn cao học tơi thực Những kết tổng hợp nghiên cứu từ tài liệu tham khảo sử dụng luận văn thu thập từ nguồn thông tin công bố sách báo, tạp chí khoa học chuyên ngành đáng tin cậy kiến thức, kinh nghiệm thân Tơi hồn tồn chịu trách nhiệm trước nhà trường cam đoan Hà Nội, ngày 31 tháng 10 năm 2014 Học viên Luyện thị Lan Hương LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Lời cảm ơn Em xin gửi lời cảm ơn chân thành tới thầy cô giảng viên môn Kỹ thuật phần mềm, khoa Công nghệ thông tin, trường Đại học Cơng nghệ tận tình giảng dạy truyền đạt kiến thức, kinh nghiệm cho em suốt thời gian em học tập trường Em xin gửi lời cảm ơn sâu sắc tới cô giáo TS Trần Thị Minh Châu, cô giúp đỡ, hướng dẫn bảo cho em suốt trình học tập thực đề tài luận văn Bên cạnh kết em đạt vấn đề mà em khơng tránh khỏi thiếu sót q trình thực luận văn, em kính mong thầy cô thông cảm cho em Em mong nhận góp ý, chia sẻ, đánh giá thầy Đó kinh nghiệm q báu cho trình học tập làm việc em sau Em xin cảm ơn chân thành cảm ơn Hà Nội, ngày 31 tháng 10 năm 2014 Học viên Luyện Thị Lan Hương LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Mục lục Lời cam đoan Lời cảm ơn Mục lục Bảng từ viết tắt Danh mục hình vẽ Danh mục bảng biểu Chương Giới thiệu 10 1.1 Đặt vấn đề 10 1.2 Nội dung nghiên cứu 10 1.3 Cấu trúc luận văn 11 Chương 2.Tổng quan kiểm thử phần mềm 12 2.1 Chất lượng phần mềm 12 2.2 Kiểm thử vai trò kiểm thử .12 2.3 Các mục tiêu kiểm thử 13 2.4 Các hoạt động kiểm thử 14 2.5 Các mức độ kiểm thử 14 Kiểm thử đơn vị 15 Kiểm thử tích hợp, 17 Kiểm thử hệ thống 18 Kiểm thử chấp nhận 20 Kiểm thử hồi quy 20 Chương 3.Các kỹ thuật kiểm thử phần mềm 22 3.1 Kiểm thử hộp đen 22 3.1.1 Kỹ thuật phân lớp tương đương(Equivalence Class Testing) 22 3.1.2 Kỹ thuật phân tích giá trị biên (Boundary Value Testing) 25 3.1.3 Kỹ thuật bảng định (Descision Table Testing) 29 3.2 Kiểm thử hộp trắng .31 3.2.1 Kỹ thuật dòng điều khiển (Control Flow Testing) 31 3.2.2 Kỹ thuật dòng liệu (Data Flow Testing) .34 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Chương 4.Bài toán áp dụng 37 4.1 Bài toán .37 4.1.1 Áp dụng kỹ thuật phân lớp tương đương 38 4.1.2 Áp dụng kỹ thuật Bảng định 38 4.1.3 Áp dụng kỹ thuật kiểm thử dòng điều khiển 39 4.1.4 Áp dụng kỹ thuật kiểm thử dòng liệu 45 4.1.5 Kết luận 48 4.2 Bài toán .51 4.2.1 Áp dụng kỹ thuật phân lớp tương đương 52 4.2.2 Áp dụng kỹ thuật bảng định 54 4.2.3 Áp dụng kỹ thuật dòng điều khiển 54 4.2.4 Áp dụng kỹ thuật dòng liệu 61 4.2.5 Kết luận 66 4.3 Bài toán .68 4.3.1 Áp dụng kỹ thuật Domain testing 69 4.3.2 Áp dụng kỹ thuật Bảng định 69 4.3.3 Áp dụng kỹ thuật dòng điều khiển 74 4.3.4 Áp dụng kỹ thuật dòng liệu 79 4.3.5 Kết luận 80 Chương 5.Kết luận 83 5.1 Kết luận văn .83 5.2 Hướng nghiên cứu 83 Tài liệu tham khảo 84 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Bảng từ viết tắt Viết tắt Tên đầy đủ Ghi UT Unit Test Kiểm thử đơn vị ST System test Kiểm thử hệ thống AT acceptance test Kiểm thử chấp nhận EP Equivalence partitioning Phân lớp tương đương ĐK Điều kiện Eff Effects CS Checksum Hành động CFG Control flow graph Đồ thị dòng điều khiển DFG Data flow graph Đồ thị dòng liệu EO Expected output Kết mong đợi LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Danh mục hình vẽ Hình 2.1 Mơ hình phát triền phầm mềm chữ V 15 Hình 2.2 Kỹ thuật cuống lái chiến lươc tích hợp dần 18 Hình 3.1 Trực quan mô tả phân lớp tương đương 22 Hình 3.2 Kỹ thuật kiểm thử biên mở rộng 26 Hình 3.3 Các biên kiểm thử trường hợp xấu 27 Hình 3.4 Kết hợp kiểm thử biên rường hợp xấu nhẩt & kiểm thử biên mở rộng 28 Hình 3.6 So sánh kỹ thuật kiểm thử biên 28 Hình 3.7 Sơ đồ dịng điều khiển 32 Hình 3.8 Các ký hiệu sử dụng đồ thị 32 Hình 3.9 Mối quan hệ độ đo kiểm thử dòng liệu 36 Hình 4.1Sơ đồ dịng điều khiền cho tốn – mã nguồn 42 Hình 4.2 Sơ đồ dịng điều khiền cho tốn – mã nguồn .44 Hình 4.3 Sơ đồ dịng liệu cho tốn – mã nguồn 46 Hình 4.4 Sơ đồ dịng liệu cho tốn – mã nguồn 48 Hình 4.5 Sơ đồ dịng điều khiển cho tốn – mã nguồn .58 Hình 4.6 Sơ đồ dịng điều khiển cho tốn – mã nguồn .60 Hình 4.7 Sơ đồ dịng liệu cho tốn – mã nguồn 63 Hình 4.8 Sơ đồ dịng liệu cho tốn – mã nguồn 65 Hình 4.9 Sơ đồ dịng điều khiển cho tốn 76 Hình 4.10 Sơ đồ dịng liệu cho tốn 79 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Danh mục bảng biểu Bảng 3.1 Cấu trúc bảng định .29 Bảng 4.2 Các ca kiểm thử sinh theo kỹ thuật phân lớp tương đương .38 Bảng 4.3 Bảng định cho toán 39 Bảng 4.4 Các ca kiểm thử sinh theo kỹ thuật bảng định 39 Bảng 4.5 Quy ước điều kiện, hành động sơ đồ CFG toán .41 Bảng 4.6 Các ca kiểm thử sinh theo kỹ thuật dòng điều khiển với mã nguồn .43 Bảng 4.7 Các ca kiểm thử sinh theo kỹ thuật dòng điều khiển với mã nguồn .45 Bảng 4.8 Quy ước ký hiệu điều kiện sơ đồ DFG toán 45 Bảng 4.9 Các ca kiểm thử sinh theo kỹ thuật dòng liệu với mã nguồn 47 Bảng 4.10 Các ca kiểm thử sinh theo kỹ thuật dòng liệu với mã nguồn 48 Bảng 4.11 So sánh độ bao phủ kỹ thuật kiểm thử với mã nguồn 48 Bảng 4.12 So sánh độ bao phủ kỹ thuật kiểm thử với mã nguồn 49 Bảng 4.13 Thống kê số lỗi phát thực thi hai mã nguồn – toán 49 Bảng 4.14 Bảng hệ số tỷ lệ free float số HNX 52 Bảng 4.15 Các ca kiểm thử sinh theo kỹ thuật phân lớp tương đương .53 Bảng 4.16 Các ca kiểm thử sinh theo kỹ thuật bảng định .54 Bảng 4.17 Quy ước điều kiện, hành động sơ đồ CFG toán – mã nguồn 57 Bảng 4.18 Các ca kiểm thử sinh kỹ thuật dòng điều khiển – mã nguồn 59 Bảng 4.19 Quy ước điều kiện, hành động sơ đồ CFG toán – mã nguồn 59 Bảng 4.20 Các ca kiểm thử sinh kỹ thuật dòng điều khiển – mã nguồn 61 Bảng 4.21 Quy ước, ký hiệu điều kiện sơ đồ DFG toán – mã nguồn .61 Bảng 4.22 Quy ước, ký hiệu điều kiện sơ đồ DFG toán – mã nguồn .62 Bảng 4.23 Các ca kiểm thử sinh kỹ thuật dòng liệu – mã nguồn .63 Bảng 4.24 Quy ước, ký hiệu điều kiện sơ đồ DFG toán – mã nguồn .64 Bảng 4.254 Các ca kiểm thử sinh kỹ thuật dòng liệu – mã nguồn .66 Bảng 4.265 So sánh độ bao phủ kỹ thuật kiểm thử với mã nguồn 66 Bảng 4.27 So sánh độ bao phủ kỹ thuật kiểm thử với mã nguồn 67 Bảng 4.28 Thống kê số lỗi phát thực thi hai mã nguồn – toán 67 Bảng 4.29 Quy ước điều kiện, hành động sơ đồ CFG toán 75 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Bảng 4.30 So sánh độ phủ kỹ thuật kiểm thử 80 Bảng 4.31 Thống kê số lỗi phát thực thi hai mã nguồn – toán 81 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 70 SKTelecom 22,611,628,705,815 3.87% HHI 19,158,398,925,120 3.28% HyundaiMtr 17,581,635,061,380 3.01% KT&G 14,822,825,978,480 2.54% KEPCO 12,607,625,978,480 2.16% 10 LGELECTRONICS 11,130,825,978,480 1.90% Test case (TC2): Mảng số gồm 10 số, phần tử thứ có tỷ trọng nhỏ 10% Dữ liệu đầu vào STT Chỉ số EO MarketCap Tỷ trọng SamsungElec 120,923,839,036,125 20.69% ShinhanGroup 23,782,590,735,400 4.07% 114,965,444,843,700 19.67% KookMinBk 71,420,306,949,160 12.22% SKTelecom 22,611,628,705,815 3.87% HHI 19,158,398,925,120 3.28% HyundaiMtr 17,581,635,061,380 3.01% KT&G 14,822,825,978,480 2.54% KEPCO 12,607,625,978,480 2.16% 10 LGELECTRONICS 11,130,825,978,480 1.90% POSCO Tổng giá trị MarketCap 121,695,531,36 3,155 Test case (TC3): Mảng số gồm 10 số, phần tử thứ có tỷ trọng nhỏ 10% Dữ liệu đầu vào STT MarketCap Tỷ trọng ShinhanGroup 23,782,590,735,400 4.07% SamsungElec 120,923,839,036,125 20.69% SKTelecom 22,611,628,705,815 3.87% KookMinBk 71,420,306,949,160 12.22% 114,965,444,843,700 19.67% POSCO Chỉ số EO Tổng giá trị MarketCap 121,695,531,36 3,155 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 71 HHI 19,158,398,925,120 3.28% HyundaiMtr 17,581,635,061,380 3.01% KT&G 14,822,825,978,480 2.54% KEPCO 12,607,625,978,480 2.16% 10 LGELECTRONICS 11,130,825,978,480 1.90% Test case (TC4): Mảng số gồm 10 số, phần tử thứ có tỷ trọng nhỏ 10% Dữ liệu đầu vào STT Chỉ số EO MarketCap Tỷ trọng ShinhanGroup 23,782,590,735,400 4.07% SamsungElec 120,923,839,036,125 20.69% POSCO 114,965,444,843,700 19.67% HyundaiMtr 17,581,635,061,380 3.01% SKTelecom 22,611,628,705,815 3.87% HHI 19,158,398,925,120 3.28% KookMinBk 71,420,306,949,160 12.22% KT&G 14,822,825,978,480 2.54% KEPCO 12,607,625,978,480 2.16% 10 LGELECTRONICS 11,130,825,978,480 1.90% Tổng giá trị MarketCap 121,695,531,36 3,155 Test case (TC5): Mảng số gồm 10 số, phần tử thứ có tỷ trọng nhỏ 10% Dữ liệu đầu vào STT Chỉ số EO MarketCap Tỷ trọng ShinhanGroup 23,782,590,735,400 4.07% SamsungElec 120,923,839,036,125 20.69% POSCO 114,965,444,843,700 19.67% KookMinBk 71,420,306,949,160 12.22% SKTelecom 22,611,628,705,815 3.87% HHI 19,158,398,925,120 3.28% HyundaiMtr 17,581,635,061,380 3.01% Tổng giá trị MarketCap 121,695,531,363, 155 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 72 KT&G 14,822,825,978,480 2.54% KEPCO 12,607,625,978,480 2.16% 10 LGELECTRONICS 11,130,825,978,480 1.90% Test case (TC6): Mảng số gồm 10 số, phần tử thứ có tỷ trọng nhỏ 10% Dữ liệu đầu vào STT Chỉ số EO MarketCap Tỷ trọng ShinhanGroup 23,782,590,735,400 4.07% SamsungElec 120,923,839,036,125 20.69% POSCO 114,965,444,843,700 19.67% KookMinBk 71,420,306,949,160 12.22% SKTelecom 22,611,628,705,815 3.87% HHI 19,158,398,925,120 3.28% HyundaiMtr 17,581,635,061,380 3.01% KT&G 14,822,825,978,480 2.54% KEPCO 12,607,625,978,480 2.16% 10 LGELECTRONICS 11,130,825,978,480 1.90% Tổng giá trị MarketCap 121,695,531,36 3,155 Test case (TC7): Mảng số gồm 10 số, phần tử thứ có tỷ trọng nhỏ 10% Dữ liệu đầu vào STT Chỉ số EO MarketCap Tỷ trọng ShinhanGroup 23,782,590,735,400 4.07% SamsungElec 120,923,839,036,125 20.69% POSCO 114,965,444,843,700 19.67% KookMinBk 71,420,306,949,160 12.22% SKTelecom 22,611,628,705,815 3.87% HHI 19,158,398,925,120 3.28% HyundaiMtr 17,581,635,061,380 3.01% KT&G 14,822,825,978,480 2.54% KEPCO 12,607,625,978,480 2.16% Tổng giá trị MarketCap 121,695,531,363,1 55 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 73 10 LGELECTRONICS 11,130,825,978,480 1.90% Test case (TC8): Mảng số gồm 10 số, phần tử thứ có tỷ trọng nhỏ 10% Dữ liệu đầu vào STT Chỉ số EO MarketCap Tỷ trọng ShinhanGroup 23,782,590,735,400 4.07% SamsungElec 120,923,839,036,125 20.69% POSCO 114,965,444,843,700 19.67% KookMinBk 71,420,306,949,160 12.22% SKTelecom 22,611,628,705,815 3.87% HHI 19,158,398,925,120 3.28% HyundaiMtr 17,581,635,061,380 3.01% KT&G 14,822,825,978,480 2.54% KEPCO 12,607,625,978,480 2.16% 10 LGELECTRONICS 11,130,825,978,480 1.90% Tổng giá trị MarketCap 121,695,531,363,1 55 Test case (TC9): Mảng số gồm 10 số, phần tử thứ có tỷ trọng nhỏ 10% Dữ liệu đầu vào STT Chỉ số EO MarketCap Tỷ trọng ShinhanGroup 23,782,590,735,400 4.07% SamsungElec 120,923,839,036,125 20.69% POSCO 114,965,444,843,700 19.67% KookMinBk 71,420,306,949,160 12.22% SKTelecom 22,611,628,705,815 3.87% HHI 19,158,398,925,120 3.28% HyundaiMtr 17,581,635,061,380 3.01% KT&G 14,822,825,978,480 2.54% KEPCO 12,607,625,978,480 2.16% 10 LGELECTRONICS 11,130,825,978,480 1.90% Tổng giá trị MarketCap 121,695,531,363,1 55 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 74 Test case 10 (TC10): Mảng số gồm 10 số, phần tử thứ 10 có tỷ trọng nhỏ 10% Dữ liệu đầu vào STT Chỉ số EO MarketCap Tỷ trọng ShinhanGroup 23,782,590,735,400 4.07% SamsungElec 120,923,839,036,125 20.69% POSCO 114,965,444,843,700 19.67% KookMinBk 71,420,306,949,160 12.22% SKTelecom 22,611,628,705,815 3.87% HHI 19,158,398,925,120 3.28% HyundaiMtr 17,581,635,061,380 3.01% KT&G 14,822,825,978,480 2.54% KEPCO 12,607,625,978,480 2.16% 10 LGELECTRONICS 11,130,825,978,480 1.90% Tổng giá trị MarketCap 121,695,531,363, 155 4.3.3 Áp dụng kỹ thuật dòng điều khiển Áp dụng kỹ thuật kiểm thử dòng điều khiển ta phân tích tốn theo mã nguồn theo tiêu chí phủ rẽ nhánh dựa vào độ đo kiểm thử cấp tức tất điểm định đồ thị thực lần điều kiện thực hai nhánh true false Bên cạnh đó, ta thấy xuất vòng lặp mã nguồn, nên việc tiến hành xây dựng kiểm thử dựa độ đo chưa đủ mà ta cần phải xây dựng ca kiểm thử liên quan đến vòng lặp chương trình (theo mục 3.2.1, tr34) Mã nguồn 1: private decimal getTotalbyMaxPercent(ArrayList arCell) { try { Cons int maxPercent=10; decimal _total_MC= 0; decimal _dem = 0; int i =0; //Tinh tong cac chi so co ty