đồ án tốt nghiệp nghiên cứu công cụ kiểm thử phần mềm ibm rational funtional tester v7.0-ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm đại học duy tân

Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7.0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân MỤC LỤC MỤC LỤC 1 DANH MỤC CÁC HÌNH VẼ 3 DANH MỤC CÁC KÍ HIỆU VÀ TỪ VIẾT TẮT 4 MỞ ĐẦU 5 1. Lý do chọn đề tài 5 2. Mục tiêu 6 3. Phạm vi nghiên cứu 6 4. Bố cục của đề tài 6 CHƯƠNG I. CƠ SỞ LÝ THUYẾT 8 I. TỔNG QUAN VỀ QUÁ TRÌNH KIỂM THỬ 8 I.1 Một số định nghĩa về quá trình kiểm thử phần mềm 8 I.2 Những khái niệm liên quan đến kiểm thử 9 I.3 Mô hình khái niệm của quá trình kiểm thử 10 I.4 Mục tiêu của kiểm thử 10 I.5 Vai trò 10 II. NHỮNG VẤN ĐỀ LIÊN QUAN ĐẾN KIỂM THỬ 11 II.1 Vòng đời kiểm thử 11 II.2 Tiến trình kiểm thử 11 II.3 Những thành phần của một kế hoạch kiểm thử 12 II.4 Những điểm cần tập trung kiểm thử trước nhất nếu không có đủ thời gian 12 II.5 Các chỉ tiêu đánh giá kiểm thử 13 III. MỘT SỐ LOẠI KIỂM THỬ THÔNG DỤNG 13 1.Mô hình phát triển chữ V 13 2 Kiểm thử unit 14 2.1 Tiến trình kiểm thử Unit 15 2.2 Kế hoạch kiểm thử unit 16 2.3 Kiểm thử hộp đen 16 2.4 Kiểm thử hộp trắng 16 2.5 Các trường hợp kiểm thử và dữ liệu kiểm thử 19 3. Kiểm thử tích hợp 20 3.1 Tạo dữ liệu và file kiểm thử 20 3.2 Các chiến thuật và kĩ nghệ kiểm thử 20 4 Kiểm thử hệ thống 23 5 Kiểm thử xác nhận 24 6 Kiểm thử hồi quy 24 7 Lỗi dữ liệu 24 CHƯƠNG II. NGHIÊN CỨU PHẦN MỀM SEK CỦA IBM 32 SVTH: Đặng Thị Kiều Oanh- MSSV:0057 Trang 1 Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7.0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân CHƯƠNG III. NGHIÊN CỨU CÔNG CỤ KIỂM THỬ RATIONAL FUNTIONAL TESTER 34 III.1 GIỚI THIỆU VỀ CÔNG CỤ IBM RATIONAL FUNTIONAL TESTER V7.0 34 III.2 NHỮNG LỢI ÍCH KHI SỬ DỤNG CÔNG CỤ IBM RATIONAL FUNTIONAL TESTER 35 III.3 NHỮNG CHIẾN LƯỢC ĐỂ SỬ DỤNG LẠI STATEMENT 37 III.4 RATIONAL FUNTIONAL TESTER VỚI ĐỘI PHÁT TRIỂN 39 III.5 COMPLIANCE(quy trình nghiệp vụ) 40 III.6 ĐIỀU KIỆN ĐỂ SỬ DỤNG CÔNG CỤ 40 CHƯƠNG IV. THỰC HIỆN KIỂM THỬ 42 IV.1 TẠO USECASE KIỂM THỬ, ĐIỀU KIỆN ĐẦU VÀO VÀ KẾT QUẢ MONG ĐỢI 42 1.Chức năng Login 42 2. Chức năng tra cứu 43 Chức năng tra cứu mặt hàng giúp ta tìm được nhanh chóng những mặt hàng nào thuộc ở kho nào để tiện việc cung cấp cho khách hàng khi có yêu cầu 43 Chức năng tra cứu khách hàng giúp ta tìm được nhanh chóng được điạ chỉ, số điện thoại, số tài khoản của khách hàng và ta cũng kiểm tra được Khách hàng nào giao dịch với công ty nhiều nhất để có thể thưởng cho khách hàng 44 3. Chức năng cập nhật 46 4.Chức năng xuất hàng 47 IV.2 THỰC HIỆN KIỂM THỬ VỚI CÔNG CỤ IBM RFT 49 Chức năng Login 49 2. Chức năng tra cứu 50 3. Chức năng cập nhật 55 4.Chức năng xuất hàng 59 5. Viết báo cáo 62 KẾT LUẬN 63 NHỮNG VẤN ĐỀ ĐẠT ĐƯỢC 63 ƯU ĐIỂM VÀ NHƯỢC ĐIỂM CỦA CÔNG CỤ 63 HƯỚNG PHÁT TRIỂN 65 PHỤ LỤC A 66 HƯỚNG DẤN CÀI ĐẶT IBM RATIONAL FUTIONAL TESTER 66 PHỤ LỤC B 83 THỰC HIỆN QUÁ TRÌNH KIỂM THỬ VỚI RATIONAL FUNTIONAL TESTER 83 SVTH: Đặng Thị Kiều Oanh- MSSV:0057 Trang 2 Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7.0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân DANH MỤC CÁC HÌNH VẼ H I.1: Mô hình khái niệm của quá trình kiểm thử 15 H II.1 The Software Development 14 H II.2 Quá trình bắt lỗi 26 SVTH: Đặng Thị Kiều Oanh- MSSV:0057 Trang 3 Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7.0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân DANH MỤC CÁC KÍ HIỆU VÀ TỪ VIẾT TẮT Bắt buột B CSDL Cơ sỡ dữ liệu GUI Graphical User Interface HTML Hyper Test Markup Language ITLM Information Technology Lifecycle Management RFT Rational Funtional Tester RPA Rational Process Advisor RUP Rational Unified Process UML Unified Modeling Language URL Uniform Resource Locator SAP Service Advertising Protocal SEK The 2007 developerWorks® Software Evaluation Kit Tuỳ chọn T SVTH: Đặng Thị Kiều Oanh- MSSV:0057 Trang 4 Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7.0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân MỞ ĐẦU 1. Lý do chọn đề tài Kiểm thử phần mềm là một thành phần quan trọng trong qui trình phát triển phần mềm. Nó đóng một vai trò quan trọng trong việc kiểm định chất lượng của phần mềm, đảm bảo rằng phần mềm tạo ra có chạy đúng với yêu cầu của khách hàng hay không, có xảy ra những sai sót mà nó khác với bảng phân tích thiết kế ban đầu không. Vì vây, năm 2006 IBM cho ra đời sản phẩm The 2007 developerWorks Software Evaluation Kit (SEK) for Windows, đây là một trong số nhiều phần mềm dùng cho việc kiểm thử. SEK bao gồm 6 Tool và em lựa chọn công cụ Rational Funtional Tester V7.0 để nghiên cứu cho đồ án tốt nghiệp. Đây là công cụ kiểm thử chức năng của phần mềm, một dụng cụ kiểm thử hồi quy tiên tiến, được tự động hóa cho Tester và người phát triển GUI. Bất kỳ một tổ chức nào cũng có một sự tin cậy của riêng mình vào việc phát triển của những trình ứng dụng để phục vụ cho những việc cần thiết như đáp ứng được những chức năng của khách hàng đưa ra, để cho khách hàng tỏ ra hài lòng về chất lượng của những trình ứng dụng và những đòi hỏi về những chức năng, điều kiện được đáp ứng đầy đủ, và không xảy ra sự tuỳ tiện trong sản phẩm. Một thành phần chủ yếu cho sự thành công này là tính hiệu quả, quy trình kiểm tra phải có tính kỷ luật tiến tới sự xác minh của những trình ứng dụng đã hoàn thành, quá trình kiểm tra phải có tính kỷ kuật để xem xét những trình ứng dụng đã hoàn thành đến mức độ nào, đó là sự phù hợp thích đáng hay là vượt ra khỏi những mong đợi trong đề án. Lịch trình làm việc không đúng, thường xuyên thay đổi những vấn đề chung của trình ứng dụng. IBM Rational Funtional Tester được xây dựng dựa trên những vấn đề này. Sau khi nghiên cứu một số tài liệu liên quan, được sự đồng ý của Khoa Công Nghệ Thông Tin – Đại Học Duy Tân Đà Nẵng, em đã thực hiện đề tài khóa luận tốt nghiệp mang tên: “Nghiên cứu công cụ kiểm thử IBM Rational SVTH: Đặng Thị Kiều Oanh- MSSV:0057 Trang 5 Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7.0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân Funtional Tester V7.0- Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân.” 2. Mục tiêu Đề tài giới thiệu các vấn đề trong kiểm thử và đi sâu nghiên cứu các tính năng cơ bản của công cụ IBM Rational Funtional Tester V7.0, đưa ra tài liệu hướng dẫn cài đặt, sử dụng công cụ một cách đơn giản và hiệu quả. Đề tài áp dụng được trong thực tế để kiểm thử phần mềm tại các công ty phần mềm, đặc biệt là CSE. 3. Phạm vi nghiên cứu Trong đề tài này em sẽ nghiên cứu về: -Lý thuyết kiểm thử. -Nghiên cứu các tính năng cơ bản của Tool Rational Funtional Tester V7.0. -Thực hiện kiểm thử trên bảng Demo. 4. Bố cục của đề tài Nội dung của luận văn được trình bày trong 3 chương Chương I: Cơ Sở Lý Thuyết Chương này giới thiệu tổng quan về quá trình kiểm thử, những khái niêm, những thuật ngữ, vấn đề liên quan đến kiểm thử, những mô hình kiểm thử và các loại kiểm thử thông dụng hiện nay. Chương II:Nghiên cứu về phần mềm SEK của IBM Trong chương này em tìm hiểu những công cụ có trong bộ The 2007 developerWorks® Software Evaluation Kit (SEK) for Windows® của IBM và ứng dụng của nó. SVTH: Đặng Thị Kiều Oanh- MSSV:0057 Trang 6 Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7.0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân Chương III. Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7.0. Trong chương này em giới thiệu chi tiết về công cụ, IBM RFT làm việc như thế nào, những tính năng và lợi ích mà nó mang lại, Thực hiện kiểm thử để chỉ ra những lợi ích mà nó mang lại đồng thời hướng dẫn cách thức kiểm thử để người dùng có thể thực hiện một cách đơn giản. Chương IV. Thực hiện kiểm thử trên một phần mềm có sẳn. Trong chương này em tiến hành kiểm thử trên một phần mềm có sẳn để khẳng định và chỉ ra những vấn đề mà em đã nêu ở chương III. Kết thúc luận văn là phần kết luận về những vấn đề đạt được và hướng phát triển của khóa luận và danh mục các tài liệu tham khảo SVTH: Đặng Thị Kiều Oanh- MSSV:0057 Trang 7 Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7.0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân CHƯƠNG I. CƠ SỞ LÝ THUYẾT I. TỔNG QUAN VỀ QUÁ TRÌNH KIỂM THỬ I.1 Một số định nghĩa về quá trình kiểm thử phần mềm Kiểm thử là việc kiểm tra kết quả thực hiện của chương trình máy tính xem có đúng với các mục tiêu đã đặt ra với nó không thông qua việc thực hiện ở một số mẫu thử. Kiểm thử là việc tìm ra những lỗi trong bản thân phần mềm, việc kiểm thử này trong phần mềm sẽ biểu thị ra những thiếu sót mà ta có thể nhận thấy trong hành vi của phần mềm, và tìm ra những phần không tuân theo quy định và đi lệch ra khỏi những yêu cầu của phần mềm. Theo một số nhà nghiên cứu thì kiểm thử phần mềm được định nghĩa như sau: • Dijkstra: Kiểm thử sẽ hiện thị những lỗi hiện có, nhưng không hiển thị lỗi chưa thấy. • Beizer: Định luật 1: Mọi phương pháp bạn sử dụng để ngăn ngừa hoặc tìm thấy lỗi bỏ đi một phần lỗi rắc rối, cái mà những phương thức cần. Định luật 2: Phần mềm phức tạp lớn hơn những giới hạn khả năng quản lý. Những người kiểm thử không tốt hơn trong thiết kế lỗi so với những lập trình viên kiểm thử trong thiết kế mã. • IEEE: Kiểm thử là tiến trình vận hành hệ thống hoặc thành phần dưới những điều kiện xác định, quan sát hoặc ghi nhận kết quả và đưa ra đánh giá về hệ thống hoặc thành phần đó. SVTH: Đặng Thị Kiều Oanh- MSSV:0057 Trang 8 Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7.0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân • Myers: Kiểm thử là tiến trình thực thi chương trình với mục đích tìm thấy lỗi.(The art of software testing) Giữa kiểm thử và gỡ rối có sự khác biệt: Kiểm thử nhằm phát hiện ra lỗi trong khi đó gỡ rối là việc xác định bản chất lỗi và định lỗi trong chương trình, sau đó tiến hành sữa lỗi. I.2 Những khái niệm liên quan đến kiểm thử  Một sai sót(Error): Là một sự nhầm lẫn hay một sự hiểu sai trong quá trình phát triển phần mềm của người phát triển.  Một lỗi(fault, defect): Xuất hiện trong phần mềm như là kết qủa của một sai sót.  Một hỏng hóc(failure):là kết quả của một lỗi xuất hiện làm cho chương trình không hoạt động được hoặc hoạt động được nhưng không cho kết quả như mong muốn.  Dữ liệu thử(test data): Dữ liệu vào cần cung cấp cho phần mềm khi thực thi.  Kịch bản kiểm thử(test scenario): Các bước thực hiện khi kiểm thử.  Phán xét kiểm thử(test oracle): Là việc đánh giá của kiểm thử, có hai cách đánh giá đó là bằng chương trình(tự động), bằng con người(thủ công).  Kiểm thử viên(tester): Người thực hiện kiểm thử.  Ca kiểm thử(test case):Tập dữ liệu kiểm thử, điều kiện kiểm thử, để đưa ra kết quả mong đợi. SVTH: Đặng Thị Kiều Oanh- MSSV:0057 Trang 9 Sai sót Lỗi Hỏng hóc Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7.0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân I.3 Mô hình khái niệm của quá trình kiểm thử H I. 1: Mô hình khái niệm của quá trình kiểm thử I.4 Mục tiêu của kiểm thử Việc kiểm thử nhằm thực hiện hai mục tiêu: • Bằng việc kiểm thử sẽ tìm ra được những lỗi trong phần mềm (Myers,1979)và thiết lập chất lượng của phần mềm(Hetzel,1988) • Việc kiểm thử thành công khi bạn tìm được ít nhất một lỗi, và đưa ra sự đánh giá với độ tin cậy lớn. I.5 Vai trò • Testing để tìm ra lỗi, ghi nhận các thông tin về lỗi, nhưng không sữa lỗi. • Testing giúp kiểm định phần mềm, đảm bảo rằng phần mềm “đủ tốt” với độ rủi ro “thấp nhất” có thể. SVTH: Đặng Thị Kiều Oanh- MSSV:0057 Trang 10 [...]... ứng dụng CORBA-based cái mà bị ảnh hưởng bởi Unified Modeling Language (UML 2) SVTH: Đặng Thị Kiều Oanh- MSSV:0057 Trang 33 Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7.0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân CHƯƠNG III NGHIÊN CỨU CÔNG CỤ KIỂM THỬ RATIONAL FUNTIONAL TESTER III.1 GIỚI THIỆU VỀ CÔNG CỤ IBM RATIONAL FUNTIONAL TESTER V7.0 IBM Rational. .. lí Giao diện dễ kiểm thử hơn và có thể áp dụng kiểm thử hệ thống SVTH: Đặng Thị Kiều Oanh- MSSV:0057 Trang 20 Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7.0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân Kiểm thử hệ thống bao gồm các phương pháp luận sau: 1 Kiểm thử tích hợp Top-Down 2 Kiểm thử tích hợp Bottom-up 3 Kiểm thử Sandwich 1 Kiểm thử tích hợp Top-Down.. .Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7.0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân II NHỮNG VẤN ĐỀ LIÊN QUAN ĐẾN KIỂM THỬ II.1 Vòng đời kiểm thử Vòng đời của kiểm thử bắt đầu từ việc lập kế hoạch kiểm thử Sau đó là ghi ra các ý tưởng các trường hợp kiểm thử Từ các trường hợp kiểm thử này đưa ra tất cả các trường hợp kiểm thử và các kịch bản kiểm. .. Trang 14 Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7.0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân Kiểm thử unit là mức thấp nhất trong tiến trình kiểm thử, thường là áp dụng phương pháp kiểm thử hộp trắng Kết quả của kiểm thử Unit thường tìm ra khoảng 20% lỗi trong tất cả cá lỗi của dự án 2.1 Tiến trình kiểm thử Unit 2.1.1 Kế hoạch kiểm thử Unit Lập... lỗi kiểm thử, lỗi thiết lập môi trường, lỗi thủ tục kiểm thử, hay lỗi kiểm thử kịch bản Nếu báo cáo lỗi bởi vì những lỗi được xác định trong SVTH: Đặng Thị Kiều Oanh- MSSV:0057 Trang 23 Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7.0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân lỗi kiểm thử, lỗi thiết lập môi trường, lỗi kiểm thử thủ tục, hay lỗi kiểm thử. .. kết quả kiểm thử: Bước này ta thực hiện trong hoặc sau khi kiểm thử và sau đó ta so sánh kết quả kiểm thử với kết quả mong đợi SVTH: Đặng Thị Kiều Oanh- MSSV:0057 Trang 11 Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7.0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân II.3 Những thành phần của một kế hoạch kiểm thử  Đầu vào để lập lên kế hoạch kiểm thử: Kế... MSSV:0057 Trang 19 Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7.0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân  Đảm bảo rằng mọi câu lệnh điều kiện đều thực hiện ở tất cả các nhánh  3 Kiểm thử tích hợp 3.1 Tạo dữ liệu và file kiểm thử Các hoạt động chính: • Xác định nội dung của kiểm thử dữ liệu và file • Tạo dữ liệu kiểm thử, dữ liệu kiểm thử có thể tạo... hiện đó đẩy mạnh sử dụng lại những bước kiểm thử để giảm bớt tác động (của) phần mềm SVTH: Đặng Thị Kiều Oanh- MSSV:0057 Trang 32 Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7.0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân thay đổi trên những tester và những người phân tích doanh nghiệp( business analysts) IBM Rational Method Composer V7.1 Rational Method Composer... MSSV:0057 Trang 34 Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7.0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân IBM Rational Funtional Tester làm việc như thế nào? Rational Funtional Tester ghi lại sự tương tác trong lịch trình của những người làm việc với Java, Web, Visual Studio.Net, trên trình ứng dụng Win Form, và Web- Form tạo ra cho việc kiểm thử một kịch... công cụ kiểm thử IBM Rational Funtional Tester V7.0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân • Thực hiện kiểm thử unit • Phát hiện ra lỗi trong kiểm thử unit • Làm báo cáo ghi lại toàn bộ sự thành công hay thất bại trong từng unit một dựa theo các kết quả yêu cầu 2.2 Kế hoạch kiểm thử unit Để thực hiện một kiểm thử có hiệu quả, thì cần thiết phải có một kế hoạch kiểm . Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7. 0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân Funtional Tester V7. 0- Ứng dụng kiểm thử phần mềm tại. Trang 4 Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7. 0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân MỞ ĐẦU 1. Lý do chọn đề tài Kiểm thử phần mềm là. thử IBM Rational Funtional Tester V7. 0 Ứng dụng kiểm thử phần mềm tại trung tâm phát triển phần mềm Đại Học Duy Tân Chương III. Nghiên cứu công cụ kiểm thử IBM Rational Funtional Tester V7. 0. Trong