Kiểm thử phần mềm là một quá trình liên tục, xuyên suốt mọi giai đoạn phát triển phần mềm để đảm bảo rằng phần mềm thoả mãn các yêu cầu thiết kế và các yêu cầu đó đáp ứng các nhu cầu của người dùng. Các kỹ thuật kiểm thử phần mềm đã, đang được nghiên cứu, và việc kiểm thử phần mềm đã trở thành qui trình bắt buộc trong các dự án phát triển phần mềm trên thế giới. Kiểm thử phần mềm là khâu mấu chốt để đảm bảo chất lượng phần mềm, là đánh giá cuối cùng về đặc tả thiết kế và mã hóa. Kiểm thử phần mềm là quá trình chạy thử một ứng dụng để phát hiện lỗi và xem nó có thỏa mãn các yêu cầu đã đặt ra trong quá trình phát triển phần mềm, những người phát triển phần mềm và các kỹ sư kiểm thử cùng làm việc để phát hiện lỗi và đảm bảo chất lượng sản phẩm. Một sản phẩm phần mềm được phân phối phải có đầy đủ các chức năng yêu cầu và tương thích với phần cứng của khách hàng.
-1- Phần I: Giới Thiệu Về Kiểm Thử Phần Mềm 1.1Khái niệm kiểm thử phần mềm Kiểm thử phần mềm trình liên tục, xuyên suốt giai đoạn phát triển phần mềm để đảm bảo phần mềm thoả mãn yêu cầu thiết kế yêu cầu đáp ứng nhu cầu người dùng Các kỹ thuật kiểm thử phần mềm đã, nghiên cứu, việc kiểm thử phần mềm trở thành qui trình bắt buộc dự án phát triển phần mềm giới Kiểm thử phần mềm khâu mấu chốt để đảm bảo chất lượng phần mềm, đánh giá cuối đặc tả thiết kế mã hóa Kiểm thử phần mềm trình chạy thử ứng dụng để phát lỗi xem có thỏa mãn yêu cầu đặt trình phát triển phần mềm, người phát triển phần mềm kỹ sư kiểm thử làm việc để phát lỗi đảm bảo chất lượng sản phẩm Một sản phẩm phần mềm phân phối phải có đầy đủ chức yêu cầu tương thích với phần cứng khách hàng • Chi phí kiểm thử chiếm • 40% tổng công sức phát triển • >=30% tổng thời gian phát triển • Kiểm thử tốt sẽ: • Giảm chi phí phát triển • Tăng độ tin cậy sản phẩm phần mềm Trường hợp kiểm thử liệu kiểm thử Kết kiểm thử Thiết kế trường Chuẩn bị Chạy trương hợp liệu kiểm thử trình với kiệu kiểm thử kiểm thử Sơ đồ kiểm thử Báo cáo kiểm thử So sánh kết với trường hợp kiểm thử -2- 1.2 Mục tiêu kiểm thử Các nguyên tắc xem mục tiêu kiểm thử là: • Kiểm thử trình thực thi chương trình với mục đích tìm lỗi • Một trường hợp kiểm thử tốt trường hợp kiểm thử mà có khả cao việc tìm thấy lỗi chưa phát • Một kiểm thử thành công kiểm thử mà phát lỗi chưa phát 1.3 Những khó khăn kiểm thử •Nâng cao chất lượng phần mềm không vượt chất lượng thiết kế phát lỗi tiềm tàng sửa chúng •Phát lỗi bị hạn chế thủ công •Dễ bị ảnh hưởng tâm lý kiểm thủ •Khó đảm bảo tính đầy đủ kiểm thử 1.4 Các phương pháp kiểm thử Người ta phân biệt phương pháp kiểm thử: Kiểm thử bàn hay kiểm thử tĩnh Kiểm thử máy hay kiểm thử động Kiểm thử tĩnh thường tiến hành trước nhằm tạo kịch cho kiểm thử động 1.5 Các kỹ thuật thiết kế trường hợp kiểm thử Kiểm thử hộp đen – Black box testing Kiểm thử hộp trắng – White box testing Kiểm thử hộp xám – Gray box testing 1.6 Phương pháp thử mô đun Để kiểm thử phần mềm, người ta tiến hành kiểm thử theo trình tự sau: • Kiểm thử môđun • Kiểm thử tích hợp • Kiểm thử hệ thống • Kiểm thử chấp nhận (β Testing) -3- PHẦN II GIỚI THIỆU CHI TIẾT VỀ KIỂM THỬ Có thể sử dụng số kỹ thuật trình kiểm thử nhằm tăng hiệu họat động Mc Gregor mô tả kỹ thuật kiểm thử công cụ thiết kế để đảm bảo tất khía cạnh sản phẩm khảo sát Mặt khác, kỹ thuật kiểm thử công cụ để dễ dàng đạt hiệu kiểm thử 2.1 Nguyên tắc kiểm thử phần mềm Trong lúc kiểm thử, công nghệ phần mềm phát sinh chuỗi trường hợp kiểm thử sử dụng để “tách phần” phần mềm Kiểm thử bước qui trình phần mềm mà xem xét đội ngũ phát triển cách phá vỡ thay xây dựng Các kỹ sư phần mềm người xây dựng việc kiểm thử yêu cầu họ vượt qua khái niệm cho trước độ xác giải mâu thuẫn lỗi xác định 2.2 Các phương pháp kiểm thử Có phương pháp kiểm thử là: Kiểm thử tĩnh Kiểm thử động 2.2.1 Thử tĩnh Khái niệm Phương pháp thử phần mềm thông qua việc sử dụng giấy, bút bàn để kiểm tra logic, lần chi tiết sau lập trình xong Chủ yếu kiểm tra mã, tài liệu đặc tả Các phương pháp thử tĩnh Thanh tra Duyệt * Thanh tra Khái niệm Phương pháp kiểm tra ngang hàng sản phẩm phần mềm thực người nghiên cứu riêng lẻ để tìm lỗi tiến trình chuẩn cho trước Một tra bao gồm: Đặc tả phần mềm Kế hoạch tra Sản phẩm phần mềm Điều phối viên Thanh tra viên -4- Tác giả phần mềm Tiến trình tra: Lên kế hoạch Gặp gỡ trước Chuẩn bị Gặp gỡ tra Gia công lại Bám sát Chú ý: khâu 3,4,5 thực lặp lại * Duyệt Khái niệm: Là phương pháp kiểm tra ngang hàng với người thiết kế hướng nhóm phát triển đến hoạt động ý trình sản xuất phần mềm, tham gia đặt câu hỏi thích cho lỗi có Khác biệt với tra: Cấu trúc mở Khả gợi ý định hướng thay đổi phần mềm Tiến trình duyệt: Đánh giá đầu vào Chuẩn bị quản lí Lập kế hoạch Gặp gỡ trước Chuẩn bị riêng Duyệt Gia công/ bám sát Kết thúc, đánh giá 2.2.2 Kiểm thử động – Dynamic testing Dùng máy chạy chương trình để điều tra trạng thái động tác chương trình bước trình tự kiểm thử máy: (1) Thiết kế trường hợp thử theo thử bàn (2) Trường hợp thử phải có kết kỳ vọng thu (3) Dịch chương trình nguồn tạo môđun tải để thực (4) Khi trường hợp thử có xử lý tệp vào-ra, phải làm trước bàn việc xác định miền tệp (5) Nhập liệu thiết kế cho trường hợp kiểm thử -5- (6) Điều chỉnh môi trường thực môđun tải (tạo thủ tục đưa tệp truy cập tệp vào chương trình) (7) Thực môđun tải ghi nhận kết (8) Xác nhận kết với kết kỳ vọng (9) Lặp lại thao tác (5)-(8) 2.3 Các kỹ thuật thiết kế trường hợp kiểm thử 2.3.1 Kiểm thử hộp đen – Black box testing Kiểm thử hộp đen (Black Box testing) kỹ thuật thiết kế trường hợp thử dựa đặc tả bề chương trình Người kiểm thử quan tâm đến nhiệm vụ mà mô đun phải đảm nhận, đầu vào cho mô đun kết xử lý - đầu Kiểm thử hộp đen lại chia nhỏ nhiều kỹ thuật: - Phân đoạn tương đương - Phân tích giá trị biên - Đoán lỗi số kỹ thuật khác Hình 1: Black Box testing *Phân Đoạn Tương Đương Đây kỹ thuật chia vùng thông tin nhập vào chương trình thành lớp thông tin/dữ liệu Lớp tương đương biểu diễn thành tập giá trị hợp lệ không hợp lệ Nhưng lớp liệu tương đương xác định theo cách sau: Nếu điều kiện đầu vào xác định khoảng giá trị [a,b], phân hoạch thành lớp tương đương hợp lệ lớp tương đương không hợp lệ Chẳng hạn, đầu vào x nằm khoảng [0,100], lớp hợp lệ