Trƣờng hợp kiểm định 5 6 7 8
Điểm thi -10 93 60.5 Q
Điểm trung bỡnh mụn -15 35 20.23 G
Tổng điểm -25 128 80.73 -
phõn hoạch được thử
(đối với ĐT) ĐT< 0 ĐT>75 ĐT = số thực ĐT = chữ cỏi phõn hoạch được thử (đối với ĐTBM) ĐTBM<0 ĐTBM>25 ĐTBM = số thực ĐTBM = chữ cỏi Phõn hoạch được thử (đối với TĐ) TĐ<0 TĐ>100 70≤TĐ≤100 -
Kết quả dự kiến “Thụng bỏo lỗi”
“Thụng bỏo
lỗi” “Thụng bỏo lỗi” “Thụng bỏo lỗi”
Trƣờng hợp kiểm định 9 10 11
Điểm thi -10 100 “null”
Điểm trung bỡnh mụn 0 10 “null”
Tổng điểm -10 110 “null” + “null”
Phõn hoạch được thử (đối với ĐT) ĐT< 0 ĐT>75 - Phõn hoạch được thử (đối với
ĐTBM) 0≤ĐTBM≤25 0≤ĐTBM≤25 -
Phõn hoạch được thử (đối với TĐ) TĐ<0 TĐ>100 70≤TĐ≤100 Phõn hoạch được thử
(đối với dữ liệu ra) “E” “A+” “null”
Kết quả dự kiến “Thụng bỏo lỗi” “Thụng bỏo
lỗi” “Thụng bỏo lỗi”
Bảng 2.8. Kiểm định cho tất cả cỏc lớp phõn hoạch điểm thi
Trờn đõy là hai cỏch xõy dựng tiờu biểu cho phương phỏp phõn hoạch tương đương. Nhược điểm của cỏch thứ nhất là nú yờu cầu rất nhiều trường hợp kiểm định (mỗi phõn hoạch một trường hợp kiểm định). Với cỏc trường hợp cú quỏ nhiều phõn hoạch, cú thể ỏp dụng cỏch thứ hai. Tuy nhiờn, thụng thường việc tỡm ra cỏc phõn hoạch trờn thực tế tốn thời gian hơn nhiều so với việc tạo và thực thi cỏc trường hợp kiểm định trờn cỏc phõn hoạch đú. Vỡ vậy, cỏc nỗ lực nhằm làm giảm số lượng cỏc trường hợp kiểm định đều khụng đỏng kể so với tổng chi phớ của việc ỏp dụng phương phỏp này. Ở cỏch thứ hai, cú một nhược điểm là nếu kiểm định thấy lỗi thỡ sẽ khú phỏt hiện nguyờn nhõn do việc kiểm định thực hiện trờn nhiều hơn một phõn hoạch tại một thời điểm.
Như vậy, để cú thể thử hết cỏc trường hợp là một vấn đề khụng đơn giản và tốn rất nhiều thời gian. Trờn thực tế, việc kiểm định cũng chỉ với mục đớch tỡm được số lỗi nhiều nhất cú thể mà thụi.
b. Phõn tớch giỏ trị biờn (BVA - Boundary Value Analysis)
Những lỗi nhạy cảm nhất của phần mềm là cỏc giỏ trị biờn của cỏc miền giỏ trị. Vỡ số lớn cỏc sai cú xu hướng xuất hiện ở biờn cỏc vựng dữ liệu hơn là ở trung tõm.
Phõn tớch giỏ trị bổ sung thờm cho phõn hoạch tương đương. Ngoài việc chọn một giỏ trị bất kỳ như phõn hoạch tương đương, việc cần thiết là phõn tớch giỏ trị biờn để kiểm định biờn của cỏc lớp.
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 đươ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 sau đõy:
- 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 định.
- Khụng chỉ tập trung vào những điều kiện đầu vào, cỏc trường hợp kiểm định cũng được suy ra từ cỏc kết quả ra (tức là cỏc lớp tương đương đầu ra).
Cỏc trường hợp kiểm định tốt là tại cỏc biờn của cỏc 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, bắt đầu/kết thỳc, 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ú.
Kỹ thuật thiết kế ca kiểm định này khụng những chỳ ý đến cỏc dữ liệu trong và sỏt biờn mà cũn chỳ ý đến dữ liệu ngoài và sỏt biờn.
Việc thiết kế trường hợp kiểm định qua phõn tớch giỏ trị biờn được tiến hành theo từng trường hợp cụ thể sau đõy:
- Nếu điều kiện vào xỏc định một miền được giới hạn bởi cỏc giỏ trị a và b thỡ cỏc
trường hợp kiểm định được xỏc định ngay tại a và b đồng thời ngay trờn và ngay dưới a và b.
- Nếu điều kiện vào xỏc định ngay một số giỏ trị thỡ xõy dựng trường hợp kiểm
định cho giỏ trị cực đại, cực tiểu, cỏc giỏ trị ngay dưới (hoặc ngay trờn) giỏ trị cực đại (hoặc cực tiểu).
- Nguyờn tắc 1 và 2 được ỏp dụng cho cỏc điều kiện đầu ra.
- 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 100 phần tử), tập trung thiết kế trường hợp kiểm định thực thi cấu trỳc dữ liệu tại biờn của nú.
Bằng việc ỏp dụng cỏc hướng dẫn trờn, việc kiểm định biờn sẽ đầy đủ hơn và do đú cú thể đưa ra những khả năng phỏt hiện ra lỗi.
Ngoài ra, việc thực hiện kiểm định cú thể dựa vào sự phỏn đoỏn và kinh nghiệm của mỗi người để đưa ra được những trường hợp kiểm định.
Núi chung, mục tiờu của việc thiết kế cỏc trường hợp kiểm định là suy dẫn ra một tập cỏc phộp kiểm định để phỏt hiện ra khiếm khuyết của phần mềm một cỏch ớt tốn thời gian và cụng sức nhất.
Vớ dụ 1: Giả sử một chương trỡnh nhận dữ liệu vào là X thuộc tập số nguyờn. Để kiểm
trị biờn. Như vậy, dữ liệu nhập vào cú thể nằm ở biờn (X=0) hoặc ở hai phớa của biờn. Từ đú, ta cú 3 trường hợp thử: X = 0, X = -20 và X = 14.
Lưu ý: Giỏ trị -20 và 14 được chọn tựy ý, nằm ở hai phớa của biờn.
Vậy, với việc sử dụng phương phỏp phõn tớch giỏ trị biờn, ta cú 3 lớp tương đương, một lớp tương đương chỉ chứa giỏ trị X = 0, hai lớp cũn lại cú thể là cỏc giỏ trị tựy ý ở hai phớa của biờn.
Vớ dụ 2: Giả sử một chương trỡnh nhận vào hai giỏ trị thuộc tập số nguyờn X và Y với
x1≤ X ≤ x2 và y1≤Y ≤ y2.
Ta cú cỏc giỏ trị được mụ hỡnh húa theo sơ đồ sau:
Trong trường hợp này, 4 cạnh của hỡnh chữ nhật chớnh là cỏc giỏ trị biờn. Phương phỏp chọn giỏ trị để kiểm định trong trường hợp này là:
- Cỏc giỏ trị ở 4 gúc (trường hợp kiểm định 1, 2, 3, 4).
- Cỏc giỏ trị sỏt phớa ngoài 4 cạnh (trường hợp kiểm định 5, 6, 7, 8). - Giỏ trị nằm trong vựng hỡnh chữ nhật (trường hợp kiểm định 9). - Giỏ trị nằm ngoài vựng hỡnh chữ nhật (trường hợp kiểm định 9). Như vậy, ta cú tất cả 14 trường hợp kiểm định.
c. Kỹ thuật đồ thị nhõn quả
Đồ thị nhõn quả là một kỹ thuật thiết kế ca kiểm định, nú cung cấp một biểu diễn chớnh xỏc cỏc điều kiện logic và cỏc hành động tương ứng.
Đồ thị nhõn - quả sử dụng mụ hỡnh cỏc quan hệ logic giữa cỏc nguyờn nhõn và kết quả cho thành phần phần mềm. Mỗi nguyờn nhõn được biểu diễn như một điều kiện (đỳng hoặc sai) của một đầu vào, hoặc kết hợp cỏc đầu vào với nhau. Mỗi kết quả được biểu diễn như một biểu thức Bool, biểu diễn một kết quả tương ứng cho những thành phần vừa thực hiện.
Kỹ thuật đồ thị nhõn quả gồm bốn bước sau đõy:
- Cỏc nguyờn nhõn (điều kiện vào) và kết quả (hành động) được lập danh sỏch cho
một mụđun và mỗi chỳng được gỏn một định danh. - Phỏt triển một đồ thị nhõn quả.