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
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
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ó.
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
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 đó.