Phõn tớch giỏ trị biờn (BV A Boundary Value Analysis)

Một phần của tài liệu Kiểm định phần mềm theo tiếp cận hệ thống (Trang 29)

Khi thực hiện việc kiểm thử phần mềm theo dữ liệu, chỳng ta kiểm tra xem đầu vào của ngƣời dựng, kết quả nhận đƣợc và kết quả tạm thời bờn trong cú đƣợc xử lý chớnh xỏc hay khụng.

Cỏc điều kiện biờn là tỡnh trạng trực tiếp ở phớa trờn và dƣới của cỏc lớp tƣơng đầu vào và lớp tƣơng đƣơng đầu ra. Việc phõn tớch cỏc giỏ trị biờn khỏc với phõn hoạch tƣơng đƣơng theo hai điểm:

Từ mỗi lớp tƣơng đƣơng, phõn hoạch tƣơng đƣơng sẽ chọn phần tử bất kỳ làm phần tử đại diện, trong khi việc phõn tớch giỏ trị biờn sử dụng một hoặc một số phần tử. Nhƣ võy, mỗi biờn của lớp tƣơng đƣơng chớnh là đớch kiểm thử. Khụng chỉ chỳ ý tập trung vào những điều kiện đầu vào, cỏc trƣờng hợp kiểm thử

cũng đƣợc suy ra từ việc xem xột cỏc kết quả ra (tức cỏc lớp tƣơng đƣơng đầu ra).

Cỏc trƣờng hợp kiểm thử tốt là tại cỏc biờn của lớp. Những giỏ trị biờn này là cỏc phần tử cực tiểu/cực đại, ngắn nhất/dài nhất, chậm nhất/nhanh nhất, xấu nhất/đẹp nhất, đầu/cuối, bắt đầu/kết thỳc, rỗng/đầy, sớm nhất/muộn nhất,… tức là những giỏ trị cận nhất. Nhƣ vậy, BVA mở rộng phõn hoạch tƣơng đƣơng trờn cơ sở tập trung vào cỏc biờn của miền đầu vào hơn là cỏc giỏ trị tiờu biểu của nú.

Rất khú cú thể cú thể liệt kờ hết cỏc hƣớng dẫn cụ thể cho cỏc trƣờng hợp. Tuy nhiờn, cũng cú một số nguyờn tắc phõn tớch giỏ trị biờn nhƣ sau:

1. Nếu điều kiện đầu vào xỏc định một khoảng giỏ trị giữa a và b, cỏc trƣờng hợp kiểm thử sẽ đƣợc thiết kế với giỏ trị a và b, và cỏc giỏ trị sỏt trờn và sỏt dƣới a và b.

2. Nếu một điều kiện đầu vào xỏc định một số cỏc giỏ trị, cỏc trƣờng hợp kiểm thử sẽ đƣợc phỏt triển để thực hiện tại cỏc giỏ trị cực đại, cực tiểu. Cỏc giỏ trị sỏt trờn và dƣới giỏ trị cực đại, cực tiểu cũng đƣợc kiểm thử.

3. Nguyờn tắc 1 và 2 đƣợc ỏp dụng cho cỏc điều kiện đầu ra.

4. Nếu cấu trỳc dữ liệu chƣơng trỡnh bờn trong đƣợc qui định cỏc biờn (chẳng hạn, mảng đƣợc định nghĩa giới hạn 100 mục), tập trung thiết kế trƣờng hợp kiểm thử để thực thi cấu trỳc dữ liệu tại biờn của nú.

Ngoài ra, ngƣời kiểm thử cú thể sử dụng sự xột đoỏn và sỏng tạo của mỡnh để tỡm cỏc điều kiện biờn.

Túm lại, chỳng ta phải kiểm thử mỗi biờn của một lớp tƣơng đƣơng về tất cả cỏc phớa. Một chƣơng trỡnh nếu vƣợt qua những trƣờng hợp kiểm thử đú cú thể vƣợt qua cỏc kiểm thử khỏc từ lớp đú.

Vớ dụ: Nếu phần mềm cần điều khiển một số bản ghi bất kỳ trong khoảng từ 1 đến 16383 bản ghi, sẽ cú ba lớp tƣơng đƣơng:

Lớp tƣơng đƣơng hợp lệ 1: trong khoảng 1 đến 16383 Lớp tƣơng đƣơng khụng hợp lệ 2 : nhỏ hơn 1

Lớp tƣơng đƣơng khụng hợp lệ 3: lớn hơn 16383 Cỏc trƣờng hợp kiểm thử cú thể là:

Trƣờng hợp kiểm thử 1: 0 bản ghi, là thành viờn của lớp tƣơng đƣơng 2 và kề sỏt giỏ trị biờn.

Trƣờng hợp kiểm thử 2: 1 bản ghi, là giỏ trị biờn. Trƣờng hợp kiểm thử 3: 2 bản ghi, kề sỏt giỏ trị biờn.

Trƣờng hợp kiểm thử 4: 723 bản ghi, là thành phần của lớp tƣơng đƣơng 1. Trƣờng hợp kiểm thử 5: 16382 bản ghi, kề sỏt giỏ trị biờn.

Trƣờng hợp kiểm thử 6: 16383 bản ghi, chớnh là giỏ trị biờn.

Trƣờng hợp kiểm thử 7: 16384 bản ghi, thành phần của lớp tƣơng đƣơng 3, kề sỏt giỏ trị biờn.

Một phần của tài liệu Kiểm định phần mềm theo tiếp cận hệ thống (Trang 29)

Tải bản đầy đủ (PDF)

(74 trang)