ĐỀ TÀI TÌM HIỂU CÁC PHƯƠNG PHÁP KIỂM THỬ PHẦN MỀM VÀ ỨNG DỤNG CÔNG CỤ KIỂM TRA TỰ ĐỘNG TESTARCHITECT ĐỂ KIỂM THỬ TỰ ĐỘNG CHO ỨNG DỤNG DOLPHIN

ĐẠI HỌC ĐÀ NẴNG TRƯỜNG ĐẠI HỌC BÁCH KHOA KHOA CÔNG NGHỆ THÔNG TIN Tel (84-511) 736 949, Fax (84-511) 842 771 Website: itf.ud.edu.vn, E-mail: cntt@edu.ud.vn LUẬN VĂN TỐT NGHIỆP KỸ SƯ NGÀNH CÔNG NGHỆ THÔNG TIN MÃ NGÀNH : 05115 ĐỀ TÀI : TÌM HIỂU CÁC PHƯƠNG PHÁP KIỂM THỬ PHẦN MỀM VÀ ỨNG DỤNG CÔNG CỤ KIỂM TRA TỰ ĐỘNG TESTARCHITECT ĐỂ KIỂM THỬ TỰ ĐỘNG CHO ỨNG DỤNG DOLPHIN Mã số : 06T2 – 49 06T1 – 67 Ngày bảo vệ : 14 - 15/ 06 /2011 SINH VIÊN : NGUYỄN TÙNG 06T2 NGUYỄN ĐĂNG QUYỀN 06T1 CBHD : K.S VÕ ĐỨC HOÀNG ĐÀ NẴNG, 06/2011 LỜI CẢM ƠN Chúng xin gửi lời cảm ơn tới thầy cô khoa công nghệ thông tin trường Đại học Bách Khoa Đà Nẵng công ty Logigear tạo điều kiện mang lại kiến thức q báu để chúng tơi thực đề tài Xin cảm ơn thầy giáo Võ Đức Hồng tận tình hướng dẫn bảo chúng tơi suốt q trình làm đồ án để chúng tơi hồn thành tốt đề tài Cuối xin cảm ơn bạn khoa công nghệ thông tin, người giúp đỡ, chia kiến thức, kinh nghiệm, tài liệu…trong suốt trình nghiên cứu thực đề tài Chúng tơi xin chân thành cảm ơn! Nhóm sinh viên thực Nguyễn Tùng Nguyễn Đăng Quyền LỜI CAM ĐOAN Tôi xin cam đoan : Những nội dung báo cáo thực hướng dẫn trực tiếp thầy Võ Đức Hoàng Mọi tham khảo dùng báo cáo trích dẫn rõ ràng tên tác giả, tên cơng trình, thời gian, địa điểm công bố Mọi chép không hợp lệ, vi phạm quy chế đào tạo, hay gian trá, chúng tơi xin chịu hồn tồn trách nhiệm Nhóm Sinh Viên Nguyễn Tùng Nguyễn Đăng Quyền NHẬN XÉT CỦA CÁN BỘ HƯỚNG DẪN Đà Nẵng ngày … tháng … năm 2011 Cán hướng dẫn K.s Võ Đức Hoàng Tìm hiều kiểm thử phần mềm kiểm thử tự động NHẬN XÉT CỦA CÁN BỘ PHẢN BIỆN Đà Nẵng, ngày … tháng … năm 2011 Cán phản biện Nguyễn Tùng 06T2 – Nguyễn Đăng Quyền 06T1 Trang Tìm hiều kiểm thử phần mềm kiểm thử tự động TÓM TẮT ĐỒ ÁN Đồ án gồm nội dung sau: - Khái quát kiểm thử phần mềm: o Khái niệm kiểm thử phần mềm o Một số phương pháp kiểm thử phần mềm o Các giai đoạn kiểm thử phần mềm o Các lỗi thường gặp kiểm thử - Sơ lược Test Tool kiểm tra tự động - Giới thiệu chương trình kiểm thử phần mềm TestArchitect - Thực hành kiểm thử Ứng dụng web cộng đồng Dolphin công cụ TestArchitect Nguyễn Tùng 06T2 – Nguyễn Đăng Quyền 06T1 Trang Tìm hiều kiểm thử phần mềm kiểm thử tự động DANH SÁCH HÌNH SỬ DỤNG TRONG ĐỒ ÁN Hình 1: Mơ hình thác nước 12 Hình 2: Mơ hình Agile 14 Hình 3: Luồng điều khiển lập trình theo cấu trúc 21 Hình 4: Đồ thị chương trình tốn tam giác .22 Hình 5: Mơ hình kiểm thử hộp đen 23 Hình 6: Kiểm thử theo giá trị biên với biến a ≤ x ≤ b .24 Hình 7: Kiểm thử theo giá trị biên với hai biến x1 x2 .25 Hình 8: Kiểm thử theo giá trị biên đầy đủ với biến a ≤ x ≤ b .25 Hình 9: Kiểm thử theo giá trị biên đầy đủ với biến x1 x2 26 Hình 10: Kiểm thử theo phân hoạch tương đương - lỗi đơn 27 Hình 11: Kiểm thử theo phân hoạch tương đương- lỗi kết hợp .28 Hình 12: Kiểm thử theo phân hoạch tương đương- lỗi đơn đầy đủ 28 Hình 13: Kiểm thử theo phân hoạch tương đương- lỗi kết hợp đầy đủ .29 Hình 14: Mối tương quan KTTĐ chu trình KTPM 51 Hình 15: So sánh loại kiểm thử 54 Hình 16 : Mơ hình ABT 54 Nguyễn Tùng 06T2 – Nguyễn Đăng Quyền 06T1 Trang Tìm hiều kiểm thử phần mềm kiểm thử tự động MỤC LỤC LỜI NÓI ĐẦU .10 VÒNG ĐỜI PHÁT TRIỂN PHẦN MỀM 11 I.1 Vòng đời phát triển phần mềm 11 I.2 Mơ hình thác nước 11 I.3 Mơ hình Agile: 13 TỔNG QUAN VỀ KIỂM THỬ PHẦN MỀM .15 II.1 Kiểm thử phần mềm 15 II.1.1 Khái niệm 15 II.1.2 Lý cần kiểm thử 15 II.1.3 Vai trò 15 II.1.4 Mục tiêu 16 II.1.5 Lợi ích 16 II.2 Các giai đoạn kiểm thử điểm xác định: 16 II.3 Tổng Quan Về Kiểm Thử Phần Mềm .17 II.3.1 Tìm hiểu Testing, QA, QC 17 II.3.2 Nhóm kiểm thử .17 II.3.2.1 Mục tiêu 17 II.3.2.2 Trách nhiệm Tester 17 II.3.3 Mục tiêu kiểm thử 18 II.3.3.1 Lớp tương đương phân tích giá trị biên .18 II.3.3.2 Thiết kế kiểm thử .18 II.3.4 Các phương pháp kiểm thử .18 II.4 Các giai đoạn kiểm thử 31 II.4.1 Kiểm thử đơn vị 31 II.4.2 Kiểm thử tích hợp 31 II.4.3 Kiểm thử hệ thống .32 II.4.4 Kiểm thử thẩm định .32 ĐỊNH NGHĨA TEST REQUIREMENT (TR) VÀ TEST CASE (TC) 33 III.1 Test Requirement (TR) .33 III.1.1 Định nghĩa 33 III.1.2 Thuộc tính TR .33 III.2 Test case .33 III.2.1 Giới thiệu .33 III.2.2 Yêu cầu test case .34 III.2.3 Bản chất test case 34 III.2.4 Cú pháp test case 34 III.3 Phương thức kiểm thử kỹ thuật thiết kế Test case 35 III.3.1 Phương thức kiểm thử vài loại kiểm thử 35 III.3.2 Một vài kỹ thuật thiết kế test case 36 Nguyễn Tùng 06T2 – Nguyễn Đăng Quyền 06T1 Trang Tìm hiều kiểm thử phần mềm kiểm thử tự động III.3.2.1.Phân vùng tương đương: (đã tìm hiểu chương trên) 37 III.3.2.2 Phân tích giá trị biên: (đã tìm hiểu chương trên) 37 III.3.2.3 Điều kiện ràng buộc: 37 III.3.2.4 Quan hệ liệu: 37 III.3.2.5 Chuyển trạng thái: .37 III.3.2.6 Điều kiện kết hợp: .37 III.4 Các lỗi thường gặp kiểm thử 37 III.4.1 Các lỗi liệu vào 37 III.4.2 Các lỗi logic 38 III.4.3 Các lỗi tính tốn 38 III.4.4 Các lỗi giao diện 39 III.4.5 Các lỗi liệu .39 ỨNG DỤNG LÝ THUYẾT ĐỂ THIẾT KẾ TEST REQUIREMENTS VÀ TEST CASE 40 IV.1 Ví dụ thiết kế TR TC cho Gmail web ứng dụng Evernote.40 IV.1.1 TR TC cho số chức gmail .40 IV.1.2 TR TC cho ứng dụng Evernote 43 IV.2 Ví dụ Bug cách viết Bug 46 SƠ LƯỢC VỀ TEST TOOL 50 V.1 Test Tool .50 V.2 Kiểm thử tự động .51 TÌM HIỂU VÀ GIỚI THIỆU VỀ CÔNG CỤ KIỂM THỬ TỰ ĐỘNG TEST ARCHITECT 53 VI.1 Giới thiệu tảng Action Based Testing 53 VI.1.1 Action based testing ? 53 VI.1.2 Cách làm việc ABT ? 54 VI.2 GIỚI THIỆU VỀ TOOL TESTARCHITECT .56 VI.2.1 Giới thiệu .56 VI.2.2 Chức 58 VI.2.2.1.Automation Engineers 60 VI.2.2.2.Software Testers 60 VI.2.2.3.Managers 62 VI.2.2.4.Revision Control 63 VI.2.2.5.Built-In Platform Support .63 VI.2.2.6.Action Recording 64 VI.2.2.7.Control Flow, Variables & Expressions 65 VI.2.2.8.Debugging 65 VI.2.3 Mơ hình hoạt động .66 ỨNG DỤNG TESTARCHITECT ĐỂ KIỂM THỬ ỨNG DỤNG WEB DOLPHIN 68 VII.1 Giới thiệu 68 VII.2 Kiểm thử ứng dụng với TestArchitect 72 Những kết nhận 87 Hướng phát triển 87 Nguyễn Tùng 06T2 – Nguyễn Đăng Quyền 06T1 Trang Tìm hiều kiểm thử phần mềm kiểm thử tự động LỜI NĨI ĐẦU Ngày tự động hóa ứng dụng nhiều lĩnh vực, mục đích thường đa dạng tùy theo nhu cầu đặc thù lĩnh vực, nhiên ưu điểm chung việc ứng dụng tự động hoá giảm nhân lực, thời gian sai sót Ngành cơng nghệ thơng tin nói chung cụ thể phát triển phần mềm không ngoại lệ Như biết, để tạo sản phẩm công nghệ thơng tin hay phần mềm có chất lượng hoạt động kiểm tra phần mềm đóng vai trò quan trọng, hoạt động lại tiêu tốn chiếm tỷ trọng lớn công sức thời gian dự án Do vậy, nhu cầu tự động hố qui trình kiểm tra phần mềm đặt Qua thực tế cho thấy việc áp dụng kiểm thử tự động hợp lý mang lại thành công cho hoạt động kiểm tra phần mềm Kiểm thử tự động giúp giảm bớt công sức thực hiện, tăng độ tin cậy, giảm nhàm chán rèn luyện kỹ lập trình cho kiểm thử viên Nhận thấy tầm quan trọng kiểm thử phần mềm việc phát triển phần mềm nay, chúng em chọn đề tài: “Tìm hiểu phương pháp kiểm thử phần mềm ứng dụng công cụ kiểm tra tự động TestArchitect để kiểm thử tự động cho ứng dụng Dolphin” làm đề tài cho đồ án tốt nghiệp Nội dung đồ án giới thiệu khái quát kiểm thử phần mềm, Test Tool, kiểm tra tự động giới thiệu công cụ kiểm tra tự động mạnh TestArchitect Logigear Mặc dù có nhiều cố gắng q trình làm bài, thời gian kinh nghiệm hạn chế nên làm khơng thể tránh thiếu sót, mong nhận bảo thầy đóng góp ý kiến bạn để đồ án hồn thiện Chúng tơi xin chân thành cảm ơn! Nguyễn Tùng 06T2 – Nguyễn Đăng Quyền 06T1 Trang 10 Tìm hiều kiểm thử phần mềm kiểm thử tự động Step to create a new project: R-click on your Repository node -> select “New Project…” Type project name into Name textbox Click “Create” button Application Under Test Start application:  Path: “Start -> Programs/ All Programs -> TestArchitect ->  Or click “NguyenTung_Doan” on left panel Test Scenario Assuming we will implement these steps: Start application [ Scenario I ] Nguyễn Tùng 06T2 – Nguyễn Đăng Quyền 06T1 Trang 74 Tìm hiều kiểm thử phần mềm kiểm thử tự động Login with invalid account (enter [username, password] , click [login] ) on the “Login” window Verify that message warning will display [ Scenario II ] Re-login with valid account Verify the “Main” window is displayed We will implement these test scenarios Implement a Test Case Our Goal: Capture Interface Create New Action Create Test Module  Test Case  Test Objective Execute Test Module  Individual  Batch File Create New Interface: R-Click on “Interfaces” node -> Select “New Interface…” Type Interface name into “Name” textbox Click “Create” button Nguyễn Tùng 06T2 – Nguyễn Đăng Quyền 06T1 Trang 75 Tìm hiều kiểm thử phần mềm kiểm thử tự động Click create After create Create New Interface Entity: R-Click on Interface item Select “New Interface Entity…” Type the interface entity name Click “Create” button Capture an Interface Entity: Open the Login window in Car Rental Reservation sample2 Make sure that: The main Interface Entity is checking-out The “main” window is opening Nguyễn Tùng 06T2 – Nguyễn Đăng Quyền 06T1 Trang 76 Tìm hiều kiểm thử phần mềm kiểm thử tự động Interface Main Start Interface Viewer: Select “Tool -> Interface Viewer…” from Menu Double clickon “Main” item in the “Interface Viewer” dialog Bắt interface Recognize Interface Element: Check “Auto highlight” checkbox Click one item in Interface Viewer Nguyễn Tùng 06T2 – Nguyễn Đăng Quyền 06T1 Trang 77 Tìm hiều kiểm thử phần mềm kiểm thử tự động Entity Recognize Interface Element:  The TestArchitect Tool support you the control property list for recognizing control  You have to choose the property to make the mapped control become unique You can select multiple properties Map Interface Element: Right click on “(text)” item -> Select “Rename” Type control name that callsTA Nameusing in your implement Script Check the property mapping control in the Properties Listbox (“global pos” or “name”) Repeat step #1 -> #3 for other elements Click “Save Definition” button as last step Nguyễn Tùng 06T2 – Nguyễn Đăng Quyền 06T1 Trang 78 Tìm hiều kiểm thử phần mềm kiểm thử tự động Map Interface Element: Finish mapping a Interface Entity for the “Car Rental Reservation-Login” window Entity Map Interface Element: Map the “Car Rental Reservation-Welcome” window Nguyễn Tùng 06T2 – Nguyễn Đăng Quyền 06T1 Trang 79 Tìm hiều kiểm thử phần mềm kiểm thử tự động Map Interface Element: Map the “Message” dialog Check-in an Interface Entity: Right click on an Interface Entity Select “Check In…” from context menu Click “OK” button Check-out:when you want to update an Interface Entity Check-in:when you want to save what you had updated into repository Create New Action: R-Click on “Actions” node Select “New Action…” Type action name into “Name” textbox Type argument for your new action Click “Create” action Nguyễn Tùng 06T2 – Nguyễn Đăng Quyền 06T1 Trang 80 Tìm hiều kiểm thử phần mềm kiểm thử tự động Implement Action: Implement New Action: Nguyễn Tùng 06T2 – Nguyễn Đăng Quyền 06T1 Trang 81 Tìm hiều kiểm thử phần mềm kiểm thử tự động Use New Action: Focus on new action -> “Drag and drop” new action into implement area Click “OK” button Nguyễn Tùng 06T2 – Nguyễn Đăng Quyền 06T1 Trang 82 Tìm hiều kiểm thử phần mềm kiểm thử tự động Create new Test Module: Right click on “Tests” node Select “New Test Module…” Type Test Module name into Name textbox Click “Create” button Create a New Test Case: Type “test case” in implement area (column A) Type Test Case name (into column B) Type Test Case description (into column C) Create a New Test Objective: Type “test objective” in implement area Type Test Objective name Type Test Objective description Nguyễn Tùng 06T2 – Nguyễn Đăng Quyền 06T1 Trang 83 Tìm hiều kiểm thử phần mềm kiểm thử tự động Scenario: Nguyễn Tùng 06T2 – Nguyễn Đăng Quyền 06T1 Trang 84 Tìm hiều kiểm thử phần mềm kiểm thử tự động Execute a TM: by “F9” hot key Open TM which you need to execute Press “F9” hot key to execute Nguyễn Tùng 06T2 – Nguyễn Đăng Quyền 06T1 Trang 85 Tìm hiều kiểm thử phần mềm kiểm thử tự động TÀI LIỆU THAM KHẢO Vietnamese [1] TS Nguyễn Thanh Bình, Kiểm thử ứng dụng Web,Đại Học Quốc Gia TP HCM, 2010 Foreign languages [2] Cem Kaner, Jack Falk, Hung Q Nguyen,Testing Computer Software Second Edition John Wiley & Sons, Inc New york, NY, USA, 1993 [3] Gerald D Everett, Raymond McLeod Jr., Software Testing – Testing across the entire Software Development Life Cycle John Wiley & Sons, Inc New york, NY, USA, 2007 [4].Hung Q Nguyen, Bob Johnson, Michael Hackett, Testing Applications on the Web: Test Planning for Mobile and Internet-Based Systems, Second Edition, New york, NY, USA, 2003 [5] Paul Ammann, Jeff Offutt, Introduction to software testing, New york, NY, USA, 2008 [6] Testing experience: The magazine for Professional Testers- Test Automation, Does it make sense?, Germany, December, 2008 Websites [7] http://www.logigear.vn/vi/about-us/news/289.html [8] http://www.softwaretestinghelp.com/category/automation-testing/ [9] http://www.agilemodeling.com/essays/modelingSessions.htm [10] http://www.agilemodeling.com/essays/agileModelingXP.htm#XPAM [11] http://www.ambysoft.com/essays/agileLifecycle.html [12].http://en.wikipedia.org/wiki/Software_testing [13].http://www.logigear.com/services/methodology/action-based-testing-with-keywords.html [14].http://www.logigear.com/newsletter-2007/334-key-success-factors-for-keyword-driventesting.html [15].http://www.logigear.com/newsletter-2007/338-is-action-based-testing-an-automationtechnique.html [16] http://www.cs.gmu.edu/~offutt/softwaretest/ Nguyễn Tùng 06T2 – Nguyễn Đăng Quyền 06T1 Trang 86 Tìm hiều kiểm thử phần mềm kiểm thử tự động TĨM TẮT LUẬN VĂN TỐT NGHIỆP Tìm hiểu phương pháp kiểm thử phần mềm ứng dụng công cụ kiểm tra tự động TestArchitect để thiết lập kiểm thử tự động cho ứng dụng Dolphin Những kết nhận     Có so sánh kiểm thử tự động kiểm thử tay Hiểu đặc điểm kiểm thử tự động kiểm thử tay Hiểu vòng đời q trình kiểm thử tự động Thành cơng việc cài đặt thực thi test case cho kiểm thử tay kiểm thử tự động để tạo ứng dụng demo  Hiểu biết cấu trúc cách làm việc test tool TestArchitect  Hiểu biết cách để cài đặc test module từ test case Hướng phát triển Đồ án thực tập trung TestArchitect, chưa so sánh với test tool để kiểm thử tự động khác Vì từ hiểu biết chung kiểm thử tự động TestArchitect™, đồ án tập trung đến công cụ kiểm thử tự động khác trường, từ sở có so sánh xác kỹ thuật chất lượng TestArchitect với test tool khác Ví dụ là:  Phần tích cách làm việc HP QuickTest Professional điểm lợi bất lợi với TestArchitect  So sánh giữ HP QuickTest Professional TestArchitect Qua trình thực đề tài với hướng dẫn tận tình thầy giáo Võ Đức Hồng, em tích luỹ thêm nhiều kiến thức kiểm thử phần mềm đặc biệt tìm hiểu sử dụng cơng cụ kiểm tra tự động mạnh TestArchitest Tuy vậy, dù có nhiều cố gắng trình làm bài, thời gian kinh nghiệm hạn chế nên làm khơng thể tránh thiếu sót, em mong nhận bảo thầy đóng góp ý kiến bạn để đồ án hoàn thiện Nguyễn Tùng 06T2 – Nguyễn Đăng Quyền 06T1 Trang 87 Tìm hiều kiểm thử phần mềm kiểm thử tự động Nguyễn Tùng 06T2 – Nguyễn Đăng Quyền 06T1 Trang 88