Thử nghiệm đơn thể (Module testing), hay thử nghiệm đơn vị (Unit testing) do người lập trình tự tiến hành. Phương pháp này hay được sử dụng trong lập trình cấu trúc (top-down programing). Các phương pháp thử nghiệm khác do người thử nghiệm tiến hành.
Giả sử gọi M là một đơn thể cần thử nghiệm riêng biệt. Khi đĩ, xảy ra hai trường hợp như sau :
Trường hợp 1 : những đơn thể do M gọi tới khơng cĩ mặt lúc thử nghiệm.
Khi đĩ, những đơn thể do M gọi tới vắng mặt phải được thay thế bởi các chương trình cùng một giao diện với M. Các chương trình này thực hiện đúng chức năng mà chúng đại diện cho đơn thể vắng mặt và chúng được gọi là các trình stubs (“cuống“).
Hình 4.3. Các đơn thể vắng mặt được thay bởi các trình stubs
Ví dụ, nếu đơn thể đang được thử nghiệm gọi một thủ tục sắp xếp ở đầu :
Procedure Sort (T: Array ; n: Integer);
người ta cĩ thể sử dụng trình Stub :
Procedure Sort (T: Array ; n: Integer) ; Writeln (‘Dãy cần sắp xếp là : ‘) ; for i:= 1 to n do writeln (T[i]) ;
thay thế cho thủ tục sắp xếp vắng mặt.
Trường hợp 2 : những đơn thể gọi tới M khơng cĩ mặt lúc thử nghiệm.
Khi đĩ, đơn thể gọi tới M nhưng vắng mặt phải được thay thế bởi một chương trình, được gọi là trình driver. Trình driver gọi M để M thực hiện trên các dữ liệu thuộc tập dữ liệu thử, sau đĩ ghi nhận các kết quả tính được bởi M để so sánh với các kết quả chờ đợi.
Hình 4.4. Dùng trình driver để gọi thực hiện M
Số lượng các trình stubs và các trình drivers cần thiết để tiến hành thử nghiệm các đơn thể phụ thuộc vào thứ tự các đơn thể được thử nghiệm.
Đơn thể M