Mục đích của kiểm thử là phát hiện lỗi vì trong thực tế phần mềm hầu như không bao giờ không chứa lỗi.

1 - Các phương pháp kiểm thử
+ Phương pháp kiểm thử phần mềm
+ Phương pháp kiểm thử hộp đen
+ Phương pháp kiểm thử hộp trắng
+ Phương pháp kiểm thử hộp không trắng
+ Phương pháp kiểm thử bảo mật

2 - Các cấp độ kiểm thử
+ Kiểm thử đơn vị
+ Kiểm thử tích hợp
+ Kiểm thử hệ thống
+ Kiểm thử tích hợp hệ thống

3 - Các phương pháp kiểm thử phi chức năng
+ Kiểm thử hoạt động và hiệu suất chương trình
+ Kiểm thử độ ổn định
+ Kiểm thử tính sử dụng
+ Kiểm thử khả năng bảo mật
+ Tính địa phương và toàn cầu
+ Kiểm thử khả năng chịu lỗi

4-Các hạn chế của kiểm thử
Trong quá trình kiểm thử, ta thường mắc phải các đặc trưng của nguyên lý chủ quan như sau:
+ Bộ dữ liệu kiểm thử không thay đổi trong quá trình xây dựng phần mềm.
+ Chỉ kiểm thử các trường hợp chính thống, hợp lệ, không quan tâm đến các cận và các sự cố.
+ Cài đặt chức năng nào thì chỉ kiểm thử riêng chức năng đó, không kiểm thử tổng hợp chức năng vừa cài đặt với các chức năng đã cài đặt trước đó.
+ Người kiểm thử đồng thời là người xây dựng phần mềm tức vừa đá bóng, vừa thổi còi.

5-Các nguyên tắc kiểm thử
Kiểm thử là một trong những lĩnh vực của công nghệ phần mềm, kiểm thử cũng có các nguyên tắc riêng dành cho các kiểm thử viên. Chúng ta sẽ xem xét một số nguyên tắc cơ bản liên quan đến kiểm thử động:
+ Kiểm thử là tiến trình thực thi phần mềm và sử dụng các trường hợp kiểm thử để phát hiện lỗi.
+ Với mục đích của kiểm thử nhằm phát hiện lỗi, một ca kiểm thử tốt là ca kiểm thử có khả năng cao phát hiện những lỗi chưa được tìm thấy.
+ Một ca kiểm thử phải định nghĩa kết quả mong muốn.
+ Kiểm thử nên được thực hiện bởi một nhóm độc lập với nhóm phát triển.
+ Kết quả kiểm thử nên được kiểm tra một cách cẩn thận.
+ Các ca kiểm thử nên được thiết kế cho cả những dữ liệu vào hợp lệ và không hợp lệ.
+ Các ca kiểm thử phải được tái sử dụng.
+ Xác suất tồn tại của các lỗi hơn nữa trong một đơn vị phần mềm tỷ lệ với số các lỗi đã được phát hiện trong đơn vị phần mềm đó.
+ Kiểm thử nên phải được lập kế hoạch.
+ Các hoạt động kiểm thử nên phải được tích hợp vào tiến trình phát triển phần mềm.
+ Kiểm thử là một công việc đầy sáng tạo và thách thức.

6 - Phân loại một 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 cả các nỗ lực dành cho một dự án xây dựng phần mềm, nên công cụ có thể làm giảm thời gian kiểm thử sẽ rất có giá trị. Thừa nhận lợi ích tiềm năng này, các nhà nghiên cứu và người thực hành đã phát triển một số thế hệ các công cụ kiểm thử tự động:

+ Bộ phân tích tĩnh
+ Bộ thanh tra mã nguồn
+ Bộ xử lý khẳng định
+ Bộ sinh trường hợp kiểm thử
+ Bộ sinh dữ liệu kiểm thử
+ Bộ kiểm chứng kiểm thử
+ Dụng cụ kiểm thử
+ Bộ so sánh kết quả đầu ra
+ Hệ thống thực hiện ký hiệu (symbolic execution system)
+ Bộ mô phỏng môi trường
+ Bộ phân tích luồng dữ liệu