- Phương châm của kỹ thuật này là: Phòng khiếm khuyết hơn là trừ khiếm khuyết
65. Nội dung cụ thể của hoạt động kiểm thử đơn vị liên quan đến những vấn đề gì (tham số, vào ra, dữ liệu cục bộ, thủ tục tính toán, các dòng điều
(tham số, vào ra, dữ liệu cục bộ, thủ tục tính toán, các dòng điều khiển)?
Hoạt động kiểm thử đơn vị liên quan đến các vấn đề: - Tham số:
+ Số lượng các tham số có bằng đối số hay không?
+ Các tính chất của tham số và của đối số có đồng nhất không?
+ Hệ thống các đơn vị của tham số và của đối số có đồng nhất không?
+ Số các đối số được truyền để gọi modun có bằng số các tham số hay không?
+ Hệ thống đơn vị của các đối được truyền để gọi môđun có trùng với hệ thống đơn vị của các tham số hay không?
+ Số thuộc tính và các cái khác của các đối của các hàm được định sẵn có đúng đắn hay không?
+ Mọi tham khảo liên quan tới các tham số hiện không kết hợp với đầu vào chứ?
+ Các đối chỉ đọc đã được đổi chưa?
+ Các định nghĩa biến toàn cục có như một trong suốt môđun không?
+ Các ràng buộc đã chuyển qua như là tham số chưa?
- Vào ra: Khi một môđun có thực hiện I/O ngoại lai thì phải tiến hành thêm:
+ Tính chất của các file có đúng đắn hay không?
+ Các câu lệnh OPEN/CLOSE có đúng đắn không?
+ Đặc tả hình thức có đúng với các câu lệnh I/O?
+ Cỡ của buffer có đúng với cỡ của bản ghi không?
+ Các file có mở trước khi sử dụng không?
+ Các điều kiện end-of-file có được xử lý?
+ Các sai lầm I/O có được xử lý?
+ Có sai văn bản nào trong thông tin ra?
- Dữ liệu cục bộ: Cấu trúc dữ liệu cục bộ cho môđun còn là nguồn gây lỗi chung. Vì thế nên thiết kế các kiểm thử để bóc trần các lỗi loại sau:
+ Đánh máy không đúng hoặc không nhất quán.
+ Giá trị ngầm định hoặc giá trị khởi thuỷ sai.
+ Tên các biến không đúng (sai chữ hoặc mất chữ)
+ Kiểu dữ liệu không nhất quán.
+ Ngoại biệt về địa chỉ, underflow, overflow.
- Thủ tục tính toán: Các sai thường thấy về tính toán là:
+ Hiểu lầm hoặc ưu tiên các phép tính số học không đúng.
+ Các phép toán trộn mode.
+ Khởi sự không đúng đắn.
+ Sự không chính xác
- Dòng điều khiển: Sau việc so sánh thì các dòng điều khiển bị thay. Các ca thử nghiệm cần bộc lộ các sai như:
+ So sánh các kiểu dữ liệu khác nhau.
+ Ưu tiên hoặc toán tử logic không đúng đắn.
+ Dự đoán một đẳng thức, trong khi sai số làm cho đẳng thức không chắc có
thực.
+ Không kết thúc vòng lặp hoặc kết thúc không chính xác.
+ Khó thoát được khi tình cờ gặp sự lặp phân kỳ
+ Các biến lặp bị cải biên không chính xác.