Equivalence Partitioning(Phân vùng tương đương)

1.Equivalence Partitioning (Phân vùng tương đương) là gì?

Equivalence Partitioning (Phân vùng tương đương) là một trong những kỹ thuật thiết kế kiểm thử hộp đen (Black-box Testing Techniques) cơ bản và quan trọng nhất trong kỹ nghệ phần mềm. Kỹ thuật này được áp dụng nhằm giảm thiểu số lượng ca kiểm thử (Test Cases) cần thực thi mà vẫn đảm bảo độ bao phủ (Coverage) cao, giúp phát hiện ra các lỗi của hệ thống một cách hiệu quả nhất.

• Bản chất cốt lõi: Giả định rằng dữ liệu đầu vào (Input data) của một hệ thống có thể được chia thành các nhóm hoặc các “phân vùng” (partitions) sao cho mọi giá trị dữ liệu nằm trong cùng một phân vùng sẽ có xu hướng kích hoạt cùng một hành vi xử lý hoặc cùng tạo ra một kết quả như nhau ở phần mềm.

• Nguyên lý logic: Nếu một giá trị bất kỳ trong một phân vùng phát hiện ra lỗi (hoặc chạy thành công), thì các giá trị khác trong cùng phân vùng đó có độ tin cậy tương tự. Do đó, thay vì phải kiểm tra hàng trăm, hàng ngàn giá trị, kiểm thử viên chỉ cần chọn ra một đại diện duy nhất cho mỗi phân vùng để tiến hành kiểm tra.

Thay vì phải kiểm tra mọi giá trị có thể xảy ra (điều này là bất khả thi), kỹ thuật này cho phép bạn chỉ cần chọn một giá trị đại diện cho mỗi phân vùng để kiểm thử.

Nguyên lý hoạt động cơ bản

Khi áp dụng kỹ thuật này, dữ liệu đầu vào sẽ được chia thành hai loại phân vùng chính:

1. Phân vùng hợp lệ (Valid Partition): Chứa các dữ liệu đúng chuẩn, hợp lệ mà hệ thống được thiết kế để chấp nhận và xử lý thành công.

2. Phân vùng không hợp lệ (Invalid Partition): Chứa các dữ liệu sai định dạng, vượt quá hạn mức hoặc không hợp lệ mà hệ thống phải chặn lại và hiển thị thông báo lỗi.

Ví dụ thực tế dễ hiểu

Giả sử bạn cần kiểm tra một ô nhập Tuổi trên biểu mẫu đăng ký, với quy định hệ thống là: Tuổi hợp lệ từ 18 đến 60.

Thay vì phải kiểm thử từng số từ 0 đến 100, bạn chia dữ liệu thành 3 phân vùng và chọn các giá trị đại diện như sau:

• Phân vùng không hợp lệ thứ nhất (Tuổi dưới 18):

  • Chọn giá trị đại diện để kiểm thử: 16.

  • Kết quả mong đợi: Hệ thống chặn lại và báo lỗi chưa đủ tuổi.

• Phân vùng hợp lệ (Tuổi từ 18 đến 60):

  • Chọn giá trị đại diện để kiểm thử: 30.

  • Kết quả mong đợi: Hệ thống chấp nhận và cho phép tiếp tục.

• Phân vùng không hợp lệ thứ hai (Tuổi trên 60):

  • Chọn giá trị đại diện để kiểm thử: 65.

  • Kết quả mong đợi: Hệ thống chặn lại và báo lỗi vượt quá độ tuổi cho phép.

Lợi ích cốt lõi của Equivalence Partitioning

• Giảm số lượng Test Case tối đa: Tránh việc lãng phí thời gian test vô số dữ liệu giống nhau.

• Vẫn đảm bảo độ phủ cao: Giúp tìm ra lỗi hiệu quả mà không bỏ sót các trường hợp quan trọng (cả dữ liệu đúng lẫn dữ liệu sai).

• Dễ hình dung và áp dụng: Là kỹ thuật cơ bản nhất mà mọi Tester chuyên nghiệp đều nắm vững khi bước chân vào nghề.

2. Bản chất lý luận, giả định nền tảng và nguyên lý toán học của Phân vùng tương đương:

• Giả định cơ bản: Kỹ thuật này dựa trên một tiền đề logic vững chắc: Nếu một tập hợp các giá trị dữ liệu đầu vào có cùng một tính chất nghiệp vụ, chúng sẽ được hệ thống xử lý theo cùng một cách thức và cùng tạo ra một loại kết quả (hoặc cùng thành công, hoặc cùng báo lỗi).

• Nguyên lý thu gọn không gian mẫu: Thay vì thử nghiệm toàn bộ các phần tử trong một tập hợp dữ liệu đồng nhất, phân vùng tương đương cho phép chia không gian dữ liệu đó thành các lớp tương đương (Equivalence Classes). Từ mỗi lớp, kiểm thử viên chỉ cần trích xuất một giá trị đại diện duy nhất (Representative Value) để tiến hành kiểm thử.

  • Nếu giá trị đại diện của một phân vùng chạy thành công (Pass), toàn bộ các giá trị khác trong phân vùng đó được kỳ vọng sẽ thành công.

  • Nếu giá trị đại diện phát hiện lỗi (Fail), toàn bộ phân vùng đó được xem là chứa lỗi.

3. Quy tắc chuẩn hóa 3 bước thiết kế phân vùng (Valid & Invalid Partitions):

Để áp dụng kỹ thuật phân vùng tương đương một cách khoa học và không bị bỏ sót, kiểm thử viên tuân thủ các quy tắc thiết kế sau:

1. Xác định miền giá trị đầu vào (Input Domain Analysis): Đọc kỹ tài liệu đặc tả yêu cầu (SRS) để xác định rõ ràng điều kiện ràng buộc của ô dữ liệu (ví dụ: khoảng giá trị, kiểu dữ liệu, độ dài chuỗi ký tự, danh sách giá trị cho phép).

2. Thiết lập Vùng tương đương hợp lệ (Valid Equivalence Partition):

   • Chứa các giá trị thỏa mãn đúng 100% các điều kiện nghiệp vụ và quy chuẩn kỹ thuật mà hệ thống được thiết kế để tiếp nhận.

   • Mục tiêu: Kiểm tra luồng xử lý chuẩn (Happy Path) của ứng dụng.

3. Thiết lập Vùng tương đương không hợp lệ (Invalid Equivalence Partition):

• Chứa các giá trị vi phạm các điều kiện ràng buộc (như số âm, vượt ngưỡng tối đa, sai định dạng email, ký tự đặc biệt cấm).
• Mục tiêu: Kiểm tra khả năng bắt lỗi, xử lý ngoại lệ và tính an toàn, bền vững của phần mềm (Negative Testing).

4. Nguyên lý toán học :

Đối với một khoảng giá trị cho phép từ Min đến Max, kỹ thuật BVA chuẩn mực (2-value và 3-value boundary testing) sẽ chọn ra các điểm kiểm tra sau:

1. Min: Giá trị biên nhỏ nhất hợp lệ.

2. Min – 1: Giá trị nằm ngay sát dưới biên nhỏ nhất (không hợp lệ).

3. Min + 1: Giá trị nằm ngay sát trên biên nhỏ nhất (hợp lệ).

4. Max: Giá trị biên lớn nhất hợp lệ.

5. Max – 1: Giá trị nằm ngay sát dưới biên lớn nhất (hợp lệ).

6. Max + 1: Giá trị nằm ngay sát trên biên lớn nhất (không hợp lệ).

5. Quy trình áp dụng BVA thực tế và ví dụ minh họa chi tiết:

Xét một tính năng hệ thống yêu cầu nhập Điểm số hợp lệ từ 0 đến 10 (kiểu số nguyên).

• Biên dưới (Min) = 0

• Biên trên (Max) = 10

Áp dụng kỹ thuật BVA, ta thiết lập bộ Test Cases gồm các giá trị biên sau:

• Min – 1 (-1): Dữ liệu không hợp lệ. Kỳ vọng: Hệ thống báo lỗi điểm số không được nhỏ hơn 0.

• Min (0): Giá trị biên dưới hợp lệ. Kỳ vọng: Hệ thống chấp nhận thành công.

• Min + 1 (1): Giá trị ngay trên biên dưới hợp lệ. Kỳ vọng: Hệ thống chấp nhận thành công.

• Max – 1 (9): Giá trị ngay dưới biên trên hợp lệ. Kỳ vọng: Hệ thống chấp nhận thành công.

• Max (10): Giá trị biên trên hợp lệ. Kỳ vọng: Hệ thống chấp nhận thành công.

• Max + 1 (11): Dữ liệu vượt ngưỡng không hợp lệ. Kỳ vọng: Hệ thống báo lỗi điểm số không được vượt quá 10.

Nhờ BVA, chỉ với 6 Test Cases tối ưu, kiểm thử viên đã bao phủ trọn vẹn toàn bộ các rủi ro phát sinh tại vùng ranh giới của tính năng.

6. Mối quan hệ biện chứng giữa Equivalence Partitioning và Boundary Value Analysis (BVA):

Trong thực tiễn kiểm thử phần mềm, Equivalence Partitioning và Boundary Value Analysis (BVA – Phân tích giá trị biên) không bao giờ đứng tách rời mà luôn song hành bổ trợ lẫn nhau:

• Equivalence Partitioning giúp khoanh vùng các khoảng dữ liệu lớn thành các nhóm tương đương để giảm số lượng test cases.

• Tuy nhiên, các kỹ sư kiểm thử nhận thấy rằng lỗi lập trình thường không nằm ở giữa phân vùng, mà tập trung dày đặc ở các điểm ranh giới (giá trị biên giữa hợp lệ và không hợp lệ). Do đó, sau khi dùng Equivalence Partitioning để chia vùng, người ta sẽ dùng tiếp Boundary Value Analysis để chọn các giá trị sát ngay mép biên (Min, Max, Min-1, Max+1) làm test cases, tạo ra bộ kiểm thử hoàn hảo nhất.

7. Lợi ích kinh tế – kỹ thuật và các cạm bẫy cần tránh khi phân vùng:

• Lợi ích tối thượng:

  • Giảm thiểu đáng kể số lượng Test Cases cần viết và chạy thủ công, tiết kiệm hàng chục giờ làm việc.

  • Đảm bảo độ bao phủ khoa học, không bị sót các trường hợp ngoại lệ quan trọng.

• Cạm bẫy cần tránh:

  • Cạm bẫy 1: Gộp nhầm các điều kiện nghiệp vụ khác nhau vào chung một phân vùng.

  • Cạm bẫy 2: Quên không tạo các phân vùng không lệ cho các kiểu dữ liệu đặc thù (như bỏ trống trường dữ liệu, nhập sai kiểu dữ liệu text vào ô số).

8. Cảm nhận, chiêm nghiệm :

• Qua quá trình nghiên cứu và vận dụng Equivalence Partitioning, em nhận thức sâu sắc rằng kiểm thử phần mềm không phải là việc làm mò mẫm hay thử nghiệm ngẫu nhiên, mà là một quy trình kỹ thuật đòi hỏi tư duy toán học, tính logic chặt chẽ và phương pháp luận sắc bén.

• Việc nắm vững và áp dụng thành thạo kỹ thuật phân vùng tương đương giúp kỹ sư QC tự tin thiết kế ra những bộ Test Cases tinh gọn, đạt hiệu quả tối ưu, ngăn chặn triệt để lỗi từ giai đoạn sớm và đóng góp thiết thực vào việc nâng cao chất lượng tổng thể của sản phẩm phần mềm.

Vu Do

Xem tất cả bài viết của tác giả

Bài viết khác

REST API & HTTP trong Flutter

REST API & HTTP trong Flutter 1. REST API và HTTP 1.1. Khái niệm REST API REST API là một phương thức thiết kế giao tiếp giữa các hệ thống phần mềm thông qua giao thức HTTP. REST là viết tắt của Representational State Transfer, còn API là viết tắt của Application Programming Interface. REST […]

Đọc thêm

Dio & HTTP Client trong Flutter

Dio & HTTP Client trong Flutter 1. Tổng quan về Dio và HTTP Client Trong quá trình phát triển ứng dụng Flutter, việc giao tiếp với máy chủ (Server) là một phần quan trọng để ứng dụng có thể lấy dữ liệu, gửi thông tin, đăng nhập, đăng ký tài khoản, tải hình ảnh, cập […]

Đọc thêm

Flutter Widget Fundamentals – Tối ưu hiệu năng và kiểm thử Widget

Tối ưu hiệu năng và kiểm thử Widget trong Flutter 1. Rebuild Optimization – Tối ưu quá trình xây dựng lại giao diện 1.1. Khái niệm Rebuild Optimization Rebuild Optimization là quá trình tối ưu việc xây dựng lại giao diện trong Flutter nhằm giảm những lần thực thi build() không cần thiết, hạn chế […]

Đọc thêm

Flutter Widget Fundamentals – Các cơ chế UI nâng cao trong Flutter

Các cơ chế UI nâng cao trong Flutter 1. Gesture System và Hit Testing 1.1. Tổng quan về Gesture System Gesture System là hệ thống xử lý cử chỉ tương tác trong Flutter, cho phép ứng dụng nhận biết và phản hồi những hành động của người dùng như chạm, nhấn giữ, kéo thả, vuốt, […]

Đọc thêm

Flutter Widget Fundamentals – Vòng đời và quản lý trạng thái của Widget

Vòng đời và quản lý trạng thái của Widget trong Flutter 1. StatefulWidget Lifecycle chuyên sâu 1.1. Khái niệm vòng đời của StatefulWidget Trong Flutter, vòng đời của StatefulWidget là chuỗi các giai đoạn mà một Widget trải qua từ khi được tạo, khởi tạo trạng thái, hiển thị giao diện, nhận các thay đổi […]

Đọc thêm

UAT(Kiểm thử chấp nhận người dùng)

UAT là gì? Trong toàn bộ Vòng đời phát triển phần mềm (SDLC), sau khi trải qua hàng loạt các cấp độ kiểm thử kỹ thuật nội bộ như Unit Testing, Integration Testing, System Testing, sản phẩm phần mềm vẫn chưa thể chính thức phát hành. Bước đệm cuối cùng và mang tính chất quyết […]

Đọc thêm