Phương pháp kiểm thử hộp trắng (White-box Testing) là một phương pháp kiểm thử phần mềm tập trung vào cấu trúc bên trong và hoạt động của một ứng dụng. Nó được gọi là “hộp trắng” bởi vì nó xem xét mã nguồn và logic bên trong của ứng dụng.
Tương tự như việc nhìn vào bên trong một chiếc hộp trong suốt. Phương pháp này còn được gọi là kiểm thử dựa trên mã (Code-based Testing), kiểm thử cấu trúc (Structural Testing), kiểm thử hộp kính (Glass-box Testing) hoặc kiểm thử logic trong suốt (Clear-box Testing).
Mục tiêu của kiểm thử hộp trắng là xác minh hoạt động bên trong của ứng dụng diễn ra như dự kiến và phát hiện các lỗi tiềm ẩn trong mã nguồn, chẳng hạn như lỗi logic, lỗi luồng điều khiển, lỗi xử lý dữ liệu và lỗi bảo mật. Kiểm thử hộp trắng được thực hiện bởi các lập trình viên hoặc những người kiểm thử có kiến thức chuyên sâu về mã nguồn của ứng dụng.
Phương pháp kiểm thử hộp trắng dựa trên việc phân tích mã nguồn và thiết kế các trường hợp kiểm thử (Test Cases) bao phủ các khía cạnh sau:
– Các câu lệnh (Statement): Đảm bảo mọi câu lệnh trong mã nguồn được thực thi ít nhất một lần.
– Đường dẫn (Path): Kiểm tra tất cả các đường dẫn thực thi có thể có trong mã nguồn.
– Các điều kiện (Condition): Xác minh tính đúng đắn của các biểu thức điều kiện trong mã nguồn.
– Vòng lặp (Loop): Kiểm tra tính đúng đắn của các vòng lặp, bao gồm cả việc xử lý các điều kiện biên.
– Rẽ nhánh (Branch): Đảm bảo tất cả các nhánh trong mã nguồn được thực thi.
1. Mô tả một số cấu trúc theo lược đồ.
Lược đồ (Flowchart) hoặc đồ thị luồng điều khiển (Control Flow Graph – CFG) là một công cụ quan trọng trong kiểm thử hộp trắng. Chúng được sử dụng để:
– Trừu tượng hóa cú pháp của mã lệnh: Biểu diễn logic của mã nguồn một cách trực quan, dễ hiểu, bỏ qua các chi tiết cú pháp không cần thiết.
– Làm khuôn mẫu cơ bản cho các nguyên tắc kiểm tra theo trường hợp: Lược đồ giúp xác định các đường dẫn thực thi và các điều kiện cần kiểm tra.
– Kiểm tra tính đúng đắn trên toàn bộ lược đồ: Phân tích lược đồ giúp phát hiện các lỗi logic, các đường dẫn không thể đạt tới hoặc các vòng lặp vô hạn.
2. Kiểm thử theo câu lệnh (Statement Testing/Coverage).
Mục tiêu của kiểm thử theo câu lệnh là đảm bảo rằng mỗi câu lệnh trong mã nguồn được thực thi ít nhất một lần trong quá trình kiểm thử. Phương pháp này giúp phát hiện các lỗi cú pháp đơn giản và các lỗi logic cơ bản. Tuy nhiên, nó không đảm bảo phát hiện được tất cả các lỗi, đặc biệt là các lỗi liên quan đến sự tương tác giữa các câu lệnh.
3. Kiểm thử theo đường dẫn (Path Testing/Coverage).
Kiểm thử theo đường dẫn là một phương pháp kiểm thử toàn diện hơn, nhằm mục đích kiểm tra tất cả các đường dẫn thực thi có thể có trong mã nguồn. Mỗi đường dẫn đại diện cho một chuỗi các câu lệnh được thực thi theo một thứ tự cụ thể. Kiểm thử theo đường dẫn giúp phát hiện các lỗi công nghệ logic phức tạp hơn, liên quan đến sự tương tác giữa các câu lệnh và các điều kiện.
4. Kiểm thử theo điều kiện (Condition Testing/Coverage).
Kiểm thử theo điều kiện tập trung vào việc kiểm tra tính đúng đắn của các biểu thức điều kiện trong mã nguồn. Mỗi biểu thức điều kiện có thể có nhiều kết quả khác nhau (true hoặc false), và kiểm thử theo điều kiện đảm bảo rằng tất cả các kết quả có thể có đều được kiểm tra. Phương pháp này giúp phát hiện các lỗi logic liên quan đến việc đánh giá sai các điều kiện.
5. Kiểm thử theo vòng lặp (Loop Testing/Coverage).
Kiểm thử theo vòng lặp tập trung vào việc kiểm tra tính đúng đắn của các vòng lặp trong mã nguồn. Các vòng lặp có thể lặp lại một số lần nhất định hoặc lặp lại cho đến khi một điều kiện nào đó được thỏa mãn. Kiểm thử theo vòng lặp đảm bảo rằng vòng lặp hoạt động đúng trong các trường hợp khác nhau, bao gồm cả việc xử lý các điều kiện biên và các trường hợp đặc biệt.
Trường hợp kiểm thử: factorial(0): Bỏ qua vòng lặp (n = 0) ; factorial(1): Lặp một lần (n = 1) ; factorial(2): Lặp hai lần (n = 2) ; factorial(5): Lặp m lần (m < n) ; factorial(10): Lặp n lần (n là giá trị tối đa cho phép). Các bước cần kiểm thử cho vòng lặp dạng lồng nhau và vòng lặp nối tiếp cũng tương tự như trên, nhưng cần kết hợp các trường hợp kiểm thử cho từng vòng lặp để đảm bảo tính toàn diện.
Kết luận:
Kiểm thử hộp trắng là một phương pháp kiểm thử quan trọng trong quy trình phát triển phần mềm. Nó giúp phát hiện các lỗi tiềm ẩn trong mã nguồn và đảm bảo chất lượng của ứng dụng. Tuy nhiên, kiểm thử hộp trắng cũng có những hạn chế, chẳng hạn như việc đòi hỏi kiến thức chuyên sâu về mã nguồn và việc không thể kiểm tra tất cả các trường hợp có thể có. Do đó, kiểm thử hộp trắng thường được kết hợp với các phương pháp kiểm thử khác, chẳng hạn như kiểm thử hộp đen (Black-box Testing), để đảm bảo tính toàn diện của quá trình kiểm thử.
Tác giả: Thạc Bình Cường
Bạn đang xem bài viết:
Phương pháp kiểm thử hộp trắng là gì?
Link https://vnlibs.com/cong-nghe/phuong-phap-kiem-thu-hop-trang-la-gi.html
