Trang chủ Kho kiến thức Lý thuyết kiểm thử phần mềm: KT Cặp (Pairwise Testing)

Lý thuyết kiểm thử phần mềm: KT Cặp (Pairwise Testing)

Khám phá kỹ thuật kiểm thử cặp Pairwise Testing giúp tối ưu số lượng kịch bản mà vẫn đảm bảo độ bao phủ lỗi tốt nhất. Xem ngay các ví dụ minh họa thực tế.

Kiểm thử cặpPairwise TestingKỹ thuật kiểm thửTối ưu hóa test casePhần mềmKiểm thử tổ hợp

 
travel_explore

1. Tổng quan về Kiểm Thử Cặp

Định nghĩa cơ bản

Kiểm thử cặp (Pairwise Testing) là một kỹ thuật kiểm thử thiết kế thuộc nhóm hộp đen (Black-box testing).

Kỹ thuật này dựa trên toán học tổ hợp (Combinatorial testing).

Mục tiêu là tạo ra các ca kiểm thử sao cho mọi cặp giá trị có thể của các tham số đều được kiểm tra ít nhất một lần.

Cơ sở khoa học

Nghiên cứu chỉ ra rằng: Các lỗi phần mềm (Bugs) hiếm khi xảy ra do một thông số duy nhất bị sai.

Phần lớn lỗi phát sinh do sự tương tác giữa 2 tham số với nhau.

Lỗi do sự tương tác của 3 hoặc nhiều tham số trở lên ít phổ biến hơn rất nhiều.

Do đó, chỉ cần kiểm tra tất cả các cặp (2 tham số), ta có thể phát hiện hầu hết các lỗi hệ thống.

help_center

2. Tại sao cần sử dụng Kiểm Thử Cặp?

2.1. Vấn đề của Kiểm thử toàn diện (Exhaustive Testing)

Kiểm thử toàn diện nghĩa là kiểm tra mọi sự kết hợp có thể xảy ra của tất cả các tham số.

Kỹ thuật này mang lại sự an tâm tuyệt đối nhưng lại gặp rào cản rất lớn về thời gian và nguồn lực.

Sự bùng nổ tổ hợp (Combinatorial Explosion):

Khi số lượng tham số và số lượng giá trị của mỗi tham số tăng lên, tổng số ca kiểm thử sẽ tăng theo cấp số nhân.

warning

Công thức tính số tổ hợp toàn diện:

T=∏i=1nViT = \prod_{i=1}^{n} V_i

(Trong đó: T là tổng số ca kiểm thử, n là số tham số, V_i là số lượng giá trị của tham số thứ i)

2.2. Giải pháp mang tên Kiểm thử Cặp

Thay vì thử toàn bộ, ta dùng thuật toán để chọn lọc ra một danh sách các ca kiểm thử thu gọn.

Danh sách này đảm bảo mọi "Cặp giá trị" đều xuất hiện ít nhất một lần cùng nhau.

  • check_circle Giảm đột biến số lượng ca kiểm thử.
  • check_circle Duy trì tỷ lệ phát hiện lỗi (Defect Yield) ở mức cao (trên 80-90%).
  • check_circle Tiết kiệm thời gian chạy kiểm thử tự động lẫn thủ công.
90% Lỗi được tìm thấy
settings_applications

3. Nguyên lý hoạt động của Kiểm Thử Cặp

3.1. Dựa trên Mảng trực giao (Orthogonal Array)

Mảng trực giao là một công cụ toán học được thiết kế đặc biệt.

Trong đó, các cột đại diện cho các tham số (biến số) của hệ thống.

Các hàng đại diện cho một ca kiểm thử cụ thể.

Tính chất đặc biệt:

Đối với bất kỳ cặp cột nào được chọn, tất cả các kết hợp có thể có của các giá trị từ 2 cột đó đều xuất hiện với số lần bằng nhau (thường là 1 lần) trên các hàng.

dataset

3.2. Quy tắc sinh ca kiểm thử

Quy trình tạo ca kiểm thử tuân theo luật loại trừ và ghép cặp.

  • looks_one Nhận diện tham số: Liệt kê mọi tham số ảnh hưởng đến tính năng.
  • looks_two Phân tách giá trị: Rời rạc hóa các giá trị đầu vào thành các lớp tương đương hoặc giá trị biên.
  • looks_3 Sinh ma trận cặp: Tạo tất cả các cặp giá trị độc lập giữa 2 tham số bất kỳ.
  • looks_4 Tối ưu hóa bảng: Gom các cặp vào chung một ca kiểm thử nếu chúng không xung đột nhau, mục đích là giảm số lượng hàng.
science

4. Ví dụ minh họa chi tiết

Giả sử chúng ta cần kiểm thử một màn hình cài đặt đơn giản bao gồm 3 yếu tố đầu vào (tham số).

4.1 & 4.2. Phân tích bài toán & Tham số

check_box

Tham số 1

Check Box

True False

2 giá trị

arrow_drop_down_circle

Tham số 2

List Box

0 1

2 giá trị

radio_button_checked

Tham số 3

Radio Button

ON OFF

2 giá trị

functions

Nếu dùng Kiểm thử toàn diện (Exhaustive Testing):

2 x 2 x 2 = 8 Ca kiểm thử

4.3. Các cặp giá trị có thể xảy ra (Pairs)

Chúng ta sẽ tạo các cặp từ bất kỳ 2 tham số nào. Sẽ có 3 nhóm tương tác.

Check Box & List Box

  • True, 0
  • True, 1
  • False, 0
  • False, 1

Check Box & Radio

  • True, ON
  • True, OFF
  • False, ON
  • False, OFF

List Box & Radio

  • 0, ON
  • 0, OFF
  • 1, ON
  • 1, OFF

4.4. Bảng ca kiểm thử tối ưu (Test Cases)

Thay vì viết 8 ca, chúng ta sử dụng thuật toán gom nhóm các cặp lại vào từng dòng sao cho các cặp không bị trùng lặp vô ích. Kết quả cuối cùng là một mảng trực giao hoàn hảo chỉ với 4 Ca kiểm thử.

Test ID Check Box List Box Radio Button
1 True 0 ON
2 True 1 OFF
3 False 0 OFF
4 False 1 ON
insights

Kết luận Ví dụ:

Hãy xem Test ID 1. Nó bao phủ cặp (True, 0), cặp (True, ON) và cặp (0, ON).

Bằng cách kết hợp khéo léo, 4 dòng này đã chứa đầy đủ 12 cặp giá trị ở phần 4.3 mà không bỏ sót bất kỳ tổ hợp đôi nào. Số lượng ca kiểm thử giảm đúng 50%.

linear_scale

5. Quy trình thực hiện Kiểm thử Cặp

1

Liệt kê tham số

Định nghĩa rõ ràng các thông số đầu vào của ứng dụng hoặc module cần kiểm tra.

2

Xác định giá trị

Với mỗi tham số, liệt kê mọi trạng thái, điều kiện hoặc loại dữ liệu hợp lệ và không hợp lệ.

3

Nhập vào công cụ

Đưa danh sách tham số và giá trị vào một phần mềm tự động sinh mảng trực giao.

4

Thu thập & Thực thi

Nhận file Test Cases đã tối ưu (thường là file Excel/CSV). Bắt đầu tiến hành kiểm thử thực tế.

handyman

6. Công cụ hỗ trợ Kiểm thử Cặp phổ biến

Thực tế, việc tự tính toán mảng trực giao bằng tay khi có hơn 3 tham số là vô cùng khó khăn và dễ sai sót. Các kỹ sư QA/QC thường sử dụng các công cụ mạnh mẽ sau đây:

terminal

PICT

Pairwise Independent Combinatorial Testing tool

  • Được phát triển và cung cấp miễn phí bởi Microsoft.
  • Là công cụ dòng lệnh (Command-line interface).
  • Người dùng tạo một file text chứa các biến số và giá trị.
  • Hỗ trợ thêm các điều kiện logic (Constraints) để loại bỏ các trường hợp phi thực tế.
  • Tạo ra đầu ra cực kỳ nhanh chóng.
language

Hexawise

Nền tảng kiểm thử dựa trên đám mây.

  • Giao diện người dùng đồ họa (GUI) trực quan và rất dễ sử dụng trên Web.
  • Mạnh mẽ hơn việc tạo cặp đơn thuần, hỗ trợ kiểm thử tương tác n-chiều (n-way interactions).
  • Cung cấp biểu đồ trực quan đo lường mức độ bao phủ (Coverage rate).
  • Gợi ý tự động các giá trị nên kiểm thử thêm. Thường dùng trong dự án doanh nghiệp lớn.
architecture

ACTS

Automated Combinatorial Testing for Software

  • Phát triển bởi Viện Tiêu chuẩn và Công nghệ Quốc gia Hoa Kỳ (NIST).
  • Hỗ trợ tính toán lên đến 6 chiều (6-way combinatorial testing).
  • Rất thích hợp cho các hệ thống phần mềm nhạy cảm về an ninh và an toàn.
  • Có thể xuất dữ liệu ra nhiều định dạng tiện lợi cho file tự động hóa.
bug_report

AllPairs

Công cụ mã nguồn mở đơn giản.

  • Một kịch bản Perl ngắn gọn do James Bach viết.
  • Hoạt động dựa trên file Excel hoặc file CSV.
  • Thiết kế siêu nhẹ, phù hợp cho người mới bắt đầu học khái niệm sinh mảng trực giao.
  • Dễ dàng tùy biến mã nguồn nếu cần.
balance

7. Ưu điểm và Nhược điểm

thumb_up

7.1. Ưu điểm nổi bật

  • trending_down

    Giảm thiểu khối lượng công việc

    Giảm đáng kể thời gian và nỗ lực viết Test Case mà không hy sinh chất lượng đầu ra.

  • verified

    Độ che phủ cấu trúc tốt

    Đảm bảo mức độ bao phủ toàn diện (Coverage) cho những kết hợp cặp phổ biến nhất gây ra lỗi.

  • savings

    Tối ưu hóa tài nguyên

    Rất hữu ích khi dự án có ngân sách hẹp hoặc thời gian Release gấp rút (Agile/Scrum).

  • automation

    Cơ sở cho Tự động hóa

    Tạo ra tập dữ liệu hoàn hảo để nuôi các kịch bản kiểm thử tự động (Data-driven testing).

warning

7.2. Hạn chế cần lưu ý

  • disabled_visible

    Không bắt được lỗi tương tác đa biến

    Sẽ thất bại nếu lỗi chỉ sinh ra khi 3, 4 hoặc nhiều yếu tố hội tụ cùng một lúc (Tương tác n-way cao).

  • link_off

    Bỏ qua sự phụ thuộc logic

    Giả định các tham số là hoàn toàn độc lập. Nếu tham số A quyết định giá trị của tham số B, kiểm thử cặp có thể sinh ra ca kiểm thử vô nghĩa.

  • quiz

    Không hiểu ngữ cảnh Business

    Chỉ dùng toán học. Có thể nó sẽ vô tình bỏ sót một chu trình nghiệp vụ quan trọng mà người dùng thực tế hay dùng, chỉ vì chu trình đó không phải là sự kết hợp "đầu tiên".

  • psychology_alt

    Phụ thuộc kỹ năng phân tích

    Nếu ngay từ đầu người Test xác định sai hoặc thiếu các giá trị biên của tham số, toàn bộ mảng trực giao sẽ trở nên kém hiệu quả.

fact_check

8. Lời khuyên: Khi nào nên áp dụng?

task_alt

Được Khuyến Khích

  • check

    Các form đăng ký, biểu mẫu với nhiều ô nhập liệu, dropdown, radio button.

  • check

    Kiểm thử phần mềm trên nhiều Cấu hình môi trường (Trình duyệt + Hệ điều hành + Kích thước màn hình).

  • check

    Kiểm thử ứng dụng thương mại điện tử với nhiều tiêu chí thanh toán và giao hàng.

  • check

    Khi dự án rơi vào tình trạng thiếu thời gian trầm trọng nhưng bắt buộc phải có chứng nhận chất lượng.

do_not_disturb_on

Nên Hạn Chế

  • close

    Hệ thống Y tế, Hệ thống Điều khiển bay, hoặc Phần mềm tài chính cốt lõi (Yêu cầu Exhaustive Testing).

  • close

    Hệ thống có các luồng dữ liệu phụ thuộc logic chặt chẽ (Cái này phải True thì cái kia mới được xuất hiện).

  • close

    Ứng dụng có số lượng tham số quá ít (Ví dụ chỉ có 2-3 tham số với 2 trạng thái). Lúc này thà test toàn diện còn nhanh hơn việc phân tích cặp.

Chìa khóa thành công:

Hãy kết hợp Pairwise Testing với các kỹ thuật Phân tích Giá trị biên (Boundary Value Analysis) và Đoán lỗi (Error Guessing) để thiết lập một hàng rào bảo vệ vững chắc nhất cho sản phẩm phần mềm của bạn.

Mục lục
1. Tổng quan về Kiểm Thử Cặp
Định nghĩa cơ bản
Cơ sở khoa học
2. Tại sao cần sử dụng Kiểm Thử Cặp?
2.1. Vấn đề của Kiểm thử toàn diện (Exhaustive Testing)
2.2. Giải pháp mang tên Kiểm thử Cặp
3. Nguyên lý hoạt động của Kiểm Thử Cặp
3.1. Dựa trên Mảng trực giao (Orthogonal Array)
3.2. Quy tắc sinh ca kiểm thử
4. Ví dụ minh họa chi tiết
4.1 & 4.2. Phân tích bài toán & Tham số
4.3. Các cặp giá trị có thể xảy ra (Pairs)
4.4. Bảng ca kiểm thử tối ưu (Test Cases)
5. Quy trình thực hiện Kiểm thử Cặp
Liệt kê tham số
Xác định giá trị
Nhập vào công cụ
Thu thập & Thực thi
6. Công cụ hỗ trợ Kiểm thử Cặp phổ biến
PICT
Hexawise
ACTS
AllPairs
7. Ưu điểm và Nhược điểm
7.1. Ưu điểm nổi bật
7.2. Hạn chế cần lưu ý
8. Lời khuyên: Khi nào nên áp dụng?
Được Khuyến Khích
Nên Hạn Chế
Khoá học liên quan
Khóa học Tester: Lý thuyết Kiểm thử phần mềm cơ bản từ A-Z

2.371 xem 12 kiến thức 5 đề thi

Kiến thức tương tự
img
Lý thuyết kiểm thử phần mềm: KT Phân tích Giá trị Biên BVA

21.038 lượt xem 11/04/2026

img
Lý thuyết Kiểm thử: KT theo ca sử dụng (Use Case Testing)

21.122 lượt xem 11/04/2026

img
Lý thuyết Kiểm Thử: KT CD Trạng Thái (State Transition Test)

21.101 lượt xem 11/04/2026

img
Lý thuyết Kiểm thử phần mềm: Quy trình & Vòng đời SDLC STLC

20.974 lượt xem 11/04/2026

img
Lý thuyết Kiểm thử phần mềm: Các thuật ngữ quan trọng

20.945 lượt xem 11/04/2026

img
Lý thuyết kiểm thử phần mềm: PP phân vùng tương đương

21.069 lượt xem 11/04/2026

img
Lý thuyết kiểm thử phần mềm: Lập kế hoạch và chiến lược test

20.991 lượt xem 11/04/2026

img
Lý thuyết kiểm thử phần mềm: Test Case & Test Data

21.011 lượt xem 11/04/2026

img
Lý thuyết Kiểm thử Phần mềm: Bảng quyết định Decision Table

21.093 lượt xem 11/04/2026