A.4  Ánh xạ các đặc tính chất lượng đến các kỹ thuật thiết kế kiểm thử

A.4.1  Ánh xạ

Các kỹ thuật thiết kế kiểm thử được miêu tả trong phần này có thể được sử dụng để kiểm thử nhiều đặc tính chất lượng trong Hình A.1. Bảng dưới đây là một ví dụ về việc ánh xạ giữa chúng.

Bảng A.2 - Ánh xạ các kỹ thuật thiết kế kiểm thử đến các phương pháp đo chất lượng sản phẩm đối với các đặc tính sản phẩm trong ISO/1EC 25010

Kỹ thuật thiết kế kiểm thử

Các đặc tính chính của chất lượng phần mềm trong ISO/IEC 25010

Các đặc tính con của chất lượng phần mềm trong ISO/IEC 25010

Các kỹ thuật thiết kế kiểm thử dựa trên đặc tả

Phân tích giá trị biên

...

...

...

Tính năng đầy đủ

Tính năng chính xác

Tính năng thích hợp

Tính hiệu quả

Đáp ứng thời gian

Dung lượng

Tính khả dụng

Bảo vệ lỗi người dùng

Kỹ thuật thiết kế kiểm thử

...

...

...

Các đặc tính con của chất lượng phần mềm trong ISO/IEC 25010

Độ tin cậy

Khả năng chịu lỗi

Tính an toàn

Tính bí mật

Tính toàn vẹn

Đồ thị nguyên nhân - kết quả

Tính năng phù hợp

Tính năng đầy đủ

...

...

...

Tính năng thích hợp

Tính khả dụng

Bảo vệ lỗi người dùng

Tính tương thích

Khả năng cùng tồn tại

Phương pháp phân loại cây

Tính năng phù hợp

Tính năng đầy đủ

Tính năng chính xác

...

...

...

Tính khả dụng

Bảo vệ lỗi người dùng

Kỹ thuật kiểm thử tổ hợp

Tính năng phù hợp

Tính năng đầy đủ

Tính năng chính xác

Tính năng thích hợp

Tính tương thích

Khả năng cùng tồn tại

...

...

...

Đáp ứng thời gian

Tính khả dụng

Bảo vệ lỗi người dùng

Kiểm thử bảng quyết định

Tính năng phù hợp

Tính năng đầy đủ

Tính năng chính xác

Tính năng thích hợp

Tính tương thích

...

...

...

Tính khả dụng

Bảo vệ lỗi người dùng

Phân vùng tương đương

Tính năng phù hợp

Tính năng đầy đủ

Tính năng chính xác

Tính năng thích hợp

Tính khả dụng

Bảo vệ lỗi người dùng

...

...

...

Tính có thể dùng được

Tính an toàn

Tính bí mật

Tính toàn vẹn

Tính không chối bỏ

Tính trách nhiệm

Tính xác thực

Kiểm thử ngẫu nhiên

Tính năng phù hợp

...

...

...

Tính năng chính xác

Tính năng thích hợp

Tính hiệu quả

Đáp ứng thời gian

Sử dụng tài nguyên

Dung lượng

Độ tin cậy

Tính hoàn thiện

Tính có thể dùng được

...

...

...

Khả năng phục hồi

Tính an toàn

Tính bí mật

Tính toàn vẹn

Tính không chối bỏ

Tính trách nhiệm

Tính xác thực

Kiểm thử theo kịch bản

Tính năng phù hợp

...

...

...

Tính năng chính xác

Tính năng thích hợp

Tính khả dụng

Tính dễ học

Khả năng vận hành

Bảo vệ lỗi người dùng

Tính thẩm mỹ giao diện người dùng

Khả năng truy cập

Tính có thể nhận ra

...

...

...

Tính năng phù hợp

Tính năng đầy đủ

Tính năng chính xác

Tính năng thích hợp

Độ tin cậy

Tính hoàn thiện

Tính có thể dùng được

Khả năng chịu lỗi

Khả năng phục hồi

...

...

...

Tính năng phù hợp

Tính năng đầy đủ

Tính năng chính xác

Tính năng thích hợp

Kiểm thử các trường hợp sử dụng

Tính năng phù hợp

Tính năng đầy đủ

Tính năng chính xác

Tính năng thích hợp

...

...

...

Tính dễ học

Khả năng vận hành

Bảo vệ lỗi người dùng

Tính thẩm mỹ giao diện người dùng

Khả năng truy cập

Tính có thể nhận ra

Các kỹ thuật thiết kế kiểm thử dựa trên cấu trúc

Kiểm thử kết hợp điều kiện nhánh

Tính năng phù hợp

...

...

...

Tính năng chính xác

Tính năng thích hợp

Kiểm thử điều kiện nhánh

Tính năng phù hợp

Tính năng đầy đủ

Tính năng chính xác

Tính năng thích hợp

Kiểm thử nhánh

Tính năng phù hợp

...

...

...

Tính năng chính xác

Tính năng thích hợp

Kiểm thử luồng dữ liệu

Tính năng phù hợp

Tính năng đầy đủ

Tính năng chính xác

Tính năng thích hợp

kiểm thử dựa trên bảng quyết định

Tính năng phù hợp

...

...

...

Tính năng chính xác

Tính năng thích hợp

Kiểm thử bao phủ quyết định điều kiện thay đổi (kiểm thử MCDC)

Tính năng phù hợp

Tính năng đầy đủ

Tính năng chính xác

Tính năng thích hợp

Kiểm thử câu lệnh

Tính năng phù hợp

...

...

...

Tính năng chính xác

Tính năng thích hợp

Các kỹ thuật thiết kế kiểm thử dựa trên kinh nghiệm

Đoán lỗi

Tính năng phù hợp

Tính năng đầy đủ

Tính năng chính xác

Tính năng thích hợp

Tính hiệu quả

...

...

...

Sử dụng tài nguyên

Dung lượng

Tính khả dụng

Tính dễ học

Khả năng vận hành

Bảo vệ lỗi người dùng

Độ tin cậy

Khả năng chịu lỗi

...

...

...

(Tham khảo)

Hướng dẫn và ví dụ về việc áp dụng các kỹ thuật thiết kế kiểm thử dựa trên đặc tả

B.1  Hướng dẫn và ví dụ về các kỹ thuật thiết kế kiểm thử dựa trên đặc tả

B.1.1  Tổng quan

Phụ lục này đưa ra hướng dẫn về việc áp dụng các kỹ thuật thiết kế kiểm thử dựa trên đặc tả nêu trong Điều 5.2 và tính độ bao phủ các kỹ thuật kiểm thử dựa trên đặc tả trong Điều 6.2 bằng các ví dụ riêng. Mỗi ví dụ đều dựa theo quy trình Thiết kế và chuẩn bị kiểm thử được định nghĩa trong TCVN 12849-2:2020 (ISO/IEC/IEEE 29119-2:2013). Mặc dù mỗi ví dụ được áp dụng cho kiểm thử dựa trên đặc tả, nhưng trong thực tế, như đă nêu trong Điều 5.1 thì hầu hết các kỹ thuật kiểm thử được định nghĩa trong tiêu chuẩn này có thể được sử dụng thay thế cho nhau (ví dụ: kỹ thuật phân tích giá trị biên có thể được sử dụng để kiểm thử các đầu vào cho một chương trình thông qua giao diện người dùng hoặc các biên của các biến trong mã nguồn chương trình).

B.2  Các ví dụ về kỹ thuật thiết kế kiểm thử dựa trên đặc tả

B.2.1  Phân vùng tương đương

B.2.1.1  Giới thiệu

Mục đích của phân vùng tương đương xây dựng một bộ các ca kiểm thử mà bao gồm các phân vùng đầu vào và đầu ra của hạng mục kiểm thử theo mức độ bao phủ phân lớp tương đương được lựa chọn. Phân vùng tương đương được dựa trên giả thuyết rằng các đầu vào và đầu ra của một hạng mục kiểm thử có thể được phân chia thành các lớp dữ liệu dựa theo cơ sở kiểm thử đối với các hạng mục kiểm thử, sẽ được xử lý tương tự theo các hạng mục kiểm thử. Do đó, kết quả của việc kiểm thử bất kỳ một giá trị nào trong một phân vùng tương đương có thể được đại diện cho kết quả kiểm thử các giá trị khác trong phân vùng đó.

...

...

...

Hãy xem xét một hạng mục kiểm thử tạo điểm với cơ sở kiểm thử sau:

Nếu thành phần nhận được điểm thi (theo thang điểm 75) và điểm luận văn (c/w) (theo thang điểm 25) là các đầu vào, từ đó có thể tính được điểm cho khóa học, điểm của khóa học được phân loại thành các điểm từ loại 'A' đến điểm loại 'D'. Các điểm này được đưa ra căn cứ vào cách tính toán điểm tổng. Điểm tổng bằng điểm thi và điểm luận văn (c/w) cộng lại với nhau, do đó chúng ta có các phân vùng sau:

Điểm tổng lớn hơn hoặc bằng 70 - đạt điểm A

Điểm tổng lớn hơn hoặc bằng 50, nhưng nhỏ hơn 70 - đạt điểm B

Điểm tổng lớn hơn hoặc bằng 30, nhưng nhỏ hơn 50 - đạt điểm C

Điểm tổng nhỏ hơn 30 - đạt điểm D

Nếu phát hiện (các) đầu vào không hợp lệ (ví dụ như điểm nằm ngoài giới hạn quy định) thì sẽ xuất hiện bản tin lỗi ('FM'). Tất cả các điểm đầu vào mà đạt phải là các số nguyên.

B.2.1.3  Bước 1: Xác định các tập tính năng (TD1)

Vì chỉ có một hạng mục kiểm thử được định nghĩa trong cơ sở kiểm thử nên chỉ có một tập tính năng (FS) được tạo ra, đó là:

...

...

...

B.2.1.4  Bước 2: Xác định các điều kiện kiểm thử (TD2)

Trong phân vùng tương đương, các phân vùng tương đương là các điều kiện kiểm thử (TCOND). Các phân vùng tương đương được xác định dựa theo đầu vào và đầu ra của hạng mục kiểm thử. Do đó khi xác định các phân vùng tương đương cần phải lưu ý tất cả các đầu vào và đầu ra hợp lệ và không hợp lệ.

Trước tiên xác định được các phân vùng hợp lệ cho đầu vào điểm thi và điểm luận văn. Các phân vùng hợp lệ này bao gồm:

TCOND1:

TCOND2:

0 ≤ điểm thi ≤ 75

0 ≤ điểm luận văn ≤ 25

(đối với tập tính năng FS1)

(đối với tập tính năng FS1)

...

...

...

TCOND3

TCOND4

TCOND5

TCOND6

Điểm thi < 0

Điểm thi > 75

Điểm luận văn < 0

Điểm luận văn > 25

(đối với tập tính năng FS1)

...

...

...

(đối với tập tính năng FS1)

(đối với tập tính năng FS1)

Các giá trị được phân vùng tương đương có thể được biểu diễn trong hình dưới đây, do đó, đối với đầu vào là điểm thi, chúng ta có:

Hình B.1 - Đầu vào “điểm thi”

Đối với đầu vào là điểm luận văn, chúng ta có:

Hình B.2 - Đầu vào “điểm luận văn”

Các phân vùng đầu vào không hợp lệ có thể bao gồm các dạng đầu vào không phải là số nguyên, đầu vào không phải là chữ số. Vì vậy, chúng ta có thể tạo ra được các phân vùng tương đương đối với đầu vào không hợp lệ dưới đây:

...

...

...

TCOND8

TCOND9

TCOND10

TCOND11

TCOND12

Điểm thi = số thực có phần thập phân

Điểm thi = chữ cái

Điểm thi = ký tự đặc biệt

Điểm luận văn = số thực có phần thập phân

...

...

...

Điểm luận văn = ký tự đặc biệt

(đối với FS1)

(đối với FS1)

(đối với FS1)

(đối với FS1)

(đối với FS1)

(đối với FS1)

Tiếp theo, có thể xác định được các phân vùng tương đương đối với các đầu ra hợp lệ:

TCOND13: Điểm A được tạo ra bởi 70 ≤ điểm tổng ≤ 100

...

...

...

TCOND15: Điểm C được tạo ra bởi 30 ≤ điểm tổng ≤ 50

TCOND16: Điểm D được tạo ra bởi 0 ≤ điểm tổng ≤ 30

TCOND17: Bản tin lỗi’ (FM) được tạo ra bởi điểm tổng >100

TCOND18: Bản tin lỗi’ (FM) được tạo ra bởi điểm tổng < 0

TCOND19: Bản tin lỗi’ (FM) được tạo ra bởi các đầu vào không phải là số nguyên

(đối với FS1)

(đối với FS1)

(đối với FS1)

(đối với FS1)

...

...

...

(đối với FS1)

(đối với FS1)

Trong đó: Điểm tổng = điểm thi + điểm luận văn. Chú ý: “Bản tin lỗi” được coi là một đầu ra hợp lệ theo quy định.

Các phân vùng tương đương và các biên đối với điểm tổng được trình bày trong hình dưới đây:

Hình B.3 - Các phân vùng tương đương và các biên đối với điểm tổng

Đầu ra không hợp lệ sẽ là bất kỳ đầu ra nào của hạng mục kiểm thử mà khác so với bất kỳ năm đầu ra đã xác định, có thể rất khó khăn khi xác định các đầu ra không xác định. Tuy nhiên, phải lưu ý đến chúng nếu không sẽ bị thiếu khi xác định hạng mục kiểm thử, cơ sở kiểm thử hoặc cả hai. Trong ví dụ này có ba đầu ra không xác định dưới đây. Việc xác định các phân vùng tương đương đầu ra không hợp lệ này mang tính chủ quan và các kỹ sư kiểm thử khác nhau có thể xác định được các phận vùng khác nhau mà họ cảm thấy có thể xảy ra (vần đề này được miêu tả trong Điều 5.2.1.1, CHÚ THÍCH 2).

TCOND20:

Đầu ra = “điểm loại E”, trong trường hợp này điểm loại E (không hợp lệ) được bổ sung thêm khi điểm tổng nằm trong phạm vi từ 0 đến 15 điểm

...

...

...

TCOND21:

Đầu ra = “điểm A+”, trong trường hợp này điểm A+ (không hợp lệ) được bổ sung thêm khi điểm tổng nằm trong phạm vi từ 90 đến 100

(đối với FS1)

TCOND22:

Đầu ra = ‘null’, trong trường hợp có thể tạo ra được một đầu ra ‘null’

(đối với FS1)

B.2.1.5  Bước 3: Xác định các hạng mục bao phủ kiểm thử (TD3)

Đối với kỹ thuật phân vùng tương đương, các hạng mục bao phủ kiểm thử là các phân vùng đã được xác định ở bước trên (tức là trong kỹ thuật này, các điều kiện kiểm thử tương tự như các hạng mục bao phủ kiểm thử). Do đó, có thể xác định được 22 hạng mục bao phủ kiểm thử sau đây.

TCOVER1: 0 ≤ điểm thi ≤ 75

...

...

...

TCOVER2: 0 ≤ điểm luận văn ≤ 25

(đối với TCOND2)

TCOVER3: Điểm thi < 0

(đối với TCOND3)

TCOVER4: Điểm thi > 75

(đối với TCOND4)

TCOVER5: Điểm luận văn < 0

(đối với TCOND5)

TCOVER6: Điểm luận văn > 25

...

...

...

TCOVER7: Điểm thi = số thực có phần thập phân

(đối với TCOND7)

TCOVER8: Điểm thi = chữ cái

(đối với TCOND8)

TCOVER9: Điểm thi = ký tự đặc biệt

(đối với TCOND9)

TCOVER10: Điểm luận văn = số thực có phần thập phân

(đối với TCOND10)

TCOVER11: Điểm luận văn = chữ cái

...

...

...

TCOVER12: Điểm luận văn = ký tự đặc biệt

(đối với TCOND12)

TCOVER13: Điểm A được tạo ra bởi 70 ≤ điểm tổng ≤ 100

(đối với TCOND13)

TCOVER14: Điểm B được tạo ra bởi 50 ≤ điểm tổng ≤ 70

TCOVER15: Điểm C được tạo ra bởi 30 ≤ điểm tổng ≤ 50

TCOVER16: Điểm D được tạo ra bởi 0 ≤ điểm tổng ≤ 30

TCOVER17: Bản tin lỗi’ (FM) được tạo ra bởi điểm tổng >100

TCOVER18: Bản tin lỗi' (FM) được tạo ra bởi điểm tổng < 0

...

...

...

(đối với TCOND14)

(đối với TCOND15)

(đối với TCOND16)

(đối với TCOND17)

(đối với TCOND18)

(đối với TCOND19)

TCOVER20: Đầu ra = điểm loại E

TCOVER21: Đầu ra = điểm A+

TCOVER22: Đầu ra = ‘null’

...

...

...

(đối với TCOND21)

(đối với TCOND22)

B.2.1.6  Bước 4: Xây dựng các ca kiểm thử (TD4)

B.2.1.6.1  Các Tùy chọn

Đã xác định được các phân vùng tương đương và các hạng mục bao phủ kiểm thử, bước này chúng ta xây dựng các ca kiểm thử nhằm nỗ lực "thực hiện" từng hạng mục bao phủ kiểm thử. Có hai phương pháp phổ biến dùng để thiết kế các ca kiểm thử là phương pháp phân vùng tương đương một - một và phương pháp phân vùng tương đương tối thiểu hóa (có thể sử dụng các phương pháp khác khi kết hợp các hạng mục bao phủ kiểm thử được thực hiện bởi ca kiểm thử nêu trong Điều 5.2.5). Ở phương pháp thứ nhất, một ca kiểm thử được tạo ra cho mỗi phân vùng được xác định trên cơ sở một - một (xem tùy chọn 4a dưới đây), ở phương pháp thứ hai, chỉ thiết kế một số lượng tối thiểu các ca kiểm thử để bao phủ tất cả các phân vùng đã xác định (xem tùy chọn 4b dưới đây). Các điều kiện tiên quyết của tất cả các ca kiểm thử dựa trên tập tính năng hàm tạo-điểm đều giống nhau, do đó việc áp dụng để xác định các đầu vào điểm thi và điểm luận văn rất dễ dàng.

B.2.1.6.2  Tùy chọn 4a: Xây dựng các ca kiểm thử theo phương pháp phân vùng tương đương một-một (TD4)

Phương pháp phân vùng tương đương một-một cho thấy sự liên kết giữa các phân vùng tương đương và các ca kiểm thử. Trong phương pháp này, một ca kiểm thử chỉ bao phủ một và chỉ một hạng mục bao phủ kiểm thử. Do đó, có hai mươi hai hạng mục bao phủ kiểm thử được xác định ở bước trên sẽ có hai mươi hai ca kiểm thử.

Các ca kiểm thử tương ứng với các phân vùng được xác định từ đầu vào điểm thi được trình bày dưới đây. Lưu ý rằng đầu vào điểm luận văn trong bảng dưới đây được lấy một giá trị hợp lệ tùy ý là 15. Việc phân bổ một giá trị hợp lệ tùy ý cho tất cả đầu vào trong ca kiểm thử (trừ các trương hợp đang được kiểm thử) được thực hiện cho tất cả các ca kiểm thử trong điều khoản này.

Bảng B.1 - Các ca kiểm thử đối với đầu vào điểm thi

...

...

...

1

2

3

Đầu vào (điểm thi)

60

-10

93

Đầu vào (điểm luận văn)

15

...

...

...

15

Điểm tổng (điểm thi + điểm luận văn)

75

5

108

Hạng mục bao phủ kiểm thử

TCOVER1

TCOVER3

TCOVER4

...

...

...

0 ≤ e ≤ 75

e < 0

e >75

Đầu ra mong đợi

điểm A

Bản tin lỗi

Bản tin lỗi

Các ca kiểm thử tương ứng với các phân vùng được tạo ra từ đầu vào điểm luận văn là:

Bảng B.2 - Các ca kiểm thử đối với đầu vào điểm luận văn

...

...

...

4

5

6

Đầu vào (điểm thi)

40

40

40

Đầu vào (điểm luận văn)

20

...

...

...

47

Điểm tổng (điểm thi + điểm luận văn)

60

25

87

Hạng mục bao phủ kiểm thử

TCOVER2

TCOVER5

TCOVER6

...

...

...

0 ≤ c ≤ 25

c < 0

c > 25

Đầu ra mong đợi

Điểm B

Bản tin lỗi

Bản tin lỗi

Các ca kiểm thử tương ứng với các phân vùng được tạo ra các từ đầu vào không hợp lệ là:

Bảng B.3 - Các ca kiểm thử đối với đầu vào không hợp lệ cho điểm thi

...

...

...

7

8

9

Đầu vào (điểm thi)

60.5

Q

$

Đầu vào (điểm luận văn)

15

...

...

...

15

Điểm tổng (điểm thi + điểm luận văn)

75.5

không tính được

không tính được

Hạng mục bao phủ kiểm thử

TCOVER7

TCOVER8

TCOVER9

...

...

...

điểm thi = số thực có phần thập phân

điểm thi = chữ cái

điểm thi = ký tự đặc biệt

Đầu ra mong đợi

Bản tin lỗi

Bản tin lỗi

Bản tin lỗi

Bảng B.4 - Các ca kiểm thử đối với đầu vào không hợp lệ cho điểm luận văn

Ca kiểm thử

...

...

...

11

12

Đầu vào (điểm thi)

40

40

40

Đầu vào (điểm luận văn)

20.23

G

...

...

...

Điểm tổng (điểm thi + điểm luận văn)

60.23

không tính được

không tính được

Hạng mục bao phủ kiểm thử

TCOVER10

TCOVER11

TCOVER12

Phân vùng kiểm thử

...

...

...

điểm luận văn = chữ cái

điểm luận văn = ký tự đặc biệt

Đầu ra mong đợi

Bản tin lỗi

Bản tin lỗi

Bản tin lỗi

Các ca kiểm thử tương ứng với các phân vùng được tạo ra các từ đầu ra hợp lệ là:

Bảng B.5 - Các ca kiểm thử đối với đầu ra hợp lệ điểm tổng

Ca kiểm thử

...

...

...

14

15

Đầu vào (điểm thi)

60

44

32

Đầu vào (điểm luận văn)

20

22

...

...

...

Điểm tổng (điểm thi + điểm luận văn)

80

66

45

Hạng mục bao phủ kiểm thử

TCOVER13

TCOVER14

TCOVER15

Phân vùng kiểm thử (của điểm tổng)

...

...

...

50 ≤ t < 70

30 ≤ t < 50

Đầu ra mong đợi

Điểm A

Điểm B

Điểm C

Bảng B.6 - Các ca kiểm thử đối với đầu ra hợp lệ điểm tổng

Ca kiểm thử

16

...

...

...

18

Đầu vào (điểm thi)

12

80

-10

Đầu vào (điểm luận văn)

5

60

-10

...

...

...

17

140

-20

Hạng mục bao phủ kiểm thử

TCOVER16

TCOVER17

TCOVER18

Phân vùng kiểm thử (của điểm tổng (t))

0 ≤ t < 30

...

...

...

t<0

Đầu ra mong đợi

Điểm D

Bản tin lỗi

Bản tin lỗi

Các giá trị đầu vào của điểm thi và điểm luận văn được tạo ra từ điểm tổng, tức là tổng điểm của điểm thi và điểm luận văn.

Các ca kiểm thử tương ứng với các phân vùng được tạo ra từ các đầu ra không hợp lệ là:

Bảng B.7 - Các ca kiểm thử đối với đầu ra không hợp lệ điểm tổng

Ca kiểm thử

...

...

...

20

21

22

Đầu vào (điểm thi)

47.3

5

72

Null

Đầu vào (điểm luận văn)

...

...

...

5

23

Null

Điểm tổng (điểm thi + điểm luận văn)

-

10

95

-

Hạng mục bao phủ kiểm thử

...

...

...

TCOVER20

TCOVER21

TCOVER22

Phân vùng kiểm thử (đầu ra)

Bản tin lỗi

điểm loại E

điểm A+

‘Null’

Phân vùng (của điểm tổng)

...

...

...

0 ≤ t ≤ 15

90 ≤ t ≤ 100

-

Đầu ra mong đợi

Bản tin lỗi

Điểm D

Điểm A

Bản tin lỗi

Tùy thuộc vào quy trình Thiết kế và chuẩn bị kiểm thử, có thể không thể thực hiện được các ca kiểm thử có chứa các giá trị đầu vào không hợp lệ (ví dụ: các ca kiểm thử 2, 3, 5 đến 12 và các ca kiểm thử từ 17 đến 22 trong ví dụ trên). Chẳng hạn như trong ngôn ngữ lập trình Ada, nếu các biến đầu vào được khai báo là một số nguyên dương thì không thể gán giá trị âm cho nó. Mặc dù vậy, vẫn cần phải xem xét tất cả các ca kiểm thử.

...

...

...

Điều B.2.1.6.2 ở trên cho thấy, có một số ca kiểm thử tương tự nhau, chẳng hạn như ca kiểm thử 1 và 13, sự khác biệt chính giữa chúng là hạng mục bao phủ kiểm thử cụ thể được lựa chọn từ các phân vùng mục tiêu. Do hạng mục kiểm thử ở ví dụ này có hai đầu vào và một đầu ra nên mỗi ca kiểm thử "bao phủ" ba phân vùng tương đương, đó là: hai phân vùng đầu vào và một phân vùng đầu ra. Do đó, chúng ta vẫn có thể tạo ra được một bộ kiểm thử nhỏ hơn "đã tối thiểu hóa" mà vẫn "bao phủ" tất cả các phân vùng đã xác định bằng cách xây dựng các ca kiểm thử mà bao phủ nhiều hơn một phân vùng.

Trong ví dụ này, có thể tạo ra được mười hai ca kiểm thử đã tối thiểu hóa dưới đây theo phương pháp phân vùng tương đương tối thiểu hóa, mỗi ca kiểm thử được thiết kế để bao phủ càng nhiều phân vùng sẽ tốt hơn là chỉ bao phủ một phân vùng.

Bảng B.8 - Các ca kiểm thử tối thiểu hóa

Ca kiểm thử

1

2

3

4

Đầu vào (điểm thi)

...

...

...

50

35

19

Đầu vào (điểm luận văn)

20

16

10

8

Điểm tổng (điểm thi + điểm luận văn)

...

...

...

66

45

27

Hạng mục bao phủ kiểm thử

TCOVER1,

TCOVER2,

TCOVER13

TCOVER1,

TCOVER2,

...

...

...

TCOVER1,

TCOVER2,

TCOVER15

TCOVER1,

TCOVER2,

TCOVER16

Phân vùng (của điểm thi)

0 ≤ e ≤ 75

0 ≤ e ≤ 75

...

...

...

0 ≤ e ≤ 75

Phân vùng (của điểm luận văn)

0 ≤ c ≤ 25

0 ≤ c ≤ 25

0 ≤ c ≤ 25

0 ≤ c ≤ 25

Phân vùng (của điểm tổng)

70 ≤ t ≤ 100

50 ≤ t < 70

...

...

...

0 ≤ t < 30

Đầu ra mong đợi

điểm A

điểm B

điểm C

điểm D

Bảng B.9 - Các ca kiểm thử tối thiểu hóa (tiếp theo)

Ca kiểm thử

5

...

...

...

7

8

Đầu vào (điểm thi)

-10

93

60.5

Q

Đầu vào (điểm luận văn)

-15

...

...

...

20.23

G

Điểm tổng (điểm thi + điểm luận văn)

-25

140

80.73

-

Hạng mục bao phủ kiểm thử

TCOVER3,

...

...

...

TCOVER7,

TCOVER8,

TCOVER5,

TCOVER6,

TCOVER10,

TCOVER11,

TCOVER18

...

...

...

TCOVER13,

TCOVER19

TCOVER19

Phân vùng (của điểm thi)

e < 0

e > 75

e = Số thực có phần thập phân

e = chữ cái

Phân vùng (của điểm luận văn)

...

...

...

c > 25

c = Số thực có phần thập phân

c = chữ cái

Phân vùng (của điểm tổng)

t<0

t > 100

70 ≤ t ≤ 100

-

Đầu ra mong đợi

...

...

...

Bản tin lỗi

Bản tin lỗi

Bản tin lỗi

Bảng B.10 - Các ca kiểm thử tối thiểu hóa (tiếp theo)

Ca kiểm thử

9

10

11

12

...

...

...

$

5

72

‘Null’

Đầu vào (điểm luận văn)

@

5

23

‘Null’

...

...

...

10

95

-

Ca kiểm thử

9

10

11

12

...

...

...

TCOVER9,

COVER12,

TCOVER19

TCOVER1,

TCOVER2,

TC0VER16,

TCOVER20

TCOVER1,

TCOVER2,

...

...

...

TCOVER21

TCOVER19,

TCOVER22

Phân vùng (của điểm thi)

e = ký tự đặc biệt

0 ≤ e ≤ 75

0 ≤ e ≤ 75

-

Ca kiểm thử

...

...

...

10

11

12

Phân vùng (của điểm luận văn)

c = ký tự đặc biệt

0 ≤ c ≤ 25

0 ≤ c ≤ 25

-

Phân vùng (của điểm tổng)

...

...

...

0 < t ≤ 15

90 ≤ t ≤ 100

Phân vùng (của đầu ra)

-

điểm loại E

điểm A+

‘Null'

Đầu ra mong đợi

...

...

...

điểm D

điểm A

Bản tin lỗi

Các phương pháp phân vùng tương đương một-một và phương pháp phân vùng tương đương tối thiểu hóa đại diện cho hai phương pháp khác nhau mà có thể được sử dụng để xây dựng các ca kiểm thử cho kỹ thuật phân vùng tương đương. Các ca kiểm thử được xây dựng theo phương pháp một-một đặc biệt hữu ích cho kiểm thử các điều kiện lỗi (tức là khi chúng ta đang mong muốn đầu ra là các bản tin lỗi), ví dụ, để làm giảm khả năng là ngừng xử lý một điều kiện lỗi và/ hoặc che giấu hoặc ngăn chặn các điều kiện lỗi khác. Nói cách khác, nhược điểm của phương pháp phân vùng tương đương một-một là đòi hỏi phải thiết kế nhiều ca kiểm thử hơn. Nếu phương pháp một - một này sinh nhiều vấn đề thì có thể sử dụng phương pháp tối thiểu hóa. Nhược điểm của phương pháp phân vùng tương đương tối thiểu hóa là trong trường hợp xảy ra lỗi kiểm thử thì khó xác định nguyên nhân do một số phân vùng mới được thực hiện cùng thời điểm. Vì vậy, cách tốt nhất là kết hợp hai phương pháp này lại bằng cách áp dụng phương pháp phân vùng tương đương tối thiểu hóa để thiết kế ca kiểm thử hợp lệ và phương pháp phân vùng tương đương một-một đê thiết kế ca kiểm thử không hợp lệ.

B.2.1.7  Bước 5: Tập hợp các bộ kiểm thử (TD5)

B.2.1.7.1  Các tùy chọn

Giả sử có thể tự động kiểm tra đáp ứng chấp nhận/ từ chối đối với từng ca kiểm thử, nhưng kiểm thử tự động không thể xử lý các bản tin lỗi (FM) thì chúng ta có thể tạo ra hai bộ kiểm thử (TS); một cho kiểm thử thủ công và một cho kiểm thử tự động.

B.2.1.7.2  Tùy chọn 5a: Tập hợp bộ kiểm thử đối với phân vùng tương đương một-một (TD5)

TS1: Kiểm thử thủ công - các ca kiểm thử 2, 3, 5, 6, 7, 8, 9,10,11,12,17,18, 19, 22.

...

...

...

B.2.1.7.3  Tùy chọn 5b: Tập hợp bộ kiểm thử đối với phân vùng tương đương tối thiểu hóa (TD5)

TS3: Kiểm thử thủ công - các ca kiểm thử 5, 6, 7, 8, 9, 12.

TS4: Kiểm thử tự động - các ca kiểm thử 1, 2, 3, 4, 10, 11.

B.2.1.8  Bước 6: Xác định các thủ tục kiểm thử (TD6)

B.2.1.8.1  Các tùy chọn

Bây giờ có thể tạo được các thủ tục kiểm thử đối với phân vùng tương đương một-một và phân vùng tương đương tối thiểu hóa.

B.2.1.8.2  Tùy chọn 6a: Xác định các thủ tục kiểm thử đối với phân vùng tương đương một-một (TD6)

Đối với các ca kiểm thử thủ công trong bộ kiểm thử TS1 dành cho phân vùng tương đương một-một, có thể xác định được một thủ tục kiểm thử (TP) như sau:

TP1: Kiểm thử thủ công, bao phủ tất cả các ca kiểm thử trong bộ kiểm thử TS1, theo thứ tự quy định trong bộ kiểm thử.

...

...

...

TP2: Kiểm thử tự động, bao phủ tất cả các ca kiểm thử trong bộ kiểm thử TS2, theo thứ tự quy định trong bộ kiểm thử.

Đối với thủ tục kiểm thử tự động TP2, mã tự động mà thực hiện các thủ tục cần phải được viết mã lệnh dạng đặc tả kịch bản kiểm thử tự động.

B.2.1.8.3  Tùy chọn 6b: Xác định các thủ tục kiểm thử đối với phân vùng tương đương tối thiểu hóa (TD6)

Đối với các ca kiểm thử trong bộ kiểm thử tối thiểu hóa TS3, có thể xác định một thủ tục kiểm thử (Tp) như sau:

TP3: Kiểm thử thủ công, bao phủ tất cả các ca kiểm thử trong TS3, theo thứ tự quy định trong bộ kiểm thử.

Đối với các ca kiểm thử trong bộ kiểm thử tối thiểu hóa TS4, có thể viết được một nhóm mã lệnh dạng đặc tả kịch bản để thực hiện tất cả các ca kiểm thử trong bộ kiểm thử dưới đây:

TP4: Kiểm thử tự động, bao phủ tất cả các ca kiểm thử trong TS4, theo thứ tự quy định trong bộ kiểm thử.

B.2.1.9  Độ bao phủ kỹ thuật phân lớp tương đương

Sử dung công thức đã nêu trong Điều 6.2.1 và các hạng mục bao phủ kiểm thử được xác định ở trên, ta có:

...

...

...

Do đó, độ bao phủ phân lớp tương đương đạt được là 100% đối với cả phương pháp phân vùng tương đương một-một và phân vùng tương đương tối thiểu hóa, cho phép tất cả hai mươi hai phân vùng đã xác định được thực hiện bởi ít nhất một ca kiểm thử. Có thể chỉ đạt được mức độ bao phủ thấp hơn khi tất cả các phân vùng đã xác định không được thực hiện hết. Nếu không xác định được tất cả các phân vùng tương đương thì bất kỳ phương pháp tính độ bao phủ nào dựa trên bộ không đầy đủ các phân vùng tương đương này có thể không chính xác. Tuy nhiên, việc phân tích hạng mục bao phủ khác nhau có thể xác định được các phân vùng tương đương khác nhau, đặc biệt là đối với các giá trị “không hợp lệ”, các phương pháp tính độ bao phủ đối với kỹ thuật phân vùng tương đương phải được coi như là các phân vùng “đã xác định”.

B.2.2  Phương pháp cây phân loại

B.2.2.1  Giới thiệu

Mục đích của cây phân loại lá xây dựng các ca kiểm thử bao phủ các phân vùng đầu vào của các hạng mục kiểm thử theo phân lớp tương đương đã chọn. Đối với phương pháp cây phân loại, phải xây dựng được một cây phân loại minh họa các phân vùng và hỗ trợ kỹ sư kiểm thử thiết kế các ca kiểm thử.

B.2.2.2  Đặc tả

Hãy xem xét cơ sở kiểm thử đối với một hạng mục kiểm thử sở thích_du lịch (travelpreference), trong đó ghi lại những sở thích du lịch của các nhân viên của một tổ chức người Úc đi du lịch đến các thành phố chính của Úc với mục đích công việc. Mỗi bộ sở thích du lịch được lựa chọn thông qua một loạt các nút radio, trong đó bao gồm những giá trị đầu vào sau:

Nơi đến = Adelaide, Brisbane, Canberra, Darwin, Hobart, Melbourne, Perth, Sydney

Hạng ghế = Hạng nhất, hạng thương gia, hạng phổ thông

...

...

...

Suất ăn = Suất ăn cho người mắc bệnh tiểu đường, suất ăn không có chất gluten, suất ăn cho người ăn chay (ăn trứng và sữa, kiêng thịt), suất ăn ít chất béo/ít cholesterol, suất ăn không có chất đường có trong sữa, suất ăn cho người ăn chay toàn rau, suất ăn theo tiêu chuẩn.

Bất kỳ sự kết hợp của một lớp từ mỗi phân lớp trên sẽ xuất hiện một bản tin "đăng ký trước được chấp nhận", ngược lại sẽ xuất hiện một bản tin báo lỗi "đầu vào không hợp lệ". Nhân viên không có tùy chọn khi lựa chọn không ăn, do đó tùy chọn này không được hỗ trợ trong ví dụ này.

B.2.2.3  Bước 1: Xác định các tập tính năng (TD1)

Vì chỉ có một hạng mục kiểm thử được xác định trong cơ sở kiểm thử, chỉ cần phải xác định một tập tính năng là:

FS1: Hàm sở thích du lịch (travel_preference)

B.2.2.4  Bước 2: Xác định các điều kiện kiểm thử (TD2)

Đối với phương pháp cây phân loại, các điều kiện kiểm thử được xác định bằng cách xác định được các phân lớp và các lớp cho từng tham số đầu vào.

TCOND1:

Nơi đến

...

...

...

TCOND2:

Hạng

(đối với tập tính năng FS1)

TCOND3:

Chỗ ngồi

(đối với tập tính năng FS1)

TCOND4:

Suất ăn

(đối với tập tính năng FS1)

...

...

...

Mỗi điều kiện kiểm thử trong số các điều kiện kiểm thử trong ví dụ này là một “phân lớp" (tức là một phân vùng). “Các lớp" (tức là các phân vùng con) và các lớp con có thể được tạo ra cho phân lớp suất ăn như sau:

Suất ăn (phân lớp) được phân loại thành suất ăn cho người ăn chay và suất ăn cho người không ăn chay.

Suất ăn cho người ăn chay (lớp) = suất ăn cho người ăn chay (ăn trứng và sữa, kiêng thịt) và suất ăn cho người ăn chay toàn rau.

Suất ăn cho người không ăn chay (lớp) = suất ăn cho người mắc bệnh tiểu đường, suất ăn không có chất gluten, suất ăn ít chất béo/ ít cholesterol, suất ăn không có chất đường có trọng sữa, suất ăn theo tiêu chuẩn.

CHÚ THÍCH 2: Việc thiết kế các phân lớp và các lớp thường là một hoạt động chủ quan, do đó các kỹ sư kiểm thử khác sử dụng kỹ thuật này có thể thiết kế các phân lớp và các lớp khác so với các phân lớp và các lớp được tạo ra trong ví dụ này.

Hình dưới là một cây phân loại cho các điều kiện kiểm thử này.

Hình B.4 - Ví dụ về cây phân loại

B.2.2.5  Bước 3: Xác định các hạng mục bao phủ kiểm thử (TD3)

...

...

...

Giả sử phương pháp kết hợp được lựa chọn là phương pháp phân vùng tương đương "tối thiểu hóa", trong đó mỗi mục bao phủ kiểm thử bao phủ càng nhiều lớp càng tốt cho đến khi có ít nhất một ca kiểm thử bao gồm tất cả các lớp, do đó có thể được xác định được các hạng mục bao phủ kiểm thử được trình bày trong Hình B.5 dưới đây.

Hình B.5 - Ví dụ về cây phân loại và bảng kết hợp tương ứng

Trong ví dụ này, tất cả các hạng mục bao phủ kiểm thử bao phủ tất các các điều kiện kiểm thử.

B.2.2.6  Bước 4: Xây dựng các ca kiểm thử (TD4)

Có thể xây dựng được một bộ các ca kiểm thử, trong đó mỗi ca kiểm thử bao phủ duy nhất một hạng mục bao phủ kiểm thử. Các ca kiểm thử được xây dựng bằng cách lựa chọn một hạng mục bao phủ kiểm thử tại thời điểm mà chưa được bao phủ bởi một ca kiểm thử nào và gán cho nó các giá trị đầu vào kiểm thử mà bao phủ các lớp kết hợp đó. Việc này được lặp đi lặp lại cho đến khi đạt được mức độ bao phủ quy định. Kết quả mong đợi được xác định bằng cách cung cấp các đầu vào cho cơ sở kiểm thử. Trong trường hợp cụ thể này, bất kỳ sự kết hợp nào của các đầu vào hợp lệ đều xuất hiện bản tin thông báo "đăng ký trước được chấp nhận".

Bảng B.11 - Các ca kiểm thử đối với kiểm thử cây phân loại

Ca kiểm thử

Các giá trị đầu vào

...

...

...

Hạng mục bao phủ kiểm thử

Nơi đến

Hạng ghế

Chỗ ngồi

Suất ăn theo sở thích

1

Adelaide

Hạng nhất

Cạnh lối đi

...

...

...

Đặt vé được chấp nhận

TCOVER1

2

Brisbane

Hạng thương gia

Cạnh cửa sổ

suất ăn cho người ăn chay

Đặt vé được chấp nhận

TCOVER2

...

...

...

Canberra

Hạng phổ thông

Cạnh lối đi

suất ăn cho người mắc bệnh tiểu đường

Đặt vé được chấp nhận

TCOVER3

4

Darwin

Hạng nhất

...

...

...

Suất ăn không có chất gluten

Đặt vé được chấp nhận

TCOVER4

5

Hobart

Hạng thương gia

Cạnh lối đi

suất ăn ít chất béo/ ít cholesterol.

Đặt vé được chấp nhận

...

...

...

6

Melbourne

Hạng phổ thông

Cạnh cửa sổ

Suất ăn không có chất đường có trong sữa

Đặt vé được chấp nhận

TCOVER6

7

Perth

...

...

...

Cạnh lối đi

Suất ăn theo tiêu chuẩn

Đặt vé được chấp nhận

TCOVER7

8

Sydney

Hạng thương gia

Cạnh cửa sổ

suất ăn kiêng (ăn trứng và sữa, kiêng thịt)

...

...

...

TCOVER8

B.2.2.7  Bước 5: Tập hợp các bộ kiểm thử (TD5)

Vì có ít ca kiểm thử được tạo ra trong ví dụ này nên người ta có thể kết hợp chúng vào một bộ kiểm thử sau:

TS1: Gồm các ca kiểm thử 1,2,3,4, 5,6, 7, 8

B.2.2.8  Bước 6: Xác định các thủ tục kiểm thử (TD6)

Vì tất cả các ca kiểm thử nằm trong một bộ kiểm thử nên chúng ta có thể tạo ra được một thủ tục kiểm thử sau:

TP1: Bao phủ tất cả các ca kiểm thử trong bộ kiểm thử TS1, theo thứ tự quy định trong bộ kiểm thử.

B.2.2.9  Tính độ bao phủ phương pháp cây phân loại

Sử dụng công thức đã nêu trong Điều 6.2.2 và các hạng mục bao phủ kiểm thử được xác định ở trên, ta có:

...

...

...

Do đó, độ bao phủ các hạng mục bao phủ kiểm thử đối với phương pháp cây phân loại đạt được là 100%.

B.2.3  Phân tích giá trị biên

B.2.3.1  Giới thiệu

Mục đích của phân tích giá trị biên là để xây dựng một bộ các ca kiểm thử mà bao phủ các biên của từng phân vùng đầu vào và đầu ra của hạng mục kiểm thử theo mức bao phủ giá trị biên đã chọn. Kỹ thuật này được thực hiện như sau: Thứ nhất, phân chia các đầu vào và đầu ra của một hạng mục kiếm thử thành các lớp tương đương theo cơ sở kiểm thử đối với các hạng mục kiểm thử, các lớp này sẽ được xử lý tương tự bởi các hạng mục kiểm thử; thứ hai, sắp xếp liên tiếp các biên của một số phân vùng từ thấp nhất đến cao nhất; thứ ba, hầu hết các lỗi được tìm thấy tại các biên của phân vùng tiếp giáp nên cần phải tập trung vào kiểm thử các biên này. Các ca kiểm thử được xây dựng dựa trên các giá trị biên này.

Sau đây là một ví dụ về kiểm thử ba giá trị biên theo phương pháp một-một (xem Điều 5.2.3.2 và 5.2.3.3). Để xác định được các biên cho một mục kiểm thử, trước tiên phải xác định được các phân vùng tương đương của các hạng mục kiểm thử, sau đó xác định các giá trị biên từ mỗi lớp tương đương.

B.2.3.2  Đặc tả

Hãy xem xét một hạng mục kiểm thử tạo điểm với cơ sở kiểm thử sau:

Nếu thành phần nhận được điểm thi (theo thang điểm 75) và điểm luận văn (c/w) (theo thang điểm 25) là các đầu vào, từ đó có thể tính được điểm cho khóa học, điểm của khóa học được phân loại thành các điểm từ loại 'A' đến điểm loại 'D'. Các điểm này được đưa ra căn cứ vào cách tính toán điểm tổng. Điểm tổng bằng điểm thi và điểm luận văn (c/w) cộng với nhau, do đó chúng ta có các phân vùng sau:

Điểm tổng lớn hơn hoặc bằng 70 - đạt điểm A

...

...

...

Điểm tổng lớn hơn hoặc bằng 30, nhưng nhỏ hơn 50 - đạt điểm C

Điểm tổng nhỏ hơn 30 - đạt điểm D

Nếu phát hiện (các) đầu vào không hợp lệ (ví dụ như điểm nằm ngoài giới hạn quy định) thì sẽ xuất hiện bản tin lỗi ('FM'). Tất cả các điểm đầu vào mà đạt phải là các số nguyên.

B.2.3.3  Bước 1: Xác định các tập tính năng (TD1)

Vì chỉ có một hạng mục kiểm thử được định nghĩa trong cơ sở kiểm thử nên chỉ có một tập tính năng (FS) được tạo ra, đó là:

FS1: Hàm tạo-điểm

B.2.3.4  Bước 2: Xác định các điều kiện kiểm thử (TD2)

B.2.3.4.1  Các bước con

Đối với phân tích giá trị biên, các điều kiện kiểm thử chính là các biên (nằm giữa các phân vùng) đã được lựa chọn để được bao phủ trong khi kiểm thử. Để xác định các biên, trước tiên phải xác định được các phân vùng tương đương (xem bước 2a dưới đây), sau đó xác định các điều kiện kiểm thử (các biên) (xem bước 2b dưới đây).

...

...

...

Các phân vùng được xác định theo các đầu vào và đầu ra hợp lệ và không hợp lệ của tập tính năng FS1.

Các phân vùng tương đương (EP) hợp lệ đối với đầu vào là điểm thi và điểm luận văn được xác định như sau:

EP1: 0 ≤ điểm thi ≤ 75 (đối với tập tính năng FS1)

EP2: 0 ≤ điểm luận văn ≤ 25 (đối với tập tính năng FS1)

Các phân vùng tương đương không hợp lệ đối với đầu vào là điểm thi và điểm luận văn được xác định như sau:

EP3

Điểm thi > 75

(đối với tập tính năng FS1)

EP4

...

...

...

(đối với tập tính năng FS1)

EP5

Điểm luận văn > 25

(đối với tập tính năng FS1)

EP6

Điểm luận văn < 0

(đối với tập tính năng FS1)

Mặc dù các phân vùng từ EP3 đến EP6 chỉ xuất hiện trên một biên nhưng thực tế các phân vùng này có biên được tạo bởi các giá trị nhỏ nhất và lớn nhất phụ thuộc vào việc thực hiện. Đối với kiểu số nguyên 16 bits có miền giá trị từ -32.768 đến 32.767, có hai giá trị biên tương ứng 32.767 và -32.768. Do đó các phân vùng từ EP3 đến EP6 có thể được xác định đầy đủ hơn như sau:

EP3

...

...

...

EP5

EP6

75 < điểm thi ≤ 32767

-32768 ≤ điểm thi < 0

25 < điểm luận văn ≤ 32767

-32768 ≤ điểm luận văn < 0

(đối với tập tính năng FS1)

(đối với tập tính năng FS1)

(đối với tập tính năng FS1)

...

...

...

Phạm vi các giá trị được phân vùng có thể được biểu diễn trong hình dưới đây:

Hình B.6 - Các biên và các phân vùng tương đương của điểm thi

Đối với đầu vào là điểm luận văn, chúng ta có:

Hình B.7 - Các giá trị biên và các phân vùng tương đương của điểm luận văn

Các phân vùng đầu vào không hợp lệ, kém rõ ràng hơn có thể bao gồm các kiểu đầu vào khác như đầu vào không phải là số nguyên và đầu vào không phải là chữ số. Việc phân vùng tương đương này có thể mang tính chủ quan và như vậy mỗi kỹ sư kiểm thử có thể xác định được các phân vùng khác nhau mà họ cảm thấy có liên quan. Người ta gọi là phân vùng tương đương vì tất cả các giá trị trong một phân vùng phải được xử lý tương tự bởi hạng mục kiểm thư. Vì vậy, có thể tạo ra các phân vùng tương đương không hợp lệ dưới đây cho 2 trường đầu vào là điểm thi và điểm luận văn:

EP7: Điểm thi = số thực có phần thập phân

(đối với tập tính năng FS1)

...

...

...

(đối với tập tính năng FS1)

EP9: Điểm thi = ký tự đặc biệt

(đối với tập tính năng FS1)

EP10: Điểm luận văn = số thực có phần thập phân

(đối với tập tính năng FS1)

EP11: Điểm luận văn = chữ cái

(đối với tập tính năng FS1)

EP12: Điểm luận văn = ký tự đặc biệt

(đối với tập tính năng FS1)

...

...

...

Tiếp theo, xác định được các phân vùng cho các đầu ra là điểm tổng. Các phân vùng hợp lệ đối với đầu ra điểm tổng được xác định như sau:

EP13

Điểm A được tạo ra bởi 70 ≤ điểm tổng ≤ 100

(đối với tập tính năng FS1)

EP14

Điểm B được tạo ra bởi 50 ≤ điểm tổng < 70

(đối với tập tính năng FS1)

EP15

Điểm C được tạo ra bởi 30 ≤ điểm tổng < 50

...

...

...

EP16

Điểm D được tạo ra bởi 0 ≤ điểm tổng < 30

(đối với tập tính năng FS1)

EP17

Bản tin lỗi (FM) được tạo ra bởi điểm tổng >100

(đối với tập tính năng FS1)

EP18:

Bản tin lỗi (FM) được tạo ra bởi điểm tổng < 0

(đối với tập tính năng FS1)

...

...

...

Tương tự các đầu vào, đầu ra được xác định biên cả hai bên theo các giá trị tối đa và tối thiểu tùy thuộc vào việc thực hiện. Giả sử rằng đầu ra là kiểu số nguyên 16 bits có miền giá trị từ -32.768 đến 32.767, có hai giá trị biên đó là 32.767 và -32.768. Do đó các phân vùng từ EP17 đến EP18 có thể được xác định đầy đủ hơn như sau:

EP17: 100 < điểm tổng ≤ 32767                                                 (đối với tập tính năng FS1)

EP18: -32768 ≤ điểm tổng < 0                                                    (đối với tập tính năng FS1)

Ở đây, cần phải lưu ý “bản tin lỗi” vì nó là một đầu ra quy định. Các phân vùng tương đương và biên cho điểm tổng được thể hiện trong Hình B.8:

Hình B.8 - Các biên và các phân vùng tương đương của điểm tổng

Một đầu ra không hợp lệ sẽ là bất kỳ đầu ra nào từ các hạng mục kiểm thử mà khác so với một trong năm đầu ra quy định. Có thể rất khó khăn khi xác định các đầu ra không xác định. Tuy nhiên, phải lưu ý đến chúng nếu không sẽ bị thiếu khi xác định hạng mục kiểm thử, cơ sở kiểm thử hoặc cả hai. Đối với ví dụ này, xác định được ba đầu ra không xác định (điểm E, A+ và 'null'), nhưng không thể gộp các đầu ra này vào các phân vùng mà từ các biên, do đó không có ca kiểm thử nào được tạo ra.

B.2.3.4.3  Bước 2b: Xác định các điều kiện kiểm thử

Khi đã xác định được các phân vùng tương đương cho mỗi trường đầu vào và đầu ra, có thể xác định được các điều kiện kiểm thử. Điều kiện kiểm thử là các biên của từng phân vùng tương đương.

...

...

...

TCOND1:

TCOND2:

TCOND3:

TCOND4

Điểm thi = 0

Điểm thi = 75

Điểm luận văn = 0

Điểm luận văn = 25

(đối với phân vùng tương đương EP1 và EP4)

...

...

...

(đối với phân vùng tương đương EP2và EP6)

(đối với phân vùng tương đương EP2 và EP5)

Đối với các phân vùng tương đương hợp lệ cho điểm tổng, có thể xác định được các biên sau:

TCOND5:

TCOND6:

TCOND7:

TCOND8:

TCOND9:

TCOND10:

...

...

...

TCOND12:

Điểm tổng = 0

Điểm tổng = 29

Điểm tổng = 30

Điểm tổng = 49

Điểm tổng = 50

Điểm tổng = 69

Điểm tổng = 70

Điểm tổng = 100

...

...

...

(đối với phân vùng tương đương EP15 và EP16)

(đối với phân vùng tương đương EP15 và EP16)

(đối với phân vùng tương đương EP14 và EP15)

(đối với phân vùng tương đương EP14 và EP15)

(đối với phân vùng tương đương EP13 và EP14)

(đối với phân vùng tương đương EP13 và EP14)

(đối với phân vùng tương đương EP13 và EP17)

Đối với các phân vùng không hợp lệ của các trường đầu vào, có thể xác định được các điều kiện kiểm thử sau:

TCOND13:

...

...

...

TCOND15:

TCOND16:

Điểm thi = 32767

Điểm thi = -32768

Điểm luận văn = 32767

Điểm luận văn = -32768

(đối với phân vùng tương đương EP3)

(đối với phân vùng tương đương EP4)

(đối với phân vùng tương đương EP5)

...

...

...

Cuối cùng, đối với các phân vùng không hợp lệ của điểm tổng, có thể xác định được các điều kiện kiểm thử sau:

TCOND17

TCOND18

TCOND19

TCOND20

Điểm tổng = 101

Điểm tổng = 32767

Điểm tổng = -1

Điểm tổng = -32768

...

...

...

(đối với phân vùng tương đương EP17)

(đối với phân vùng tương đương EP18)

(đối với phân vùng tương đương EP18)

B.2.3.5  Bước 3: Xác định các hạng mục bao phủ kiểm thử (TD3)

Nếu áp dụng kỹ thuật phân tích 3 giá trị biên, các hạng mục bao phủ kiểm thử là các giá trị mà nằm ở trên biên của phân vùng tương đương và bên cạnh biên và cách nhau một khoảng nhỏ nhất như được trình bày trong Hình B.9:

Hình B.9 - Các hạng mục bao phủ kiểm thử đối với phân tích 3 giá trị biên

CHÚ THÍCH 1: Có thể dùng kỹ thuật phân tích 2 giá trị biên tạo ra một số lượng các hạng mục bao phủ kiểm thử ít hơn và các ca kiểm thử tương ứng ít hơn.

Các biên đã được xác định trong bước trên là các điều kiện kiểm thử, có thể xác định được các hạng mục bao phủ kiểm thử (TCOVER) sau đây. Vì chúng ta sử dụng các số nguyên trong ví dụ này nên các hạng mục bao phủ kiểm thử nằm trên cả hai bên của mỗi biên.

...

...

...

TCOVER1

Điểm thi = -1

(dựa theo điều kiện kiểm thử TCOND1)

TCOVER2

Điểm thi = 0

(dựa theo điều kiện kiểm thử TCOND1)

TCOVER3

Điểm thi = 1

(dựa theo điều kiện kiểm thử TCOND1)

...

...

...

Điểm thi = 74

(dựa theo điều kiện kiểm thử TCOND2)

TCOVER5

Điểm thi = 75

(dựa theo điều kiện kiểm thử TCOND2)

TCOVER6

Điểm thi = 76

(dựa theo điều kiện kiểm thử TCOND2)

TCOVER7

...

...

...

(dựa theo điều kiện kiểm thử TCOND3)

TCOVER8

Điểm luận văn = 0

(dựa theo điều kiện kiểm thử TCOND3)

TCOVER9

Điểm luận văn = 1

(dựa theo điều kiện kiểm thử TCOND3)

TCOVER10:

Điểm luận văn = 24

...

...

...

TCOVER11:

Điểm luận văn = 25

(dựa theo điều kiện kiểm thử TCOND4)

TCOVER12:

Điểm luận văn = 26

(dựa theo điều kiện kiểm thử TCOND4)

Đối với các trường đầu ra điểm tổng, có thể xác định được các hạng mục bao phủ kiểm thử sau đây:

TCOVER13: Điểm tổng =-1

TCOVER14: Điểm tổng = 0

...

...

...

TCOVER16: Điểm tổng = 28

TCOVER17: Điểm tổng = 29

TCOVER18: Điểm tổng = 30

TCOVER19: Điểm tổng = 31

TCOVER20: Điểm tổng = 48

TCOVER21: Điểm tổng = 49

TCOVER22: Điểm tổng = 50

TCOVER23: Điểm tổng = 51

TCOVER24: Điểm tổng = 68

...

...

...

TCOVER26: Điểm tổng = 70

TCOVER27: Điểm tổng = 71

TCOVER28: Điểm tổng = 99

TCOVER29: Điểm tổng = 100

TCOVER30: Điểm tổng = 101

(dựa theo điều kiện kiểm thử TCOND5 và TCOND19)

(dựa theo điều kiện kiểm thử TCOND5 và TCOND19)

(dựa theo điều kiện kiểm thử TCOND5)

(dựa theo điều kiện kiểm thử TCOND6)

...

...

...

(dựa theo điều kiện kiểm thử TCOND6 và TCOND7)

(dựa theo điều kiện kiểm thử TCOND7)

(dựa theo điều kiện kiểm thử TCOND8)

(dựa theo điều kiện kiểm thử TCOND8 và TCOND9)

(dựa theo điều kiện kiểm thử TCOND8 và TCOND9)

(dựa theo điều kiện kiểm thử TCOND9)

(dựa theo điều kiện kiểm thử TCOND10)

(dựa theo điều kiện kiểm thử TCOND10 và TCOND11)

(dựa theo điều kiện kiểm thử TCOND10 và TCOND11)

...

...

...

(dựa theo điều kiện kiểm thử TCOND12)

(dựa theo điều kiện kiểm thử TCOND12 vàTCOND17)

(dựa theo điều kiện kiểm thử TCOND12vàTCOND17)

Lưu ý rằng các lớp tương đương từ EP7 đến EP12 chưa được bao phủ bởi bất kỳ hạng mục bao phủ kiểm thử nào vì các phân vùng này không có các biên xác định (như đă nêu ở bước trên).

Đối với các phân vùng không hợp lệ còn lại mà đã được xác định (tức là đối với các biên của các điều kiện kiểm thử từ TCOND13 đến TCOND20 vẫn chưa được bao phủ), có thể xác định được các hạng mục bao phủ kiểm thử không hợp lệ sau đây:

TCOVER31:

Điểm thi = 32766

(dựa theo điều kiện kiểm thử TCOND13)

TCOVER32:

...

...

...

(dựa theo điều kiện kiểm thử TCOND13)

TCOVER33:

Điểm thi = 32768

(dựa theo điều kiện kiểm thử TCOND13)

TCOVER34:

Điểm thi = -32769

(dựa theo điều kiện kiểm thử TCOND14)

TCOVER35:

Điểm thi = -32768

...

...

...

TCOVER36:

Điểm thi = -32767

(dựa theo điều kiện kiểm thử TCOND14)

TCOVER37:

Điểm luận văn = 32766

(dựa theo điều kiện kiểm thử TCOND15)

TCOVER38:

Điểm luận văn = 32767

(dựa theo điều kiện kiểm thử TCOND15)

...

...

...

Điểm luận văn = 32768

(dựa theo điều kiện kiểm thử TCOND15)

TCOVER40:

Điểm luận văn = -32769

(dựa theo điều kiện kiểm thử TCOND16)

TCOVER41:

Điểm luận văn = -32768

(dựa theo điều kiện kiểm thử TCOND16)

TCOVER42:

...

...

...

(dựa theo điều kiện kiểm thử TCOND16)

TCOVER43:

Điểm tổng = 102

(dựa theo điều kiện kiểm thử TCOND17)

TCOVER44:

Điểm tổng = 32766

(dựa theo điều kiện kiểm thử TCOND18)

TCOVER45:

Điểm tổng = 32767

...

...

...

TCOVER46:

Điểm tổng = 32768

(dựa theo điều kiện kiểm thử TCOND18)

TCOVER47:

Điểm tổng = -2

(dựa theo điều kiện kiểm thử TCOND19)

TCOVER48:

Điểm tổng = -32769

(dựa theo điều kiện kiểm thử TCOND20)

...

...

...

Điểm tổng = -32768

(dựa theo điều kiện kiểm thử TCOND20)

TCOVER50:

Điểm tổng = -32767

(dựa theo điều kiện kiểm thử TCOND20)

B.2.3.6  Bước 4: Xây dựng các ca kiểm thử (TD4)

Các ca kiểm thử có thể được xây dựng để bao phủ các hạng mục bao phủ kiểm thử đã được xác định trong bước trước. Ví dụ, để đạt được độ bao phủ biên là 100% thl phải xây dựng tất cả các ca kiểm thử để bao phủ tất cả các hạng mục bao phủ kiểm thử. Có thể sử dụng kỹ thuật phân tích giá trị biên một- một để xây dựng một ca kiểm thử dựa cho hạng mục bao phủ kiểm thử hoặc có thể sử dụng kỹ thuật phân tích giá trị biên tối thiểu hóa nhằm giảm tối thiểu các ca kiểm thử cần xây dựng mà vẫn bao phủ toàn bộ các hạng mục bao phủ kiểm thử.

Các điều kiện tiên quyết của tất cả các ca kiểm thử đối với hàm tạo điểm đều giống nhau đó là đều có đầu vào điểm thi và điểm luận văn.

Giả sử độ bao phủ biên đạt 100% và sử dụng kỹ thuật phương pháp phân tích giá trị biên một-một để xây dựng các ca kiểm thử thì có thể tạo ra được sáu ca kiểm thử cho đầu vào điểm thi như được trình bày trong Bảng B.12. Mỗi ca kiểm thử được tạo ra như sau: Thứ nhất, lựa chọn một giá trị biên (hạng mục bao phủ kiểm thử) cho từng ca kiểm thử; Thứ hai, phân bổ một giá trị hợp lệ tùy ý cho tất cả các đầu vào khác có trong ca kiểm thử; và thứ ba, xác định kết quả mong đợi của kiểm thử.

...

...

...

Ca kiểm thử

1

2

3

4

5

6

Đầu vào (điểm thi)

-1

...

...

...

1

74

75

76

Đầu vào (điểm luận văn)

15

15

15

15

...

...

...

15

Điểm tổng (điểm thi + điểm luận văn)

14

15

16

89

90

91

Hạng mục bao phủ kiểm thử

...

...

...

2

3

4

5

6

Giá trị biên được kiểm thử (điểm thi)

0

25

Đầu ra mong đợi

...

...

...

điểm D

điểm D

điểm A

điểm A

Bản tin lỗi

Lưu ý: Đầu vào điểm luận văn được lấy một giá trị tùy ý là 15, do các ca kiểm thử này tập trung vào thực hiện tạo các biện điểm thi.

Các ca kiểm thử được xây dựng từ đầu vào điểm luận văn là:

Bảng B.13 - Các ca kiểm thử đối với điểm luận văn

Ca kiểm thử

...

...

...

8

9

10

11

12

Đầu vào (điểm thi)

40

40

40

...

...

...

40

40

Đầu vào (điểm luận văn)

-1

0

1

24

25

26

...

...

...

39

40

41

64

65

66

Hạng mục bao phủ kiểm thử

7

8

...

...

...

10

11

12

Giá trị biên được kiểm thử (điểm thi)

0

25

Đầu ra mong đợi

Bản tin lỗi

điểm C

...

...

...

điểm B

điểm B

Bản tin lỗi

Lưu ý: Đầu vào điểm thi được lấy một giá trị hợp lệ tùy ý là 40. Các ca kiểm thử được xây dựng từ các đầu ra điểm tổng là:

Bảng B.14 - Các ca kiểm thử đối với điểm tổng

Ca kiểm thử

13

14

15

...

...

...

17

18

19

Đầu vào (điểm thi)

-1

0

0

28

29

...

...

...

6

Đầu vào (điểm luận văn)

0

0

1

0

0

15

25

...

...

...

-1

0

1

28

29

30

31

Hạng mục bao phủ kiểm thử

13

...

...

...

15

16

17

18

19

Giá trị biên được kiểm thử (điểm tổng)

0

29

29, 30

...

...

...

Đầu ra mong đợi

bản tin lỗi

điểm D

điểm D

điểm D

điểm D

điểm C

điểm C

Bảng B.15 - Các ca kiểm thử đối với điểm tổng

...

...

...

20

21

22

23

24

25

26

27

Đầu vào (điểm thi)

...

...

...

24

50

26

48

49

45

71

Đầu vào (điểm luận văn)

25

...

...

...

0

25

20

20

25

0

Điểm tổng (điểm thi + điểm luận văn)

48

49

...

...

...

51

68

69

70

71

Hạng mục bao phủ kiểm thử

20

21

22

...

...

...

24

25

26

27

Giá trị biên được kiểm thử (điểm tổng)

49

49. 50

50

69

...

...

...

70

Đầu ra mong đợi

điểm C

điểm C

điểm B

điểm B

điểm B

điểm B

điểm A

...

...

...

Bảng B.16 - Các ca kiểm thử đối với điểm tổng

Ca kiểm thử

28

29

30

Đầu vào (điểm thi)

74

75

75

...

...

...

25

25

26

Điểm tổng (điểm thi + điểm luận văn)

99

100

101

Hạng mục bao phủ kiểm thử

28

...

...

...

30

Giá trị biên được kiểm thử (điểm tổng)

100

100,101

Đầu ra mong đợi

điểm A

điểm A

Bản tin lỗi

Các giá trị đầu vào điểm thi và điểm luận văn được tạo ra từ điểm tổng, điểm tổng chính là tổng của điểm thi và điểm luận văn.

...

...

...

Bảng B.17 - Các ca kiểm thử đối với điểm thi

Ca kiểm thử

31

32

33

34

35

36

Đầu vào (điểm thi)

...

...

...

32767

32768

-32769

-32768

-32767

Đầu vào (điểm luận văn)

15

15

15

...

...

...

15

15

Điểm tổng (điểm thi + điểm luận văn)

32781

32782

32783

-32754

-32753

-32752

...

...

...

31

32

33

34

35

36

Giá trị biên được kiểm thử (điểm tổng)

32767

-32768

...

...

...

Bản tin lỗi

Bản tin lỗi

Bản tin lỗi

Bản tin lỗi

Đản tin lỗi

Bản tin lỗi

Bảng B.18 - Các ca kiểm thử đối với điểm luận văn

Ca kiểm thử

37

...

...

...

39

40

41

42

Đầu vào (điểm thi)

40

40

40

40

...

...

...

40

Đầu vào (điểm luận văn)

32766

32767

32768

-32769

-32768

-32767

Điểm tổng (điểm thi + điểm luận văn)

...

...

...

32807

32808

-32729

-32728

-32727

Hạng mục bao phủ kiểm thử

37

38

39

...

...

...

41

42

Giá trị biên được kiểm thử (điểm tổng)

32767

-32768

Đầu ra mong đợi

Bản tin lỗi

Bản tin lỗi

Bản tin lỗi

...

...

...

Bản tin lỗi

Bản tin lỗi

Bảng B.19 - Các ca kiểm thử đối với điểm tổng

Ca kiểm thử

43

44

45

46

47

...

...

...

49

50

Đầu vào (điểm thi)

75

16383

32767

1

-1

0

...

...

...

-32766

Đầu vào (điểm luận văn)

27

16383

0

32767

-1

-32769

-16384

...

...

...

Điểm tổng (điểm thi + điểm luận văn)

102

32766

32767

32768

-2

-32769

-32768

-32767

...

...

...

43

44

45

46

47

48

49

50

Giá trị biên được kiểm thử (điểm tổng)

...

...

...

32767

1

-32768

Đầu ra mong đợi

Bản tin lỗi

Bản tin lỗi

Bản tin lỗi

Bản tin lỗi

Bản tin lỗi

...

...

...

Bản tin lỗi

Bản tin lỗi

Cần lưu ý rằng khi sử dụng các giá trị đầu vào không hợp lệ (như trình bày ở các bảng trên là các ca kiểm thử 1, 6, 7,12, 13, và từ 30 đến 50), tùy thuộc vào việc thực hiện, có thể không thể thực thi được chính xác các ca kiểm thử. Chẳng hạn như trong ngôn ngữ lập trình Ada, nếu các biến đầu vào được khai báo là một số nguyên dương thì sẽ không thể gán một giá trị âm cho nó. Mặc dù vậy, vẫn phải xem xét tất cả các các ca kiểm thử.

Các ca kiểm thử trên đạt 100% độ bao phủ giá trị biên đối với phương pháp phân tích 3 giá trị biên vì nó cho phép tất cả các hạng mục bao phủ kiểm thử đã xác định được thực hiện bởi ít nhất một ca kiểm thử. Có thể chỉ đạt được mức bao phủ giá trị biên thấp hơn nếu một số biên được xác định không được thực hiện. Nếu không xác định được một số biên thì bất kỳ phương pháp tính độ bao phủ nào dựa trên một tập hợp không đầy đủ các biên này cũng không chính xác.

B.2.3.7  Bước 5: Tập hợp các bộ kiểm thử (TD5)

Giả sử có thể tự động kiểm tra đáp ứng chấp nhận/ từ chối đối với từng ca kiểm thử hợp lệ nhưng không thể tự động xử lý các bản tin lỗi (FM) được tạo ra bởi các ca kiểm thử không hợp lệ thì chúng ta có thì phải tạo ra hai bộ kiểm thử (TS); một cho kiểm thử thủ công và một cho kiểm thử tự động.

TS1: Kiểm thử thủ công gồm các ca kiểm thử 1, 6, 7, 12, 13 và từ 30 đến 50.

TS2: Kiểm thử tự động gồm các ca kiểm thử 2, 3, 4, 5, 8, 9, 10, 11 và từ 14 đến 29.

B.2.3.8  Bước 6: Xác định các thủ tục kiểm thử (TD6)

...

...

...

TP1: Kiểm thử thủ công, bao phủ tất cả các ca kiểm thử trong bộ kiểm thử TS1, theo thứ tự quy định trong bộ kiểm thử.

Đối với các ca kiểm thử tự động trong bộ kiểm thử TS2, có thể viết được một kịch bản kiểm thử để thực hiện tất cả các ca kiểm thử trong bộ kiểm thử sau:

TP2: Kiểm thử tự động, bao phủ tất cả các ca kiểm thử trong bộ kiểm thử TS2, theo thứ tự quy định trong bộ kiểm thử.

Đối với thủ tục kiểm thử tự động TP2, cần phải viết được mã tự động để thực hiện các thủ tục.

B.2.3.9  Độ bao phủ phân tích giá trị biên

Sử dụng công thức đã nêu trong Điều 6.2.3 và các hạng mục bao phủ kiểm thử được xác định ở trên, ta có:

Do đó, độ bao phủ các hạng mục bao phủ kiểm thử đối với phân tích giá trị biên đạt được là 100%.

B.2.4  Kiểm thử cú pháp

...

...

...

Mục đích của kiểm thử cú pháp là để đưa ra một bộ các ca kiểm thử mà bao phủ cú pháp đầu vào của các hạng mục kiểm thử theo mức độ bao phủ cú pháp đầu vào được lựa chọn. Kỹ thuật này được dựa trên sự phân tích cơ sở kiểm thử của các hạng mục kiểm thử để lập sơ đồ mô phỏng hành vi của nó bằng cách mô tả các đầu vào thông qua cú pháp của nó. Kỹ thuật này chỉ có hiệu quả trong phạm vi mà cú pháp được định nghĩa tương ứng với củ pháp quy định.

B.2.4.2  Đặc tả

Hãy xem xét một hạng mục kiểm thử mà chỉ đơn giản là kiểm tra xem liệu đầu vào float_in có phù hợp với các cú pháp của một số thực có dấu chấm động hay không, float (được định nghĩa dưới đây). Các đầu ra hạng mục kiểm thử check_res có hình thức "hợp lệ" hoặc "không hợp lệ" tùy thuộc vào kết quả kiểm tra của nó.

Dưới đây là sự biểu diễn cú pháp đối với số thực dấu chấm động, kiểu dữ liệu float trong dạng Backus- Naur(BNF):

Các ký hiệu kết thúc được để trong dấu ngoặc kép: đây là phần cơ bản nhất của cú pháp - các ký tự thực tế mà là đầu vào cho các hạng mục kiểm thử. Dấu I dùng để tách biệt những lựa chọn (tức là hoặc (or)). Dấu ngoặc vuông [] chứa một hạng mục tùy chọn hoặc là không chứa hạng mục tùy chọn nào cả. Dấu ngoặc móc {} chứa một hạng mục mà có thể được lặp lại một hoặc nhiều lần.

B.2.4.3  Bước 1: Xác định các tập tính năng (TD1)

Vì chỉ có một hạng mục kiểm thử được định nghĩa trong cơ sở kiểm thử, chỉ có một tính năng cần phải được định nghĩa:

FS1: float_in

...

...

...

Bước 1 là xác định các điều kiện kiểm thử từ cú pháp. Các điều kiện kiểm thử có thể được định nghĩa như các tham số đầu vào trong cú pháp. Các điều kiện kiểm thử được xác định như sau:

TCOND1           float = int “e” int

TCOND2           int = [“+"|”-"] nat

TCOND3           nat = {dig}

TCOND4           dig = “0”|“1”|“2”|“3”|“4”|“5”|“6”|“7”|“8”|“9”

B.2.4.5  Bước 3: Xác định các hạng mục bao phủ kiểm thử (TD3)

Trong kiểm thử cú pháp, các hạng mục bao phủ kiểm thử là "các tùy chọn" của cú pháp (được coi là các hạng mục bao phủ kiểm thử hợp lệ) và các hạng mục bao phủ kiểm thử là "những đột biến" của cú pháp (được coi là các hạng mục bao phủ kiểm thử không hợp lệ) (các định nghĩa về "tùy chọn" và "đột biến" của cú pháp được nêu trong Điều 5.2.4.2 ).

Các hạng mục bao phủ kiểm thử hợp lệ có thể được tạo ra cho các phần tử nằm bên phải của định nghĩa BNF. Có 3 hạng mục bao phủ kiểm thử có thể được tạo ra cho các dấu “+" và dấu của điều kiện kiểm thử TCOND2:

TCOVER1:

...

...

...

TCOVER3:

Không có dấu “+” hoặc dấu nào

Chỉ có một dấu “+”

Chỉ có một dấu “-“

(Đối với TCOND2vàTCOND1)

(Đối với TCOND2 và TCOND1)

(Đối với TCOND2 và TCOND1)

CHÚ THÍCH 1: Có thể tạo được các hạng mục bao phủ kiểm thử riêng đối với các trường hợp dấu “+” và dấu thứ nhất và thứ hai nếu cần.

nat có hai hạng mục bao phủ kiểm thử, đó là:

...

...

...

TCOVER5: nat là số có nhiều chữ số                 (Đối với TCOND3 và TCOND2)

CHÚ THÍCH 2: Có thể tạo được các hạng mục bao phủ kiểm thử riêng biệt đối với các trường hợp thứ nhất và thứ hai của nat nếu cần.

dig có mười tùy chọn, đó là:

TCOVER6:

Số nguyên là một số “0“

(Đối với TCOND4 và TCOND3)

TCOVER7:

Số nguyên là một số “1"

(Đối với TCOND4 và TCOND3)

...

...

...

Số nguyên là một số “2"

(Đối với TCOND4 và TCOND3)

TCOVER9:

Số nguyên là một số “3"

(Đối với TCOND4 và TCOND3)

TCOVER10

Số nguyên là một số “4”

(Đối với TCOND4 và TCOND3)

TCOVER11

...

...

...

(Đối với TCOND4 và TCOND3)

TCOVER12

Số nguyên là một số “6”

(Đối với TCOND4 và TCOND3)

TCOVER13

Số nguyên là một số “7”

(Đối với TCOND4 và TCOND3)

TCOVER14

Số nguyên là một số “8"

...

...

...

TCOVER15

Số nguyên là một số “9”

(Đối với TCOND4 và TCOND3)

Vậy có thể xác định được 15 hạng mục bao phủ kiểm thử hợp lệ.

Bước thứ nhất để xác định các hạng mục bao phủ kiểm thử không hợp lệ xây dựng một danh sách các đột biến chung mà có thể được áp dụng cho các điều kiện kiểm thử. Danh sách các đột có thể có là: m1, m2, m3, m4. Trong đó :

m1: Đưa ra một giá trị không hợp lệ cho một phần tử;

m2: Thay thế một phần tử bằng một phần tử khác được xác định;

m3: Bỏ sót một phần tử được xác định;

m4: Thêm một phần tử mới.

...

...

...

Những đột biến chung được áp dụng cho các phần tử riêng lẻ của cú pháp để mang lại đột biến cụ thể. Do đó, có thể xác định được các hạng mục bao phủ kiểm thử không hợp lệ dưới đây:

TCOVER16

TCOVER17

TCOVER18

TCOVER19

TCOVER20

TCOVER21

Áp dụng m1 đối với "int" thứ nhất

Áp dụng m1 đối với "e"

...

...

...

Áp dụng m1 đối với “[“+”|“-”]”

Áp dụng m1 đối với "nat"

Áp dụng m2 khi thay thế "e" cho "int" thứ nhất

(Đối với TCOND1)

(Đối với TCOND1)

(Đối với TCOND1)

(Đối với TCOND2)

(Đối với TCOND2)

(Đối với TCOND1)

...

...

...

Áp dụng m2 khi thay thế " ["+"|“-”]” cho "int thứ nhất

(Đối với TCOND 1 và TCOND2)

TCOVER23:

TCOVER24:

Áp dụng m2 khi thay thế "int" thứ nhất cho "e

Áp dụng m2 khi thay thế " ("+" I “-"]” cho "e"

(Đối với TCOND1)

(Đối với TCOND1 và TCOND2)

TCOVER25:

...

...

...

TCOVER27:

Áp dụng m2 khi thay thế "e" cho "int" thứ hai

Áp dụng m2 khi thay thế " ["+"I“-”]"cho “int” thứ hai

Áp dụng m2 khi thay thế "e" cho " ["+"I"-"]"

(Đối với TCOND1)

(Đối với TCOND1)

(Đối với TCOND1 và TCOND2)

TCOVER28:

Áp dụng m2 khi thay thế " e" cho "nat"

...

...

...

TCOVER29:

Áp dụng m2 khi thay thế " ["+"I"-"]" cho "nat"

(Đối với TCOND1 và TCOND2)

TCOVER30

TCOVER31

TCOVER32

TCOVER33:

TCOVER34:

TCOVER35:

...

...

...

Áp dụng m3 đối với "int" thứ nhất

Áp dụng m3 đối với "e"

Áp dụng m3 đối với "int" thứ hai

Áp dụng m4 khi một thêm phần tử trước "int" thứ nhất

Áp dụng m4 để khi thêm một phần tử trước "e"

Áp dụng m4 khi thêm một phần tử trước "int" thứ hai

Áp dụng m4 khi thêm một phần tử sau "int" thứ hai

(Đối với TCOND1)

(Đối với TCOND1)

...

...

...

(Đối với TCOND1)

(Đối với TCOND1)

(Đối với TCOND1)

(Đối với TCOND1)

TCOVER37:

Áp dụng m4 khi thêm một phần tử trước "int" thứ nhất và “[“+”|“+”]”

(Đối với TCOND1 và TCOND2)

TCOVER38:

Áp dụng m4 khi thêm một phần tử giữa "[“+”|“-”]” và “int” thứ nhất

...

...

...

TCOVER39:

Áp dụng m4 khi thêm một phần tử giữa “int” thứ nhất và “e”

(Đối với TCOND1)

["+"| “-”] được coi là một phần tử duy nhất vi đột biến của các hạng mục tùy chọn riêng biệt không xây dựng các ca kiểm thử có cú pháp hợp lệ (sử dụng các đột biến chung này).

B.2.4.6  Bước 4: Xây dựng các ca kiểm thử (TD4)

Các ca kiểm thử hợp lệ được xây dựng bằng cách lựa chọn một hoặc nhiều tùy chọn cho các ca kiểm thử hiện có, xác định các đầu vào đề thực hiện các tùy chọn và xác định kết quả mong đợi (trong trường hợp này là 'check_ res' là kết quả mong đợi). Các ca kiểm thử hợp lệ là:

Bảng B.20 - Các ca kiểm thử hợp lệ đối với kiểm thử cú pháp

Ca kiểm thử

Đầu vào ‘float_in’

...

...

...

Kết quả mong đợi ‘check_res’

TC 1

3e2

TCOVER1

'hợp lệ'

TC 2

+2e+5

TCOVER2

'hợp lệ'

...

...

...

-6e-7

TCOVER3

‘hợp lệ'

TC 4

6e-2

TCOVER4

‘hợp lệ'

TC 5

1234567890e3

...

...

...

'hợp lệ'

TC 6

0e0

TCOVER6

‘hợp lệ’

TC 7

1e1

TCOVER7

‘hợp lệ’

...

...

...

2e2

TCOVER8

'hợp lệ’

TC 9

3e3

TCOVER9

'hợp lệ’

TC 10

4e4

...

...

...

‘hợp lê’

TC 11

5e5

TCOVER11

'hợp lệ'

TC 12

6e6

TCOVER12

‘hợp lệ'

...

...

...

7e7

TCOVER13

‘hợp lệ’

TC 14

8e8

TCOVER14

‘hợp lệ’

TC 15

9e9

...

...

...

'hợp lệ’

Điều này không có nghĩa là một bộ kiểm thử rất nhỏ thực hiện tất cả 15 tùy chọn (có thể giảm xuống chỉ còn ba ca kiểm thử, ví dụ, ca kiểm thử số 2, 3 và 5 ở trên), do đó một số ca kiểm thử sẽ thực hiện thêm nhiều tùy chọn hơn là chỉ thực hiện một tùy chọn được liệt kê trong cột "Hạng mục bao phủ kiểm thử" ở bảng trên. Mỗi tùy chọn được xử lý riêng để hiểu rõ được việc xây dựng chúng. Phương pháp này cũng dễ dàng xác định được nguyên nhân gây lỗi.

Các ca kiểm thử không hợp lệ được tạo ra bằng cách lựa chọn một hoặc nhiều đột biến cho các ca kiểm thử hiện có, xác định các đầu vào để thực hiện các đột biến và xác định kết quả mong đợi (trong trường hợp này kết quả mong đợi là 'check_ res'). Các ca kiểm thử không hợp lệ là:

Bảng B.21 - Các ca kiểm thử không hợp lệ đối với kiểm thử cú pháp

Ca kiểm thử

Đầu vào ‘float_in’

Đột biến

Hạng mục bao phủ kiểm thử

Kết quả mong đợi ‘check_res’

...

...

...

xe0

m1

TCOVER16

‘không hợp lệ’

TC 17

0x0

m1

TCOVER17

‘không hợp lệ’

...

...

...

0ex

m1

TCOVER18

‘không hợp lệ’

TC 19

x0e0

m1

TCOVER19

‘không hợp lệ’

...

...

...

+xe0

m1

TCOVER20

‘không hợp lệ’

TC 21

ee0

m2

TCOVER21

‘không hợp lệ’

...

...

...

+e0

m2

TCOVER22

‘không hợp lệ’

TC 23

000

m2

TCOVER23

‘không hợp lệ’

...

...

...

0+0

m2

TCOVER24

‘không hợp lệ’

TC 25

0ee

m2

TCOVER25

‘không hợp lệ’

...

...

...

0e+

m2

TCOVER26

‘không hợp lệ’

TC 27

e0e0

m2

TCOVER27

‘không hợp lệ’

...

...

...

+ee0

m2

TCOVER28

‘không hợp lệ’

TC 29

++e0

m2

TCOVER29

‘không hợp lệ’

...

...

...

e0

m3

TCOVER30

‘không hợp lệ’

TC 31

00

m3

TCOVER31

‘không hợp lệ’

...

...

...

0e

m3

TCOVER32

‘không hợp lệ’

TC 33

y0e0

m4

TCOVER33

‘không hợp lệ’

...

...

...

0ye0

m4

TCOVER34

‘không hợp lệ’

TC 35

0ey0

m4

TCOVER35

‘không hợp lệ’

...

...

...

0e0y

m4

TCOVER36

‘không hợp lệ’

TC 37

y+0e0

m4

TCOVER37

‘không hợp lệ’