Xây dựng công cụ hỗ trợ sinh ca kiểm thử cặp (tt)

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN THỊ TỰ XÂY DỰNG CÔNG CỤ HỖ TRỢ SINH CA KIỂM THỬ CẶP Ngành: Công nghệ thông tin Chuyên ngành: Kỹ thuật phần mềm Mã số: 60 48 01 03 LUẬN VĂN THẠC SĨ NGÀNH CÔNG NGHỆ THÔNG TIN NGƢỜI HƢỚNG DẪN KHOA HỌC: TS ĐẶNG ĐỨC HẠNH Hà Nội – 2016 MỤC LỤC LỜI CẢM ƠN Error! Bookmark not defined LỜI CAM ĐOAN Error! Bookmark not defined MỤC LỤC DANH SÁCH CÁC BẢNG KÝ HIỆU VÀ CHỮ VIẾT TẮTError! Bookmark not defined DANH SÁCH CÁC BẢNG Error! Bookmark not defined DANH SÁCH CÁC HÌNH Error! Bookmark not defined MỞ ĐẦU Error! Bookmark not defined Đặt vấn đề, định hƣớng nghiên cứu CHƢƠNG 1: TỔNG QUAN VỀ KIỂM THỬ PHẦN MỀM 1.1 Khái niệm kiểm thử phần mềm (Software Testing) 1.2 Một số thuật ngữ thƣờng dùng kiểm thử phần mềm 1.3 Quy trình kiểm thử phần mềm 1.3.1 Lập kế hoạch kiểm thử (Test plan) 1.3.2 Thiết kế kiểm thử (Test design) 1.3.3 Chuẩn bị liệu (Implement test) 1.3.4 Thực kiểm thử, ghi nhận kết đánh giá kết 10 1.3.5 Tổng hợp báo cáo 10 1.4 Các mức kiểm thử phần mềm 10 1.4.1 Kiểm thử mức đơn vị (Unit Test) 11 1.4.2 Kiểm thử tích hợp (Integration Test) 11 1.4.3 Kiểm thử mức hệ thống (System Test) 11 1.4.4 Kiểm thử chấp nhận (Acceptance Test) 11 1.4.5 Kiểm thử hồi quy (Regression Test) Error! Bookmark not defined 1.5 Một số chiến lƣợc kiểm thử Error! Bookmark not defined 1.5.1 Kiểm thử hộp trắng (White-box Testing) Error! Bookmark not defined 1.5.2 Kiểm thử hộp đen (Black-box Testing)Error! Bookmark not defined 1.6 Kiểm thử chức Error! Bookmark not defined 1.6.1 Khái niệm kiểm thử chức Error! Bookmark not defined 1.6.2 Phân lớp tƣơng đƣơng (Equivalence class partioning) Error! Bookmark not defined 2 1.6.3 Phân tích giá trị biên (Boundary value analysis)Error! Bookmark not defined 1.6.4 Bảng định (Decision tables) Error! Bookmark not defined 1.6.5 Kiểm thử ngẫu nhiên (Random testing)Error! Bookmark not defined 1.6.6 Đoán lỗi (Error guesing) Error! Bookmark not defined 1.6.7 Phƣơng pháp phân vùng (Category partition (CPM))Error! Bookmark not defined 1.7 Kiểm thử tổ hợp (Combination testing) Error! Bookmark not defined 1.7.1 Vector kiểm thử (Test vector) Error! Bookmark not defined 1.7.2 Kiểm thử tổ hợp [5] Error! Bookmark not defined CHƢƠNG 2: KIỂM THỬ CẶP ĐÔI DỮ LIỆU (PAIRWISE TESTING) Error! Bookmark not defined 2.1 Tổng quan Error! Bookmark not defined 2.2 Kiểm thử cặp đôi liệu (Parirwise testing) Error! Bookmark not defined 2.2.1 Mảng trực giao (Orthogonal array (Lrun(Leverfactors))) Error! Bookmark not defined 2.2.2 Thứ tự tham số (In parameter order) Error! Bookmark not defined 2.3 Công cụ PICT (Pairwise Independent Combinatorial Testing) Error! Bookmark not defined 2.3.1 File đầu vào PICT Error! Bookmark not defined 2.3.2 Cách thức sinh liệu ca kiểm thử PICT Error! Bookmark not defined 2.3.3 Ƣu điểm PICT Error! Bookmark not defined 2.3.4 Cài đặt sử dụng PICT [9] Error! Bookmark not defined 2.4 Ứng dụng pairwise testing Error! Bookmark not defined 2.5 Đánh giá hiệu kỹ thuật pairwise Error! Bookmark not defined CHƢƠNG 3: XÂY DỰNG CÔNG CỤ SINH CA KIỂM THỬ TỰ ĐỘNGError! Bookmark not defined 3.1 Ý tƣởng toán Error! Bookmark not defined 3.2 Tìm hiểm công cụ kiểm thử tự động web Selenium IDE.Error! Bookmark not defined 3.3 Phân tích tốn Error! Bookmark not defined 3.3.1 Vấn đề cần giải Error! Bookmark not defined 3.3.2 Cách thức giải vấn đề Error! Bookmark not defined 3.3.3 Cách thức sinh ca kiểm thử công cụ Error! Bookmark not defined Xây dựng công cụ sinh ca kiểm thử tự động Error! Bookmark not defined 3 3.5 Kết công cụ: Error! Bookmark not defined 3.6 Môi trƣờng chạy công cụ sinh ca kiểm thử Error! Bookmark not defined 3.7 Ứng dụng công cụ vào thực tế Error! Bookmark not defined 3.8 Đánh giá ƣu nhƣợc điểm cơng cụ Error! Bookmark not defined Tóm tắt kết làm đƣợc: 12 Hƣớng nghiên cứu tiếp theo: 12 DANH MỤC TÀI LIỆU THAM KHẢO 13 ặt vấn đề, định hƣớng nghiên cứu Trong năm gần đây, thấy ngành công nghệ phần mềm phát triển ngày vƣợt bậc nhiều lĩnh vực Đặc biệt tính ứng dụng cao bắt buộc cho phần mềm phải có chất lƣợng định Việc phát triển phần mềm tập trung vào khâu thiết kế, lập trình chƣa đủ Chúng ta cần tập trung cao vào khâu kiểm thử đặc biệt kiểm thử chức (function) Nhƣng kiểm thử nhƣ để tiết kiệm chi phí, tối ƣu nguồn lực mà đảm bảo chất lƣợng Một giải pháp hợp lý cho vấn đề đặt áp dụng kỹ thuật kiểm thử tối ƣu công cụ kiểm thử tự động cho phần mềm Trong thực tế có nhiều cơng cụ kiểm thử tự động ví dụ nhƣ Selenium IDE, QTP, nhƣng nhìn trung chúng lại gò bó mang nhiều nhƣợc điểm Luận văn đƣợc thực dựa ý tƣởng từ nhu cầu thực tế công việc kiến thức đƣợc học để từ đƣa cách thực Luận văn gồm chƣơng có nội dung nhƣ sau: Chƣơng 1: Tổng quan kiểm thử phần mềm Chƣơng nêu hệ thống sở lý thuyết kiểm thử nhƣ khái niệm kiểm thử, quy trình kiểm thử, mức kiểm thử, chiến lƣợc kiểm thử đặc biệt kỹ thuật kiểm thử chức kiểm thử tổ hợp Chƣơng 2: Kỹ thuật kiểm thử cặp đôi liệu (Pairwise testing) Trong chƣơng này, giới thiệu kiểm thử cặp liệu Đây kỹ thuật kiểm thử chức Trong luận văn nghiên cứu kỹ thuật mảng trực giao (OA) thứ tự tham số (IPO) Ngồi phần giới thiệu cơng cụ sinh liệu kiểm thử theo phƣơng pháp cặp đôi liệu PICT Chƣơng 3: Xây dựng công cụ hỗ trợ sinh ca kiểm thử theo kỹ thuật cặp 4 Trong chƣơng này, xây dựng công cụ cho phép sinh ca kiểm thử dạng Selenium IDE kết hợp kỹ thuật cặp liệu Nó cho phép sinh lúc nhiêu ca kiểm thử 5 CHƢƠNG 1: TỔNG QUAN VỀ KIỂM THỬ PHẦN MỀM 1.1 Khái niệm kiểm thử phần mềm (Software Testing) Kiểm thử phần mềm trình thực thi chƣơng trình đơn vị (Module) chƣơng trình nhằm đánh giá chất lƣợng sản phẩm phần mềm Kiểm thử khâu mấu chốt bƣớc phát triển cuối để đảm bảo chất lƣợng phần mềm Có thể nói đơn giản kiểm thử kiểm tra xem phần mềm có chạy thiết kế (design) đặc tả (specification) hay khơng Mục đích kiểm thử phần mềm là: Tìm lỗi sai (bug), giải bug đƣa đánh giá, chứng nhận chất lƣợng phần mềm 1.2 Một số thuật ngữ thƣờng dùng kiểm thử phần mềm Bug: Là khiếm khuyết thành phần hệ thống mà làm cho thành phần hệ thống không thực chức yêu cầu nó, lỗi giao diện, lỗi chức năng, lỗi nghiệm vụ Ví dụ nhƣ thông báo sai định nghĩa liệu không đúng, nghiệm vụ bị sai so với yêu cầu… Các mức độ bug: Đơn giản (Cosmetic), bình thƣờng (Medium), nguy hiểm (Serious), gây chết hệ thống (Fatal) Testcase: Đƣợc dịch tiếng việt ca kiểm thử Nó mơ tả liệu dầu vào, số hành động kiện, kết mong đợi để xác định chức ứng dụng phần mềm hoạt động hay không Một testcase có phần đặc thù khác nhƣ mã, mục đích, điều kiện kiểm tra (conditon), yêu cầu liệu đầu vào, bƣớc thực hiện, kết mong đợi Có thể nói testcase tình kiểm tra, đƣợc thiết kế để kiểm tra đối tƣợng có thỏa mãn yêu cầu đặt hay khơng Testcase có số dạng nhƣ bảng 1.1, bảng 1.2, bảng 1.3 Ví dụ mẫu testcase: Stt 10 Điều kiện Bƣớc thực Tại hình Click vào tab ternant [Menu] Click vào [Data ．[Report settings] option] Tại hình [Data =Enable settings] ．[Call ．Tại recording [レポート保存日数] option] =Enable chọn value =3 Kiểm thử Mong muốn Kết viên Ngày test Ghi OK Tunt3 2014/02/26 Versio n: 5.5 ．Display message:[設 定が保存さ れました。 /Setting was saved.] ．Đăng ký [保存日数] thành công chọn value =3 Click button [ OK] để đăng ký ．Tại Bảng 1.1 Mẫu ca kiểm thử thực tế Ví dụ testcase tự động với công cụ Selenium IDE: Testcase1 open / type id=email tunthcm@gmail.com type id=pass minhanh2929 clickAndWait id=u_0_w Bảng 1.2 Ca kiểm thử tự động Selenium IDE dạng bảng New Test New Test open type id=email tunthcm@gmail.com type id=pass minhanh2929 clickAndWait id=u_0_m Bảng 1.3 Ca kiểm thử tự động Selenium IDE dạng mã nguồn html OK/NG/NA: OK/NG kết testcase, NA khơng thể thực đƣợc Build Release Version: Build Release Version đƣợc dùng để phiên phần mềm Tuy nhiên, ý nghĩa trƣờng hợp sử dụng khác Build: Thƣờng đƣợc dùng để version phần mềm trình phát triển dự án Các build liên tiếp thƣờng có khác biệt nhỏ Nó giải thêm bug, thay đổi yêu cầu nhỏ Release Version: Đƣợc dùng để build Tuy nhiên, build đƣợc gởi đến cho khách hàng kiểm thử chấp nhận Những thay đổi Release Version liên tiếp thƣờng lớn Phải có nhiều build đƣợc viết kiểm thử nhóm dự án có Release Version Fix bug: Là q trình giải bug, đƣợc thực lập trình viên Việc fix bug tìm hiểu đƣa đƣợc nguyên nhân gây lỗi, đến xác định lỗi thực vá lỗi 8 1.3 Quy trình kiểm thử phần mềm Đây quy trình kiểm thử phần mềm đƣợc áp dụng nhiều công ty có fpt software Hình 1.1 Quy trình kiểm thử phần mềm Sau mơ tả bƣớc quan trọng quy trình này: 1.3.1 Lập kế hoạch kiểm thử (Test plan) a Mục đích: Xác định nguồn nhân lực tham gia, lập lịch biểu, phạm vi kiểm thử, chiến lƣợc kiểm thử, quy trình cơng cụ sử dụng b Bƣớc thực hiện:  Xác định yêu cầu (requirement) cho việc kiêm thử gồm:  Nghiên cứu tài liệu yêu cầu (requirements) khách hàng, tiêu chí chấp nhận, tài liệu đặc tả, tài liệu thiết kế (design) ràng buộc khác hàng sản phẩm  Xác định xem đƣợc kiểm thử, hay xác phạm vi kiểm thử, ví dụ nhƣ kiểm thử giai đoạn nào, kiểu kiểm thử, module phải kiểm thử  Xác định phạm vi kiểm thử (Hạn chế cơng việc, effort, lịch trình công việc, thời gian kiểm thử hồi quy)  Xem xét thống yêu cầu cho việc kiểm thử  Đánh giá rủi ro mức độ ƣu tiên  Đánh giá rủi ro vấn đề liên quan  Xác định thiết lập mức độ ƣu tiên cho các chức dựa mức độ nghiêm trọng vấn đề, mong muốn ngƣời dùng, mức độ quan trọng, tần xuất sử dụng chức  Xây dựng chiến lƣợc kiểm thử :  Phƣơng pháp kiểm thử, giai đoạn kiểm thử (kiểm thử đơn vị, kiểm thử tích hợp, kiểm thử hệ thống, kiểm thử chấp thuận)  Tiêu chí chấp thuận, đánh giá việc kiểm thử Tiêu chí dựa số tài liêu nhƣ thiết kế, báo cáo kiểm thử…  Xem xét trƣờng hợp đặc biệt, nguồn nhân lực điều kiện sở vật chất để thực kiểm thử  Xác định nguồn nhân lực môi trƣờng bao gồm:  Con ngƣời: Số lƣợng lực, kinh nghiệm  Môi trƣờng kiểm thử: Bao gồm phần cứng phần mềm  Công cụ sử dụng  Tất loại liệu kiểm thử (test data)  Xác định lịch trình kiểm thử  Dự đốn đƣợc thời gian cho kiểm thử (effort test)  Tạo lịch trình kiểm thử mốc (milestones) quan trọng  Tạo kế hoạch kiểm thử  Xem xét thống lập kế hoạch kiểm thử 10 1.3.2 Thiết kế kiểm thử (Test design) a Mục đích Thiết kế cho việc kiểm thử b Bƣớc thực hiện:  Nghiên cứu tài liệu đặc tả, tài liệu kế hoạch  Xác định Pass/Fail cho trƣờng hợp tài liệu thiết kế kiểm thử…  Xác định môi trƣờng cho chức  Liệt kê điểm cần kiểm thử, kịch kiểm thử (test viewpoint, test suile) chức dựa tài liệu yêu câu , quy trình kinh doanh, hiểu biết câu hỏi, trả lời thành viên dự án khách hàng  Xem lại tài liệu thiết kế, điểm cần thực (TestDesign/Test viewpoint), đánh giá độ bao phủ (coverage) thiết kế kiểm thử  Chấp thuận hoàn thành thiết kế kiểm thử 1.3.3 Chuẩn bị liệu (Implement test) a Mục đích: Chuẩn bị cho việc test b Bƣớc thực  Tạo ca kiểm thử:  Phân tích quy trình doanh nghiệp (business process)  Phân tích sơ đồ use case, tài liệu thiết kế, tài liệu yêu cầu, tài liệu đặc tả, kế hoạch kiểm thử  Xác định ca kiểm thử: Điều kiện, bƣớc (kịch bản), kết mong muốn  Xác định liêu kiểm thử  Xác định cấu trúc thủ tục kiểm thử  Phân tích ca kiểm thử  Xác định thủ tục  Cấu trúc thủ tục kiểm thử: Xác định quan hệ trình tự thực thủ tục kiểm thử, điều kiện bắt đầu kết thúc, mối quan hệ thủ tục kiểm thử ca kiểm thử  Xác định thủ tục: Hƣớng dẫn cách thực hiện, giá trị liệu nhập vào, kết mong đợi Tạo test script cho việc thực ca kiểm thử  Chuẩn bị liệu kiểm thử gồm liệu cũ  Chuẩn bị môi trƣờng bao gồm sở vật chất, thiết bị, công cụ điều kiện yêu cầu khác  Xem xét lại ca kiểm thử kiểm tra lại công cụ  Xem xét lại môi trƣờng kiểm thử, điều kiện tiền đề liệu 11 1.3.4 Thực kiểm thử, ghi nhận kết đánh giá kết a Mục đích: Thực thi kiểm thử đánh giá kết kiểm thử b Bƣớc thực  Tiếp nhận sản phẩm nhƣ tài liệu, gói phần mềm  Cài đặt mơi trƣờng chƣơng trình cần kiểm thử  Thực kiểm thử dựa thiết kế kịch kiểm thử, ca kiểm thử Ghi lại liệu thực tế liên quan đến môi trƣờng, liệu, hoạt động kết  Thực phân tích nguyên nhân kết khác với mong muốn Phối hợp với bên phát triển để điều tra bug nhƣ lấy log Đánh dấu phần thay đổi để thay đổi thiết kế, yêu cầu, tài liệu đặc tả, tài liệu yêu cầu môi trƣờng  Theo dõi việc khắc phục lỗi 1.3.5 Tổng hợp báo cáo a Mục đích: Tóm tắt lại kết đánh giá hoạt động kiểm thử b Bƣớc thực  Tổng hợp ca kiểm thử lỗi, xác định mong muốn trƣờng hợp  Tạo báo cáo kiểm thử  Kiểm tra báo cáo kiểm thử  Tinh chỉnh bảo trì tài liệu  Xác định sơ hệ thống sau tích hợp có thỏa mãn u cầu đặt không 1.4 Các mức kiểm thử phần mềm Kiểm thử phần mềm khơng hoạt động cách gò bó mà đƣợc thực cách linh hoạt Điều phụ thuộc vào phần mềm phất triển theo mơ hình giai đoạn phát triển dự án phần mềm [3] Ngồi phụ thuộc lớn vào yêu cầu hợp đồng đặt hàng sản phẩm Hình 1.2 mức độ kiểm thử phần mềm 12 1.4.1 Kiểm thử mức đơn vị (Unit Test) Unit test công đoạn thực thi kiểm thử sớm chu trình kiểm thử phần mềm Đối tƣợng unit test đơn vị có kích thƣớc nhỏ Hoạt động chu trình đơn giản Đơi hàm, chức Đặc điểm unit test:  Dễ tổ chức, kiểm tra, ghi nhận phân tích kết  Thƣờng lập trình viên thực  Nếu phát lỗi dễ dàng phát nguyên nhân, dễ sửa chữa Kỹ thuật đƣợc đặc biệt hay dùng với unit test đồ tị dòng điều khiển (CFG) đồ thị dòng liệu (DFG) Và cơng cụ đƣợc sử dụng nhiều cho Unit test Junit Nunit 1.4.2 Kiểm thử tích hợp (Integration Test) Integration Test kiểm thử thành phần ứng dụng tích hợp vào hệ thống Chúng đƣợc coi nhƣ ứng dụng hoàn thành Integration Test kết hợp đơn vị riêng lẻ lại với kiểm tra giao tiếp chúng Và đƣợc thực nhân viên kiểm thử phần mềm Integration Test có hai mục tiêu chính:  Phát lỗi giao tiếp xảy đơn vị Unit  Tích hợp đơn vị Unit đơn lẻ thành hệ thống nhỏ (subsystem) cuối nguyên hệ thống hoàn chỉnh (system) chuẩn bị cho kiểm tra mức hệ thống (System Test) Một số loại kiểm thử quan trọng Integration Test: Kiểm thử cấu trúc, kiểm thử chức năng, kiểm tra hiệu 1.4.3 Kiểm thử mức hệ thống (System Test) System Test kiểm thử tồn hệ thống sau tích hợp có thỏa mãn yêu cầu đặt hay không System Test bắt đầu tất phận phần mềm đƣợc tích hợp thành cơng Thơng thƣờng loại kiểm tra tốn nhiều công sức thời gian Ở mức độ độ này, nhân viên kiểm thử tìm kiếm lỗi nhƣng trọng tâm đánh giá hoạt động, thao tác, tin cậy yêu cầu khác liên quan đến chất lƣợng toàn hệ thống Thƣờng đƣợc thực nhóm kiểm tra viên hồn tồn độc lập với nhóm phát triển dự án Một số loại kiểm thử System Test gồm: Kiểm thử chức năng, kiểm thử hiệu năng, kiểm thử bảo mật kiểm thử khả phục hồi 1.4.4 Kiểm thử chấp nhận (Acceptance Test) Acceptance Test thƣờng có ý nghĩa ngƣời dùng cuối kiểm thử chƣơng trình xem sản phẩm phần mềm có đáp ứng đầy đủ chức mà họ cần có với quy trình cơng việc mà họ làm hay khơng? Tính dễ sử dụng, chức năng, khả chịu tải Đây mức định xem sản phẩm thực hồn KẾT LUẬN 13 Tóm tắt kết làm đƣợc: Về lý thuyết: Luận văn tìm hiểu đƣợc kiến thức tổng quan kiểm thử phần mềm nhƣ quy trình kiểm thử, chiến lƣợc kiểm thử, mức kiểm thử Đặc biệt luận văn nghiên cứu sâu vào kỹ thuật kiểm thử chức nhƣ phân tích giá trị biên, phân vùng tƣơng đƣơng, bảng định, kiểm thử tổ hợp Quan trọng chiến lƣợc kiểm thử pairwise với kỹ thuật mảng trực giao (OA) thứ tự tham số (IPO) mấu chốt luận văn Luận văn giới thiệu PICT, công cụ sinh liệu kiểm thử theo chiến lƣợc kiểm thử cặp (pairwise) Công cụ cho phép tạo liệu kiểm thử Phục vụ cho việc viết ca kiểm thử Về thực nghiệm: Luận văn xây dựng thành công công cụ sinh ca kiểm thử tự động với:  Lập trình thành cơng sử dụng đƣợc thuật tốn IPO công cụ sinh ca kiểm thử  Ca kiểm thử sinh tập ca kiểm thử Selenium IDE dạng mã nguồn html  Sinh đồng thời nhiều ca kiểm thử Số lƣợng liệu ca kiểm thử thuật tốn IPO định  Các ca kiểm thử hoàn toàn chạy sử dụng lại đƣợc Selenium IDE  Công cụ sinh ca kiểm thử webpage chƣa hình thành có thay đổi liên tục Hƣớng nghiên cứu tiếp theo: Về lý thuyết: Mở rộng kiến thức kiểm thử pairwise, kiểm thử kết hợp tất Nghiên cứu thêm số công cụ sinh liệu kiểm thử theo phƣơng pháp kiểm thử cặp Về công cụ thực nghiệm:  Phát triển tiếp công cụ với số điểm sau đây:  Xây dựng tiếp để làm cho đầu cơng cụ kiểm thử có khả hoạt động trơn tru, không bị điểm dừng chạy selenium IDE  Xây dựng tính verify text, để kiểm tra đƣợc text trang web  Xây dựng tính ràng buộc phần tử  Xây dựng công cụ sinh ca kiểm thử tự động, đầu vào cho Selenium IDE Mà công cụ sử dụng nhập liệu từ file excell 14 DANH MỤC TÀI LIỆU THAM KHẢO Tiếng việt: [1] Phạm Ngọc Hùng, Trƣơng Anh Hoàng, Đặng Văn Hƣng (2014), “Giáo trình kiểm thử phần mềm” Tiếng anh: [2] D R Kuhn, D R Wallace, and A M Gallo, Jr (2004), “Software Fault Interactions and Implications for Software Testing IEEE Transactions on Software Engineering, pp 418–421 [3] Ilene Burnstein (2003), “Practical Software Testing” [4] Jacek Czerwonka (2008) “Pairwise Testing in the Real World: Practical Extensions to Test-Case Scenarios” [5] Juha Itkonen SoberIT, “Combination Testing Strategies” [6] Kuo-Chung Tai, Yu Lei (2002) “A test generation strategy for pairwise testing” IEEE Transactions of Software Engineering, 28 [7] Kshirasagar Naik, Priyadarshi Tripathy (2008), “Software testing and quality assurance” [8] Lee Copeland (2012), “Advanced Test Case Design Using PairWise Testing” Website: [9] https://testmuse.wordpress.com/2006/04/05/PICT-tool-available/ [10] http://www.york.ac.uk/depts/maths/tables/orthogonal.htm [11] http://www.freequality.org/documents/tools/Tagarray_files/tamatrix.htm ... cơng cụ sinh ca kiểm thử  Ca kiểm thử sinh tập ca kiểm thử Selenium IDE dạng mã nguồn html  Sinh đồng thời nhiều ca kiểm thử Số lƣợng liệu ca kiểm thử thuật tốn IPO định  Các ca kiểm thử hoàn... dựng công cụ hỗ trợ sinh ca kiểm thử theo kỹ thuật cặp 4 Trong chƣơng này, xây dựng công cụ cho phép sinh ca kiểm thử dạng Selenium IDE kết hợp kỹ thuật cặp liệu Nó cho phép sinh lúc nhiêu ca kiểm. .. theo chiến lƣợc kiểm thử cặp (pairwise) Công cụ cho phép tạo liệu kiểm thử Phục vụ cho việc viết ca kiểm thử Về thực nghiệm: Luận văn xây dựng thành công công cụ sinh ca kiểm thử tự động với: