Kỹ thuật kiểm thử phần mềm đặc điểm Kỹ thuật kiểm thử phần mềm đặc điểm Bởi: Khoa CNTT ĐHSP KT Hưng Yên Khái niệm Kiểm thử sản phẩm phần mềm xây dựng cách có chủ đích tập liệu dãy thao tác nhằm đánh giá số toàn tiêu chuẩn sản phẩm phần mềm Thử nghiệm có hai mục đích: hệ thống phù hợp với đặc tả phơi khuyết tật hệ thống Đặc điểm kiểm thử Các hạn chế kiểm thử ? Do kiểm thử chạy thử chương trình với tập liệu giả nên khẳng định tính chương trình chất quy nạp không hoàn toàn ? Trong nhiều trường hợp, việc kiểm thử thường thực từ giai đoạn đầu trình cài đặt sản phẩm ? Các chương trình nên kiểm chứng theo hai kỹ thuật: kiểm thử chứng minh Và nên khẳng định tính chương trình thông qua văn chương trình Như vây, chương trình tuyệt đối phải thực thông qua: tính đắn thuật toán tính tương đương chương trình với thuật toán (được thể chứng minh thông qua văn chương trình) Việc kiểm thử chương trình nhìn kiện đưa kết luận khẳng định chương trình tuyệt đối kiểm thử Tuy vậy, liệu kiểm thử phải phủ kín trường hợp cần đánh giá 1/5 Kỹ thuật kiểm thử phần mềm đặc điểm Thêm vào đó, trình kiểm thử, ta thưòng mắc phải đặc trưng nguyên lý chủ quan sau: ? Bộ liệu Test không thay đổi trình xây dựng phần mềm ? Chỉ Test trường hợp thống, hợp lệ, không quan tâm đến cận cố ? Cài đặt chức Test riêng chức đó, không Test tổng hợp chức vừa cài đặt với chức cài đặt trước ? Người Test đồng thời người xây dựng phần mềm tức vừa đá bóng, vừa thổi còi Các loại hình kiểm thử ? Kiểm thử lược đồ hệ thống: quan tâm đến chọn (menu) đánh giá tính hợp lý, khả chọn mục, khả di chuyển qua mục khác, tính đủ, tính khoa học chức ? Kiểm thử cận ? Kiểm thử cận trên: cho hệ thống thực đến mức tối hạn ? Kiểm thử qua cố: tạo cố để kiểm thử phần mềm Nguyên tắc kiểm thử ? Nguyên tắc khách quan: người kiểm thử tác giả phần mềm kiểm thử ? Nguyên tắc ngẫu nhiên: liệu chức chọn, có chủ đích xuất theo thứ tự định ? Nguyên tắc "người sử dụng kém": hệ thống người sử dụng có trình độ thấp (ở mức chấp nhận được) dùng thử (Người gây cố không lường trước hệ thống ) ? Nguyên tắc "kẻ phá hoại": hệ thống rơi vào tay có trình độ nghiệp vụ cao, chủ ý phá hoại "Trình độ" thuộc lĩnh vực công nghệ thông tin lĩnh vực phần mềm hướng tới Kỹ thuật kiểm thử ? Kỹ thuật đối xứng: dựa vào tính đối xứng thao tác tập liệu để xậy dựng liệu Test 2/5 Kỹ thuật kiểm thử phần mềm đặc điểm ? Kỹ thuật đám đông ? Kỹ thuật kiểm thử liệu thật: cho hệ thống vận hành với tập liệu thật thu từ trước để so sánh đánh giá kết ? Kỹ thuật kiểm thử thị trường thật: cho hệ thống vận hành thị trường thật (không thức) để so sánh với hệ thống dùng đánh giá kết ? Kỹ thuật đối sánh: cho thực với vài sản phẩm khác với chức giống tập liệu lập bảng so sánh chức Quá trình kiểm thử Trừ hệ thống nhỏ, nói chung không nên kiểm thử nguyên khối; trình kiểm thử chia giai đoạn: Thử đơn vị Thử module Thử hệ Thử hệ thống Thử nghiệm thu: gọi thử anpha Khi hệ thống đem bán phép thử beta: phân phối hệ thống cho số người dùng đồng ý dùng thử báo cáo lại vấn đề cho người phát triển hệ thống Kế hoạch thử nghiệm Thử hệ thống đắt đỏ, vài hệ thời gian thực có ràng buộc thời gian phức tạp việc thử ngốn hết khoảng nửa tổng chi phí phát triển.Vì mà phải lập kế hoạch thử khống chế chi phí thử Cần ý việc thử liên quan đến việc thiết lập mẫu cho trình thử nhiều mô tả phép thử Phân loại số công cụ kiểm thử tự động Vì kiểm thử phần mềm thường chiếm tới 40% tất nổ lực dành cho dự án xây dựng phần mềm, nên công cụ làm giảm thời gian kiểm thử (không làm giảm tính 3/5 Kỹ thuật kiểm thử phần mềm đặc điểm kỹ lưỡng) có giá trị Thừa nhận lợi ích tiềm này, nhà nghiên cứu người thực hành phát triểnmột số hệ công cụ kiểm thử tự động: ? Bộphântíchtĩnh Các hệ thống phân tích chương trình hỗ trợ cho "việc chứng minh" lý lẽ tĩnh - mệnh đề yếu cấu trúc định dạng chương trình ? Bộkiểmtoánmã Những lọc chuyên dụng dùng để kiểm tra chất lượng phần mềm để đảm bảo đáp ứng chuẩn mã hoá tối thiểu ? Bộ xửlýkhẳng định Những hệ thống tiền xử lý/hậu xử lý sử dụng biết liệu phát biểu người lập trình nêu, gọi khẳng định, hành vi chương trình có thực đáp ứng việc thực chương trình thực hay không ? Bộsinhtệpkiểmthử Những xử lý sinh ra, điền giá trị xác định, vào tệp đọc vào điển hình cho chương trình kiểm thử ? Bộsinhdữliệukiểmthử Những hệ thống phân tích tự động hỗ trợ cho người dùng việc chọn liệu kiểm thử làm cho chương trình hành xử theo cách đặc biệt ? Bộkiểmchứngkiểm thử Những công cụ đo mức bao quát kiểm thử bên trong, thường diễn tả dạng có liên quan tới cấu trúc điều khiển vật kiểm thử, báo cáo giá trị bao quát cho chuyên gia đảm bảo chất lượng ? Dụngcụ kiểmthử Lớp công cụ hỗ trợ cho việc xử lý phép kiểm thử cách làm gần không khó khăn để (1) thiết lập chương trình ứng cử viên môi trường kiểm thử, (2) nạp liệu vào, (3) mô cuống cho hành vi module phụ ? Bộsosánhcáira Công cụ làm cho người ta so sánh tập từ chương trình với tập khác (đã lưu giữ trước) để xác định khác biệt chúng ? Hệthốngthựchiệnkýhiệu Công cụ thực việc kiểm thử chương trình cách dùng vào đại số, thay giá trị liệu số Phần mềm kiểm thử xuất để kiểm thử lớp liệu, thay trường hợp kiểm thử đặc biệt Cái đại số so sánh với kết trông đợi xác định dạng đại số ? Bộmôphỏngmôitrường Công cụ hệ thống dựa máy tính giúp người kiểm thử mô hình hoá môi trường bên phần mềm thời gian thực mô điều kiện vận hành thực cách động 4/5 Kỹ thuật kiểm thử phần mềm đặc điểm ? Bộphântíchluồngdữliệu Công cụ theo dõi dấu vết luồng liệu qua hệ thống (tương tự nhiều khía cạnh với phân tích đường đi) cố gắng tìm tham khảo liệu không xác định, đặt số sai lỗi khác có liên quan tới liệu Hiện việc dùng công cụ tự động hoá cho kiểm thử phần mềm phát triển, ứng dụng phát triển nhanh thập kỷ tới Các công cụ kiểm thử gây thay đổi lớn cách kiểm thử phần mềm cải tiến độ tin cậy hệ thống dựa máy tính 5/5 ... Test 2/5 Kỹ thuật kiểm thử phần mềm đặc điểm ? Kỹ thuật đám đông ? Kỹ thuật kiểm thử liệu thật: cho hệ thống vận hành với tập liệu thật thu từ trước để so sánh đánh giá kết ? Kỹ thuật kiểm thử thị... ? Kiểm thử cận ? Kiểm thử cận trên: cho hệ thống thực đến mức tối hạn ? Kiểm thử qua cố: tạo cố để kiểm thử phần mềm Nguyên tắc kiểm thử ? Nguyên tắc khách quan: người kiểm thử tác giả phần mềm. . .Kỹ thuật kiểm thử phần mềm đặc điểm Thêm vào đó, trình kiểm thử, ta thưòng mắc phải đặc trưng nguyên lý chủ quan sau: ? Bộ liệu Test không thay đổi trình xây dựng phần mềm ? Chỉ Test