D) CÁC CÁCH BIỂU DIỄN CỦA MÔ HÌNH PHÂN TÍCH
f. Đặc tả giao diện đối tượng
7.1.1. Mục tiêu của kiểm thử
Kiểm thử phần mềm đáp ứng 2 mục tiêu cơ bản:
- Để chứng minh với nhà phát triển và khách hàng là phần mềm đã đáp ứng đúng các yêu cầu đặt ra. Với khách hàng, điều này có nghĩa là nên có ít nhất một thử nghiệm cho mỗi yêu cầu của người sử dụng trong tài liệu yêu cầu. Với những sản phẩm phần mềm dùng chung, cần phải kiểm thử tất cả các chức năng của hệ thống sẽ được tích hợp vào sản phẩm cuối cùng. Một số hệ thống có thể cần giai đoạn kiểm thử tích hợp độc lập để khách hàng kiểm tra xem hệ thống được bàn giao có đúng như đặc tả không.
- Để khám phá ra các lỗi trong phần mềm hoặc những điểm yếu như cách hoạt động của phần mềm không đúng, không thỏa mãn hoặc không phù hợp với đặc tả. Phát hiện lỗi liên quan tới việc khám phá ra nguyên nhân của tất các hoạt động không đúng của hệ thống, chẳng hạn như hệ thống bị phá hủy, những tương tác không mong muốn với các hệ thống khác, việc tính toán sai và mất dữ liệu.
Mục tiêu đầu tiên được thực hiện bằng kiểm thử thẩm định, trong đó người kiểm thử mong hệ thống thực hiện một cách đúng đắn bằng việc đưa ra một tập hợp các trường hợp kiểm thử (test cases) phản ánh những mong muốn của người sử dụng đối với hệ thống.
Mục tiêu thứ hai là phát hiện khiếm khuyết còn tồn tại, khi đó các trường hợp kiểm thử được thiết kế để bộc lộ các khiếm khuyết của phần mềm:
- Các trường hợp kiểm thử có thể bị che khuất một cách có chủ ý và không phản ánh xem hệ thống được sử dụng một cách thông thường như thế nào.
- Đối với việc kiểm thử thẩm định, một trường hợp kiểm thử thành công là khi hệ thống thực thi đúng. Còn đối với kiểm thử khiếm khuyết, một kiểm thử thành công là một khiếm khuyết được bộc lộ khi hệ thống thực thi không đúng.
Nhìn chung, kiểm thử không thể chứng mình rằng phần mềm hoàn toàn không còn lỗi hoặc nó thích nghi được trong mọi môi trường làm việc. Luôn luôn tồn tại các trường hợp kiểm thử mà bạn có thể khám phá ra các lỗi khác của hệ thống. Tuy nhiên, mục tiêu của kiểm thử phần mềm là tạo niềm tin cho khách hàng, rằng phần mềm đủ tốt và có thể sử dụng được. Kiểm thử là quá trình làm tăng độ tin cậy của phần mềm.