Thông tin tài liệu
MUC LUC LOI CAM DOAN o.eececceccscscsesscsesscscscsscscsesucecsucecscsvescsesusacsvencacscsnesssvensavsesreavsesecseeveacaes LOI CAM ON oiececcscsessesesscscssescscsccsesecscsvcscsscscsucscsvssesucscsvsstsessssesstssucssacsesecsesecseescavees DANH MỤC CÁC TỪ VIẾT TÁT VÀ THUẬT NGỮ ¿ 2+s+sz+z+xz 2£: DANH MỤC CÁC BẢNG 22-22222222 HE crrrriee DANH MỤC CÁC HÌNH VẼ .- ¿St + E£EE£EEE£EEEEEEEEEEEEEEEEEEEEEEEEEkrrkrkrrkrre MỞ ĐÂU St ST 1E 11111111115 111 1511111 11111111111 T111 1171111111111 g1 111gr Chương TÔNG QUAN VỀ KIÊM THỬ PHÂN MÊM c2 5z: 12 1.1 Kiểm thử phần mềm 6-5 SE S3 SE£EEEEEEEEEEEEEEEEEEEEeErkrkererkrkrrrred 12 1.2 Phân loại kỹ thuật kiểm thử ¿26 se +t+E+EeEeEeErxreererees 12 1.3 _ Kiêm thử nh kiểm thử động ¿5-5 + SE £EeEeEeErkrkrsrrrrrxred 12 1.3.1 Kiểm thử nh .2 52SE+EEESEEEEEEEEEEErErErrkrrrrkrrrreee 12 1.4.3 Kiém thir hop Xam eeecccccccccccscscecscsesesesececscsvesescsvsvsvsseecseseseseeseeseees 15 1.5.4 Kiểm thử chấp nhận sản phẩm . - + 2+ E+E£Ee£zxexezzxzzees 22 13.2 Kiểm 1.4 Kiểm thử 1.4.1 Kiểm 1.4.2 Kiểm thử hộp thử thử GƯƯỢỢơỬỪÚỮỚÖỮỮ,Ớ,7Ớ7Ự,ơứ.,._ụẶẮgạạ4 trắng, kiêm thử hộp đen kiểm thử hộp xám hộp trắng 5-5 St tt SE EEExEErrkrrrrrr hộp đen . i«Set sSE St EE TT xxx ưu 13 13 14 15 1.5 Quy 1.5.1 1.5.2 1.5.3 kiểm thử phần mềm -+ SE k£E+E£E£EeEE+EeEerxrrerxred thi dom View.cccceccccccccssessessessesseseesessessessessessestesesessesseesessesseaeen thir tich hop sceccccccccccsscsssscscescscsesesecsvercecsvsreavsversavsvereavsvereavave thử hệ thống ¿5-52 SE EEEEEEEEEEEErrkrrrkrrerkes 16 19 20 21 1.5.5 1.5.6 1.6 trình Kim Kiém Kiểm Một số cấp độ kiêm thử khác .-¿+ 5s s+EEEcEeEeErkekrrxrxrrees 22 Các phương pháp kiêm thử người 2s s+s+sz+s+szzsez 23 Kết luận chương Ì .- 5c + SESEEk£EEEEEEEEEEEEEEEEkEEEEEkrkrrkrkrkee 25 Chương NGHIÊN CỨU VỀ KIÊM THỨ HƯỚNG MƠ HÌNH 26 2.1 Tổng quan kiêm thử hướng mơ hình - + x+SvSx+EeE££E+EeEezxzxez 26 2.1.1 Kiểm thử hướng mơ hình - - E S£E£E£EESE£v£k£k£vzkevevrvexrxesed 26 2.1.2 Ngơn ngữ mơ hình hóa - c2 111113333 11111115 11111 xe 28 2.1.3 Hệ thông chuyền tiếp gán nhãn - LTS .-2s + x+x+E££e+E+Eezxrxez 28 2.1.4 2.1.5 2.1.6 2.2 Các 2.2.1 Máy trạng thái hữu hạn — FSÌM S133 vvssereresesreersrs Máy trạng thái mở rộng- ESÌM S113 v1 kg So sánh kiểm thử hướng mơ hình kiểm thử thông thường phương pháp tiếp cận kiểm thử hướng mơ hình - ¿2 2s: Giải thuật tìm kiếm đồ thị - Graph Search Algorithms . - 30 32 35 36 36 2.2.2 Kiêm thử ngẫu nhiên - - c2 S SE SE‡kEềEEEEEEEEEEEEEEErkrkrkrsrrerkrkd 36 2.2.3 Giải thuật tìm kiếm A-Sfa- ¿5-5 St SE SE EEEEEEEEEEEEEEEEkrkrrrrkrkee 37 2.2.4 Kiêm tra mơ hình: 2k EE kềEE£E£EE£E£EEEEEEEEEEEEEEEEkrEerkrkrrkrkrrkd 37 2.2.5 Phân lớp tương GuUONG .cccecceceessseeeeessseeeeeeseeeeceeseeeesesteeeeeeeteeeeeeesaees 38 2.2.6 Kỹ thuật đồ thị nhân - (Cause-Effect Graph) s- 5x5: 39 2.2.7 Kiểm thử so sánh .-¿5s St SE SE EE XE E211 711111717111 excrk 41 2.3 Công cụ thử nghiệm hướng mô hình: - ¿+ - + + s3 **£++£*#v#sevce>ezs 42 2.3.1 GV ÏÏ, HH TH HT ki 42 "AC c0 0n e 43 43 2.3.3 S€Ï€TIUI - - - -c cu tu nu ng nu nà 47 2.3.4 Lựa chọn ngôn ngữ công cụ thử nghiệm 5s sssss>s+ 50 2.4 Đề xuất quy trình kiểm thử cho ứng dụng web 2s se etx+Eerxrzerxd 51 2.5 Két ludn Chung oo.cececcececcscscssesessssescscscssscsesucscsvsnescsesscscsesscacsvsseseseseceeseaeees 53 Chuong AP DUNG THU NGHIEM CHO UNG DUNG WEB HE THONG DASHBOARD KY THUAT uue.eccccccccscscssescscescscescscescsesecseecseecaceacseeacsevacsecacaeeavaneaes 54 3.1 Dat Var GS voce ccc ceccccccccesececsesescsescscsveveeusecscscscscevevsvavavavavsvsvsneeeesacecevevsvavavaes 54 3.2 Ung dung cho dur an cu thé o.cccccccceccccscscssesesscecsvescscsesscscsesecscaveecsesesececseeeees 54 3.2.1 Thiét ké kich ban kiém thtte.c.ceccccccccccccscsesesescecsessecscscsveseecsesesrseeeseeeeees 55 3.2.2 Thực xây dựng mơ hình: - c2 11 +eeeeeeeseseses 58 3.2.3 Thực kiêm thử tự động . + + Sx+E+E£EEzEeEeEkrkeErxreerererree 66 3.2.4 Đánh giá kết Qua c.ccccccccccssesessesessesesessesesececsverescsesnsavsvensavsvsreavsesesaveeeaears 68 3.3 Kết luận chương -¿6S St SE SE E3 1111171111111 11 1111k 70 3.4.1 Ưu điểm kiểm thử hướng mơ hình -2-5 ¿ s+s+sz+zzs£zzxzxez 3.4.2 Nhược điểm kiêm thử hướng mơ hình - s2 =z=ss£2 KÉT LUẬN VÀ HƯỚNG PHÁT TRIỀN 2-2 +S+S‡S St SE SE +ESE+E£E£E£E£ErErxrxrsez A KẾt luận .- - c + t tt 1111111 111111111 11111 111111111k 70 70 7] 71 B Một số tôn luận văn
Ngày đăng: 10/11/2023, 04:44
Xem thêm:
