phần mềm IBM Rational Funtional Tester V7.0 Ứng dụng 2 ppsx

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 trung tâm phát triển phần mềm Đại Học Duy Tân Kiểm thử unit mức thấp tiến trình kiểm thử, thường áp dụng phương pháp kiểm thử hộp trắng Kết kiểm thử Unit thường tìm khoảng 20% lỗi tất cá lỗi dự án 2.1 Tiến trình kiểm thử Unit 2.1.1 Kế hoạch kiểm thử Unit Lập kế hoạch cho kiểm thử khác (như kiểm thử hệ thống, kiểm thử tích hợp) Quyết định xem đặc điểm cần phải kiểm thử Các hướng tiếp cận để kiểm thử unit  Phương thức phân tích kiểm thử  Kĩ thuật kiểm thử (hộp đen hay hộp trắng)  Các công cụ dùng kiểm thử 2.1.2 Thiết kế kiểm thử  Tạo trường hợp kiểm thử  Thiết kế thủ tục kiểm thử:  Thủ tục làm để thực thi trường hợp kiểm thử  Một thủ tục áp dụng cho vài trường hợp kiểm thử khác  Triển khai chương trình kiểm thử:  Kiểm thử gốc(stub): Kiểm thử từ gốc chương trình, sau xong tiếp tục kiểm thử Stub bên  Kiểm thử driver : Driver trình điều khiển kiểm thử unit 2.1.3 Thực đánh giá kiểm thử unit  Chuẩn bị kiểm thử môi trường  Thực kiểm thử unit 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 trung tâm phát triển phần mềm Đại Học Duy Tân  Phát lỗi kiểm thử unit  Làm báo cáo ghi lại toàn thành công hay thất bại unit dựa theo kết yêu cầu 2.2 Kế hoạch kiểm thử unit Để thực kiểm thử có hiệu quả, cần thiết phải có kế hoạch kiểm thử có hiệu Cần phải lập kế hoạch thật chi tiết, chi tiết tốt Kế hoạch kiểm thử unit cần phải đưa tài liệu dẫn việc thực kiểm thử môđun Mục tiêu môđun sau kiểm thử phải thoả mãn tất yêu cầu đặt chức Kế hoạch kiểm thử cần phải đưa danh sách đầu vào cho môđun danh sách đầu phù hợp với mơ đun Một mơđun gọi đạt tất đầu vào có đầu tương ứng Mỗi sai trệch đầu phải cần xem xét cụ thể Danh sách đầu vào phải thoả mãn yêu cầu phần mềm, tối thiểu lần Kế hoạch kiểm thử giúp cho nhà phát triển đảm bảo chắn dòng mà, câu lệnh điều kiện phải thực tối thiểu lần 2.3 Kiểm thử hộp đen  Hướng vào đặc tả bên  Chủ yếu kiểm tra giao diện hàm vào  Các kĩ thuật thường dùng:  Lược đồ nguyên nhân kết  Phân đoạn tương đương  Phân tích giá trị biên 2.4 Kiểm thử hộp trắng  Thực bên chương trình  Sử dụng đặc tả chi tiế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 trung tâm phát triển phần mềm Đại Học Duy Tân  Bao gồm thứ sau: Các dẫn bao quát Bao quát toàn câu lệnh điều kiện đơn Các điều kiện, đa điều kiện Kiểm thử hộp trắng thiết kế kiểm thử sử dụng cấu trúc thiết kế chi tiêt Sử dụng thiết kế chi tiết người sử dụng đảm bảo rằng:  Bảo đảm tất đường dẫn độc lập bên môđun thử tối thiểu lần  Thử nghiệm tất các trường hợp lôgic câu lệnh điều kiện  Thực tất cá vòng lặp tới giá trị biên chúng  Thử nghiệm tất giá trị biên bên đảm bảo chúng hợp lệ 2.4.1 KIểm thử nhánh (Basis Path Testing) Là cách kiểm thử hộp trắng Trường hợp kiểm thử bắt nguồn từ đặc tả yêu cầu độc lập Một tập trường hợp kiểm thử phát sinh tập kiểm thử Đây tên đến từ thực tế kiểm thử nầy kiểm thử từ tất hướng thơng qua chương trình Tóm tắt Basis Path Testing Bước Vẽ biểu đồ luồng chương tình cho đoạn mã lựa chọ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 trung tâm phát triển phần mềm Đại Học Duy Tân If -then - else loop - while case - of  Thực câu lệnh  Bỏ qua dòng lệnh liên tục  Thêm nút cho nhánh hay câu lệnh định  Triển khai nút phù hợp với thể Bước Độ phức tạp tính tốn từ lưu đồ luồng tính sau C = # Edges - # Nodes + Bước Tìm C cho trường hợp kiểm thử  -Chọn trường hợp kiểm thử để bắt đầu  -Trường hợp sau giống đầu thay đổi số thông số cho phù hợp  -Tiếp tục cho đên 'C' xuất phát Bước Thu kết dự đoán cho trường hợp kiểm thử  Sử dụng đặc tả chương trình dể định xem loại liệu nên làm(tốt việc nên làm nhà phân tích) Bước Confirm that actual results match expected results 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 trung tâm phát triển phần mềm Đại Học Duy Tân So sánh kết thực tế lí thuyết  Thực qua chương trình Hiệu kiểm thử nhánh ( Basis Path Testing ) Hiệu  Bao phủ hầu hết toàn vấn đề  Sẽ phát hầu hết lỗi  Hầu hết loại lỗi  Là phương tiện hay để xem lại toàn mã nguồn qua giải thuật  Có thể ứng dụng cho mức lôgic cao hay đoạn mã giả Hiệu lực  Là qui trình xác định tốt  Hiệu việc sử dụng tài nguyên máy thời gian thiết kế  Phát sinh đơn giản dễ thực thi trường hợp kiểm thử  Giá chấp nhận thương mại  2.5 Các trường hợp kiểm thử liệu kiểm thử  Kiểm tra toán tử mức giá trị thông thường  Kiểm tra với giá trị giới hạn  Kiểm tra vùng giá trị  Kiểm tra lỗi vòng lặp  Kiểm tra kết thúc khơng bình thường vịng lặp  Kiểm tra kết thúc khơng bình thường đệ quy  Kiểm tra tất các cấu trúc liệu truy nhập hàm  Kiểm tra tất loại file truy nhập hàm thành viên  Kiểm tra tất lỗi điều kiện  Kiểm tra tính hiệu kiểm thử thấy cần thiết  Đảm bảo câu lệnh thự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 trung tâm phát triển phần mềm Đại Học Duy Tân  Đảm bảo câu lệnh điều kiện thực tất nhánh  Kiểm thử tích hợp 3.1 Tạo liệu file kiểm thử Các hoạt động chính:  Xác định nội dung kiểm thử liệu file  Tạo liệu kiểm thử, liệu kiểm thử tạo phương pháp luận sau  Vào thủ công  Phần mềm sinh liệu kiểm thử  Giúp từ sở liệu sống  Điền đầy liệu kiểm thử với giúp đỡ chương trình quản lí sở liệu  Kiểm tra xem có khớp với yêu cầu đặt không 3.2 Các chiến thuật kĩ nghệ kiểm thử 3.2.1 Kiểm thử tích hợp không tăng tiến Big Bang kiểm thử tích hợp khơng tăng tiến.Tất mơ đun phối hợp từ đầu Phần mềm kiểm thử toàn - kết ban đầu thường lộn xộn Để khó dãy lỗi gặp phải Khi lỗi sữa lại bắt gặp lỗi khác vịng lặp dừng thơi.Cho nên phương pháp khơng đề nghị 3.2.2 Kiểm thử tích hợp tăng tiến Là kiểm thử trái ngược lại với kiểm thử Big Bang Phần mềm xây dựng kiểm thử đoạn Lỗi dễ bị cô lập xử lí Giao diện dễ kiểm thử áp dụng kiểm thử hệ thống 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 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 phương pháp luận sau: Kiểm thử tích hợp Top-Down Kiểm thử tích hợp Bottom-up Kiểm thử Sandwich Kiểm thử tích hợp Top-Down  Hàm Main nút gốc cịn tất cá mơđun bên gốc con(bới sau kiểm thử xong nút gốc tất cá nút gốc kiểm thử) Nút gốc thay môđun cụ thể, phụ thuộc vào hướng kiểm thử tích hợp lựa chọn Cứ tiếp tục trình kết thúc chương trình thơi  Thuận tiện  Khơng cần có driver kiểm thử  Lỗi giao diện phát sớm Bất tiện  Cần gốc (stubs)  Làm chậm tiến trình kiểm thử  Lỗi mơđun mức thấp khó tìm Chú thích  Chương trình làm việc nâng lên tinh thần  Rất khó để trì top-down thực tế Tích hợp Bottom-Up  Mơ đun mức thấp kiểm thử  Mỗi driver viết để theo dõi đầu vào đầu  Kiểm thử khối 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 trung tâm phát triển phần mềm Đại Học Duy Tân  Driver bị xoá cụm kết hợp lại, sau di chuyển nên cấu trúc chương trình Thuận tiện  Khơng cần đến gốc  Rất dễ điều chỉnh số lượng người cần thiết  Lỗi định sớm tìm thấy Sự bất tiện  Các driver kiểm thử cần thiết  Rất nhiều mơđun phải tích hợp trước làm việc  Lỗi giao diện khám phá muộn Chú thích  Phải kiểm tra nhiều đoạn mã so với Top-Down  Bottom-up cách mang tính trực giác nhiều  2.Kiểm thử Sandwich  Là phương pháp kiểm thử kết hợp top-down bottom-up  Tất môđun giao diện phải kiểm thử phương pháp Top-Down  Cả driver stub sử dụng cần thiết  Tất môđun xây dựng kiểm thử unit mức thấp nhất, sử dụng chiến thuật Bottom-Up 3.2.3 Tiêu chí để hồn thành Một tester phải biết kiểm thử đủ Kiểm thử dừng khi:  Nó khơng phát sinh lỗi  Nó bao phủ gần hồn tồn  Nó phát số lượng lỗi  Kế hoạch kiểm thử kết thúc 3.2.4 Các lời bình kiểm thử mơđun 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 trung tâm phát triển phần mềm Đại Học Duy Tân  Đúng với yêu cầu phần mềm  Có mức điều khiển cao  Có phức tạp hay ẩn chứa lỗi hay khơng  Có u cầu hiệu xác định hay khơng Các bình luận nên sớm tốt 3.2.5 Đề nghị phương pháp luận kiểm thử tích hợp  Lựa chọn nhóm mơđun khơng q phức tạp để kiểm thử  Kết nối nhóm mơđun vào chương trình  Kiểm thử tích hợp khung hệ thống  Thử nghiệm tất môđun  Thử nghiệm tất lựa chọn chương trình với tiện ích  Thực thi kiểm thử khung chương trình  Nạp kiểm thử  Kiểm thử hiệu chương trình  Cố gắng phá vỡ khung  Lặp lại bốn bước nhiều lầm thấy cần thiết để xây dựng mức hoàn chỉnh Kiểm thử hệ thống Mỗi lần kiểm thử thủ tục hỗ trợ kiểm thử hệ thống thực hiện, đội kiểm thử so sánh kết mong đợi kiểm thử thủ tục với kết thực tế Nếu kết thực tế khác so với kết mong đợi, khác phải xem xét lại kỹ Kiểm thử hệ thống thường thực sau tất môđun, kiểm thử tích hợp kiểm thử unit chấp nhận cách thành cơng Đội kiểm thử cần tái tạo lại vấn đề phải chắn vấn đề gây 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 Nếu báo cáo lỗi lỗi xác định 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 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ịch bản, hành động thích hợp để hiệu chỉnh nên thực thực lại kiểm thử Nhược điểm sản phẩm nên ghi lại DMS Kiểm thử xác nhận Kiểm thử kiểm nhận chứng minh cho khách hàng tiêu chuẩn kiểm nhận xác định trước xác định hệ thống Điển hình sử dụng kỹ thuật để bàn giao hệ thống Kiểm thử hồi quy Thực kiểm thử hồi quy thông thường nhiều nỗ lực cố gắng Vì thế, kiểm thử hồi quy thực sau giai đoạn Tuy nhiên, kiểm thử hồi quy phải thực khi:  Tổng số yêu cầu thay đổi xảy từ sở cuối với kiểm thử hồi quy lớn 10% tổng số yêu cầu sở  Tỉ lệ tổng số lỗi phát sau kiểm thử kiểm nhận hay trong thao tác chia tổng số man-months dự án lớn Với dự án bảo trì, khởi động cho kiểm thử hồi quy phải xác định kế hoạch kiểm thử Leader kiểm thử phải xác định đội dự án kiểm soát kiểm thử hồi quy phạm vi kiểm thử hồi quy Lập biểu kiểm thử hồi quy phải xác định lập biểu dự án Lỗi liệu 7.1 Vòng đời lỗi Một lỗi phần mềm mà gây cho phần mềm chạy theo cách mà khơng quán với yêu cầu hay cần thiết khách hàng hay chuẩn liên quan Để có phần mềm chất lượng cao, sản phẩm cuối nên có vài lỗi 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 trung tâm phát triển phần mềm Đại Học Duy Tân  Một lỗi tìm thấy phải ghi lại DMS nhân viên Lỗi vào DMS với trạng thái “Error” thông tin khác  Lãnh đạo dự án phải xem lại liệu lỗi (như dạng lỗi, nguồn gốc,tính nguy hại, ), sửa giao cho người sửa lỗi Thông thường thành viên giao tác giả văn hay đoạn mã nguồn mà lỗi tìm thấy Trạng thái lỗi thay đổi thành “Assigned”  Sau sửa lỗi, tác giả đổi trạng thái lỗi thành “Pending”  Người kiểm thử kiểm thử lại lỗi chưa giải cập nhật trạng thái thành “Tested” lỗi sửa cách hài lòng, hay thành “Error”  Nếu lỗi với trạng thái “Error” chấp nhận mà khơng có hành động hiệu chỉnh nào, lãnh đạo dự án cần đổi trạng thái thành “Accepted” Vòng đời lỗi mơ hình hố flowchart sau đây: ... 3 .2. 4 Các lời bình kiểm thử môđun 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 trung tâm phát triển phần mềm Đại Học Duy Tân  Đúng với yêu cầu phần. .. Thực bên chương trình  Sử dụng đặc tả chi tiế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 trung tâm phát triển phần mềm Đại Học Duy Tân  Bao gồm... tình cho đoạn mã lựa chọ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 trung tâm phát triển phần mềm Đại Học Duy Tân If -then - else loop - while case