Các kiểm thử xuất hiện như một phần của kiểm thử đơn vị được minh hoạ trong hình 3.5(a). Các kiểm thử nhằm phát hiện các lỗi trong các phạm vi của module bao gồm:
Giao diện module,
Cấu trúc dữ liệu cục bộ,
Điều kiện biên,
Đường dẫn độc lập, Đường dẫn xử lý lỗi. Số lỗi còn lại Chi phí kiểm thử Số lượng kiểm thử tối ưu
Quá mức kiểm thử tối ưu Chất lượng kiểm thử
chấp nhận được Dưới mức kiểm thử tối ưu
Số lượng kiểm thử Số l ỗi c òn lạ i
Giao diện module: được kiểm thử để đảm bảo thông tin vào, ra hợp lệ của đơn
vị chương trình. Thường gồm một số kiểm thử cần thiết :
Số tham số đầu vào có bằng số đối số không?
Các thuộc tính của tham số và đối số có phù hợp không?
Số đối số truyền vào cho module được gọi có phù hợp số tham số?
Các thuộc tính đối số truyền cho module được gọi có phù hợp với thuộc tính của tham số?
Khai báo biến toàn cục nhất quán trong các module?
Các ràng buộc phù hợp với các tham số?
Các đối số được truyền vào có đúng thứ tự?
Khi module thực hiện vào ra, cần thực hiện các kiểm thử giao diện bổ sung:
Các thuộc tính tập tin có đúng không?
Các lệnh đóng/mở tập tin có đúng không?
Các đặc tả hình thức phù hợp với lệnh vào/ra.
Kích thước vùng đệm phù hợp với kích thước bản ghi?
Các tập tin được mở trước khi sử dụng?
Xử lý điều kiện kết thúc tập tin?
Xử lý lỗi vào ra?
Cấu trúc dữ liệu cục bộ: là nguồn lỗi phổ biến, được kiểm tra để đảm bảo rằng dữ liệu được lưu trữ tạm thời đảm bảo tính nguyên vẹn trong tất cả các bước thực hiện của thuật toán. Các trường hợp kiểm thử sẽ được thiết kế để phát hiện các loại lỗi sau:
Kiểu không thích hợp hoặc mâu thuẫn.
Tên biến không đúng (sai chính tả hoặc bị cắt bớt).
Kiểu dữ liệu không thống nhất.
Thiếu hoặc tràn bộ nhớ, các ngoại lệ.
Điều kiện biên: Điều kiện biên được kiểm thử để đảm bảo rằng module hoạt động hợp lệ tại các biên được thiết lập đạt đến giới hạn hoặc xử lý giới hạn.
Đường dẫn độc lập: Tất cả các đường dẫn độc lập của cấu trúc điều khiển được thực hiện để đảm bảo rằng tất cả các câu lệnh trong module đã được thực hiện ít nhất một lần.
Đường dẫn xử lý lỗi: Một thiết kế tốt sẽ cho biết các điều kiện lỗi được biết trước và các đường dẫn xử lý lỗi được thiết lập để gửi lại hoặc kết thúc xử lý dễ dàng khi một lỗi xuất hiện. Một số lỗi tiềm ẩn sẽ được kiểm thử khi việc xử lý lỗi được đánh giá:
Mô tả lỗi khó hiểu.
Lỗi được chú giải không phù hợp với lỗi gặp phải.
Điều kiện lỗi dẫn đến sự can thiệp của hệ thống trước khi xử lý lỗi.
Xử lý điều kiện ngoại lệ không chính xác.
Mô tả lỗi không cung cấp đủ thông tin để hỗ trợ xác định nguyên nhân lỗi.
Hình 3.5 – (a) Kiểm thử đơn vị; (b) Môi trƣờng kiểm thử đơn vị
Các trường
hợp kiểm thử Module Giao diện
Cấu trúc dữ liệu cục bộ Các điều kiện biên Các đường dẫn độc lập Các đường dẫn xử lý lỗi Các trường hợp kiểm thử Giao diện Cấu trúc dữ liệu cục bộ Các điều kiện biên Các đường dẫn độc lập Các đường dẫn xử lý lỗi KẾT QUẢ Module được kiểm thử Nhánh cụt Nhánh cụt Bộ điều khiển (a) (b)