Bài tập lớn Kỹ thuật phần mềm - Đề tài: Tìm hiểu các kỹ thuật kiểm thử phần mềm ứng dụng trong lập trình Java
TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI
VIỆN CÔNG NGHỆ THÔNG TIN VÀ TRUYỀN THÔNG
BÀI TẬP LỚN
Kỹ thuật phần mềm
Đề tài: Tìm hiểu các kỹ thuật kiểm thử phần mềm
ứng dụng trong lập trình Java.
Nhóm sinh viên thực hiện: FSE20
Trần Văn Bích
20080215
20080316
20080070
20082449
Nguyễn Chí Công
Nguyễn Khắc Hưng
Bùi Huy Thắng
Giảng viên hướng dẫn: Vũ Thị Hương Giang
Hà Nội, 2011
Mục Lục
I. Giới thiệu đề tài .................................................................................................................................. 3
Kiểm thử phần mềm........................................................................................................................ 4
1. Kiểm thử phần mềm là gì? .............................................................................................................. 4
2. Quá trình kiểm thử phần mềm......................................................................................................... 4
3. Các cấp độ kiểm thử phần mềm ...................................................................................................... 5
4. Các nguyên tắc kiểm thử phần mềm ............................................................................................... 7
Giới thiệu về JUnit.......................................................................................................................... 9
1. Giới thiệu về JUnit Framework....................................................................................................... 9
2. Các đặc điểm của JUnit................................................................................................................... 9
3. Cấu trúc lớp của JUnit..................................................................................................................... 9
4. Sử dụng JUnit ............................................................................................................................... 10
Các kĩ thuật kiểm thử phần mềm................................................................................................... 12
1. Kiểm thử hộp đen (Black Box Testing)......................................................................................... 12
i. Định nghĩa................................................................................................................................. 12
ii. Nguyên lý hoạt động................................................................................................................. 12
Trường hợp ứng dụng ........................................................................................................... 13
Ưu điểm/ Nhược điểm........................................................................................................... 23
v. Demo......................................................................................................................................... 23
2. Kiểm thử hộp trắng (White Box Testing)...................................................................................... 25
i. Định nghĩa................................................................................................................................. 25
ii. Đặc điểm................................................................................................................................... 26
Các kĩ thuật kiểm thử ............................................................................................................ 27
Ưu điểm / Nhược điểm.......................................................................................................... 32
v. Thiết kế trường hợp thử trên JUnit............................................................................................ 33
3. Kiểm thử hộp xám (Gray Box Testing)......................................................................................... 35
V. Tổng kết............................................................................................................................................ 36
Phụ lục .......................................................................................................................................... 37
TÀI LIỆU THAM KHẢO ........................................................................................................................ 38
2
I.
Giới thiệu đề tài
“Lỗi phần mềm là chuyện hiển nhiên của cuộc sống. Chúng ta dù cố gắng đến mức nào thì
thực tế là ngay cả những lập trình viên xuất sắc nhất cũng không có thể lúc nào cũng viết được
những đoạn mã không có lỗi. Tính trung bình, ngay cả một lập trình viên loại tốt thì cũng có từ
1 đến 3 lỗi trên 100 dòng lệnh. Người ta ước lượng rằng việc kiểm tra để tìm ra các lỗi này
chiếm phân nửa khối lượng công việc phải làm để có được một phần mềm hoạt động được”.
(Software Testing Techniques, Second Edition, by Boris Beizer, Van Nostrand Reinhold, 1990,
ISBN 1850328803).
Thật vậy, ngày nay càng ngày các chương trình (các phần mềm) càng trở lên phức tạp và đồ
sộ. Việc tạo ra một sản phẩm có thể bán được trên thị trường đòi hỏi sự nổ lực của hàng chục,
hàng trăm thậm chí hàng ngàn nhân viên. Số lượng dòng mã lên đến hàng triệu. Và để tạo ra
một sản phẩm thì không phải chỉ do một tổ chức đứng ra làm từ đầu đến cuối, mà đòi hỏi sự
liên kết, tích hợp của rất nhiều sản phẩm, thư viện lập trình, … của nhiều tổ chức khác nhau…
Từ đó đòi hỏi việc kiểm nghiệm phần mềm càng ngày càng trở nên rất quan trọng và rất phức
tạp.
Song song với sự phát triển các công nghệ lập trình, các ngôn ngữ lập trình… thì các công
nghệ và kỹ thuật kiểm nghiệm phần mềm ngày càng phát triển và mang tính khoa học. Bài tiểu
luận này với mục đích là tập hợp, nghiên cứu, phân tích các kỹ thuật, các công nghệ kiểm
nghiệm phần mềm đang được sử dụng và phát triển hiện nay.
3
II. Kiểm thử phần mềm
1. Kiểm thử phần mềm là gì?
Kiểm thử phần mềm có nhiều cách định nghĩa khác nhau. Tuy nhiên, chúng cùng bao
trùm hai nội dung cơ bản là phát hiện lỗi và đánh giá chất lượng của phần mềm. Định nghĩa sau
đây của Myers là đơn giản và có tính thực tế: “Kiểm thử là tiến trình thực thi chương trình với
mục đích tìm thấy lỗi”. Theo định nghĩa của Myers, kiểm thử mà không phát hiện được lỗi được
coi là không thành công.
Hình 1: Kiểm thử phần mềm
Mục đích của kiểm thử là phát hiện lỗi vì trong thực tế phần mềm hầu như không bao giờ
không chứa lỗi.
2. Quá trình kiểm thử phần mềm
Quát trình kiểm thử phần mềm nhằm đạt được 2 mục tiêu:
Chứng minh cho người phát triển và khách hàng thấy các yêu cầu của phần mềm.
(Giải thích sự hoạt động chính xác – Paul Jorgensen)
Phát hiện ra các lỗi và khiếm khuyết trong phần mềm: phần mềm thực hiện không
đúng, không như mong đợi hoặc không làm theo như đặc tả.
4
Hình 3: Sơ đồ các cấp độ kiểm thử
a. Kiểm thử đơn vị - Unit test
Một đơn vị là một thành phần phần mềm nhỏ nhất mà ta có thể kiểm thử được. Ví dụ, các
hàm (Function), thủ tục (Procedure), lớp (Class) hay phương thức (Method) đều có thể được
xem là Unit.
Unit Test thường do lập trình viên thực hiện. Công đoạn này cần được thực hiện càng sớm
càng tốt trong giai đoạn viết code và xuyên suốt chu kỳ phát triển phần mềm. Mục đích của Unit
Test là bảo đảm thông tin được xử lý và xuất (khỏi Unit) là chính xác, trong mối tương quan với
dữ liệu nhập và chức năng của Unit. Điều này thường đòi hỏi tất cả các nhánh bên trong Unit đều
phải được kiểm tra để phát hiện nhánh phát sinh lỗi. Một nhánh thường là một chuỗi các lệnh
được thực thi trong một Unit.
b. Kiểm thử tích hợp - Intergration Test
Intergration test kết hợp các thành phần của một ứng dụng và kiểm thử như một ứng dụng đã
hoàn thành. Trong khi Unit Test kiểm tra các thành phần và Unit riêng lẻ thì Intgration Test kết
hợp chúng lại với nhau và kiểm tra sự giao tiếp giữa chúng.
Hai mục tiêu chính của Integration Test:
Phát hiện lỗi giao tiếp xảy ra giữa các Unit.
Tích hợp các Unit đơn lẻ thành các hệ thống nhỏ (Subsystem) và cuối cùng là
nguyên hệ thống hoàn chỉnh (System) chuẩn bị cho kiểm thử ở mức hệ thống
(System Test).
c. Kiểm thứ hệ thống – System test
Mục đích System Test là kiểm thử thiết kế và toàn bộ hệ thống (sau khi tích hợp) có thỏa
mãn yêu cầu đặt ra hay không.
System Test bắt đầu khi tất cả các bộ phận của phần mềm đã được tích hợp thành công.
Thông thường loại kiểm thử này tốn rất nhiều công sức và thời gian. Trong nhiều trường hợp,
việc kiểm thử đòi hỏi một số thiết bị phụ trợ, phần mềm hoặc phần cứng đặc thù, đặc biệt là các
ứng dụng thời gian thực, hệ thống phân bố, hoặc hệ thống nhúng. Ở mức độ hệ thống, người
kiểm thử cũng tìm kiếm các lỗi, nhưng trọng tâm là đánh giá về hoạt động, thao tác, sự tin cậy và
các yêu cầu khác liên quan đến chất lượng của toàn hệ thống.
Điểm khác nhau then chốt giữa Integration Test và System Test là System Test chú trọng các
hành vi và lỗi trên toàn hệ thống, còn Integration Test chú trọng sự giao tiếp giữa các đơn thể
hoặc đối tượng khi chúng làm việc cùng nhau. Thông thường ta phải thực hiện Unit Test và
6
Integration Test để bảo đảm mọi Unit và sự tương tác giữa chúng hoạt động chính xác trước khi
thực hiện System Test.
System Test kiểm thử cả các hành vi chức năng của phần mềm lẫn các yêu cầu về chất lượng
như độ tin cậy, tính tiện lợi khi sử dụng, hiệu năng và bảo mật. Mức kiểm thử này đặc biệt thích
hợp cho việc phát hiện lỗi giao tiếp với phần mềm hoặc phần cứng bên ngoài, chẳng hạn các lỗi
"tắc nghẽn" (deadlock) hoặc chiếm dụng bộ nhớ. Sau giai đoạn System Test, phần mềm thường
đã sẵn sàng cho khách hàng hoặc người dùng cuối cùng kiểm thử chấp nhận sản phẩm
(Acceptance Test) hoặc dùng thử (Alpha/Beta Test).
d. Kiểm thử chấp nhận sản phẩm - Acceptance Test
Thông thường, sau giai đoạn System Test là Acceptance Test, được khách hàng thực hiện
(hoặc ủy quyền cho một nhóm thứ ba thực hiện). Mục đích của Acceptance Test là để chứng
minh phần mềm thỏa mãn tất cả yêu cầu của khách hàng và khách hàng chấp nhận sản phẩm (và
trả tiền thanh toán hợp đồng).
Acceptance Test có ý nghĩa hết sức quan trọng, mặc dù trong hầu hết mọi trường hợp, các
phép kiểm thử của System Test và Acceptance Test gần như tương tự, nhưng bản chất và cách
thức thực hiện lại rất khác biệt.
4. Các nguyên tắc kiểm thử phần mềm
Để kiểm thử đạt hiệu quả thì khi tiến hành kiểm thử phần mềm cần phải tuân thủ một số
quy tắc sau:
Quy tắc 1: Một phần quan trọng của 1 ca kiểm thử là định nghĩa của đầu ra hay kết quả mong
muốn.
Quy tắc 2: Lập trình viên nên tránh tự kiểm tra chương trình của mình.
Quy tắc 3: Nhóm lập trình không nên kiểm thử chương trình của chính họ.
Quy tắc 4: Kiểm tra thấu đáo mọi kết quả của mỗi kiểm tra.
Quy tắc 5: Các ca kiểm thử phải được viết cho các trạng thái đầu vào không hợp lệ và không
mong muốn, cũng như cho các đầu vào hợp lệ và mong muốn.
Quy tắc 6: Khảo sát 1 chương trình để xem liệu chương trình có thực hiện cái mà nó cần thực
hiện chỉ là 1 phần, phần còn lại là xem liệu chương trình có thực hiện cái mà nó
không cần phải thực hiện hay không.
Quy tắc 7: Tránh các ca kiểm thử bâng quơ trừ khi chương trình thực sự là 1 chương trình bâng
quơ.
Quy tắc 8: Không dự kiến kết quả của kiểm thử theo giả thiết ngầm là không tìm thấy lỗi.
7
Quy tắc 9: Xác suất tồn tại lỗi trong 1 đoạn chương trình là tương ứng với số lỗi đã tìm thấy
trong đoạn đó.
Quy tắc 10: Kiểm thử là 1 nhiệm vụ cực kỳ sáng tạo và có tính thử thách trí tuệ.
8
III. Giới thiệu về JUnit
1. Giới thiệu về JUnit Framework
JUnit là một framework đơn giản dùng cho việc tạo các unit testing tự động, và chạy các
test có thể lặp đi lặp lại. Nó chỉ là một phần của họ kiến trúc xUnit cho việc tạo các unit testing.
JUnit là một chuẩn trên thực tế cho unit testing trong Java. JUnit về nguồn gốc được viết bởi 2
tác giả Erich Gamma và Kent Beck.
2. Các đặc điểm của JUnit
i. Xác nhận (assert) việc kiểm tra kết quả được mong đợi.
ii. Các test suite cho phép ta dễ dàng tổ chức và chạy các test.
iii. Hỗ trợ giao diện đồ họa và giao diện dòng lệnh.
iv. Các test case của JUnit là các lớp của Java, nó bao gồm một hay nhiều
phương thức unit testing, và các test này lại được nhóm thành test suite.
v. Các test trong JUnit được thiết kế để khi chạy mà không cần có sự can
thiệp của con người.
3. Cấu trúc lớp của JUnit
Hình 4: Cấu trúc JUnit
9
junit.framework.TestCase, lớp cha cho tất cả các test case, thừa kế từ lớp
junit.framework.Assert. Lớp này định nghĩa khá nhiều các phương thức assertXXX().
Các phương thức test hoạt động bằng cách gọi những phương thức này.
Tạo phương thức test:
public void testXXX()
assertions per method
Phương thức setUp/tearDown nếu dữ liệu sử dụng được chia sẻ trong TestCase.
Các phương thức :
Các phương thức assertXXX() được dùng để kiểm tra các điều kiện khác nhau có trong lớp
junit.framework.Assert.
• Boolean assertEquals(): So sánh hai giá trị để kiểm tra bằng nhau. Phép thử thất bại nếu hai giá
trị không bằng nhau.
• Boolean assertFalse(): Đánh giá biểu thức logic. Phép thử thất bại nếu biểu thức đúng.
• Boolean assertNotNull(): So sánh tham chiếu của một đối tượng với Null. Phép thử thất bại nếu
tham chiếu đối tượng Null.
• Boolean assertNotSame(): So sánh địa chỉ vùng nhớ của hai tham chiếu hai đối tượng bằng
cách sử dụng toán tử ==. Phép thử thất bại trả về nếu cả hai đều tham chiếu đến cùng một đối
tượng.
• Boolean assertNull(): So sánh tham chiếu của một đối tượng với giá trị Null. Phép thử thất bại
nếu đối tượng không là Null.
• Boolean assertSame(): So sánh địa chỉ vùng nhớ của hai tham chiếu đối tượng bằng cách sử
dụng toán tử ==. Phép thử thất bại nếu cả hai không tham chiếu đến cùng một đối tượng.
• Boolean assertTrue(): Đánh giá một biểu thức logic. Phép thử thất bại nếu biểu thức sai.
• void fail(): Phương thức này làm cho test hiện tại thất bại, phương thức này thường được sử
dụng khi xử lý các ngoại lệ.
11
IV. Các kĩ thuật kiểm thử phần mềm
1. Kiểm thử hộp đen (Black Box Testing).
i. Định nghĩa
Định nghĩa: Kiểm thử hộp đen hay còn gọi là kiểm tra chức năng và thử nghiệm hành
vi. Xem chương trình như là một “hộp đen” , hoàn toàn không quan tâm về cách cư
xử và cấu trúc bên trong của chương trình. Thay vào đó, Tập trung vào tìm các trường
hợp mà chương trình không thực hiện theo các đặc tả của nó.
Các phương pháp kiểm thử hộp đen:
o Phân lớp tương đương – Equivalence partitioning.
o Phân tích giá trị biên – Boundary value analysis.
o Kiểm thử mọi cặp – All-pairs testing.
o Kiểm thử fuzz – Fuzz testing.
o Kiểm thử dựa trên mô hình – Model-based testing.
o Ma trận dấu vết – Traceability matrix.
o Kiểm thử thăm dò – Exploratory testing.
o Kiểm thử dựa trên đặc tả – Specification-base testing
Đặc điểm:
Kiểm thử dựa trên đặc tả tập trung vào kiểm tra tính thiết thực của phần mềmtheo những
yêu cầu thích hợp. Do đó, kiểm thử viên nhập dữ liệu vào, và chỉ thấydữ liệu ra từ đối
tượng kiểm thử. Mức kiểm thử này thường yêu cầu các ca kiểm thửtriệt để được cung cấp cho
kiểm thử viên mà khi đó có thể xác minh là đối với dữliệu đầu vào đã cho, giá trị đầu
ra (hay cách thức hoạt động) có giống với giá trịmong muốn đã được xác định trong ca
kiểm thử đó hay không. Kiểm thử dựa trênđặc tả là cần thiết, nhưng không đủ để để ngăn
chặn những rủi ro chắc chắn.
ii. Nguyên lý hoạt động
12
Kiểm thử hộp đen không có mối liên quan nào tới mã lệnh, và kiểm thử
viênchỉ rất đơn giản tâm niệm là: một mã lệnh phải có lỗi. Sử dụng nguyên tắc
“ Hãy đòi hỏi và bạn sẽ được nhận”, những kiểm thử viên hộp đen tìm ra lỗi mà những
lậptrình viên đã không tìm ra. Nhưng, mặt khác, người ta cũng nói kiểm thử hộp
đen“giống như là đi trong bóng tối mà không có đèn vậy”, bởi vì kiểm thử viên không biết
các phần mềm được kiểm tra thực sự được xây dựng như thế nào. Đó là lý domà
có nhiều trường hợp mà một kiểm thử viên hộp đen viết rất nhiều ca kiểm thử đểkiểm tra
một thứ gì đó mà đáng lẽ có thể chỉ cần kiểm tra bằng 1 ca kiểm thử duynhất,
và/hoặc một số phần của chương trình không được kiểm tra chút nào.
Các bước :
-
o Ban đầu yêu cầu và thông số kỹ thuật của hệ thống được kiểm tra.
o Tester chọn đầu vào hợp lệ (tích cực thử nghiệm kịch bản) để kiểm tra liệu
SUT(Software Under Test) xử lý chúng một cách chính xác. Ngoài ra một số nguyên
liệu đầu vào không hợp lệ (tiêu cực thử nghiệm kịch bản) được lựa chọn để xác minh
rằng SUT có thể phát hiện ra chúng.
o Tester xác định kết quả đầu ra dự kiến cho tất cả những yếu tố đầu vào.
o Thử phần mềm xây dựng trường hợp thử nghiệm với các yếu tố đầu vào được lựa
chọn.
o Các trường hợp kiểm tra được thực hiện.
o Phần mềm thử so sánh kết quả thực tế với kết quả mong đợi.
o Khuyết tật nếu có được cố định và thử nghiệm lại.
iii. Trường hợp ứng dụng
Phân lớp tương đương - Equivalence partitioning.
Ý tưởng : phân hoạch miền dữ liệu vào thành các dữ liệu có lien hệ với nhau
Mỗi lớp dùng để kiểm thử 1 chức năng , gọi là lớp tương đương.
-
-
13
-
-
Các bước : 3 bước
o Đối với dữ liệu đầu vào , xác định các lớp tương đương từ miền dữ liệu.
o Chọn dữ liệu đại diện cho mỗi lớp tương đương
o Kết hợp các dữ liệu thử bởi tích đề các để tạo ra bộ dữ liệu kiểm thử.
Nguyên tắc phân hoạch các lớp tương đương
o Nếu dữ liệu vào phụ thuộc một khoảng , xây dựng
. 1 lớp các giá trị lớn hơn
. 1 lớp các giá trị nhỏ hơn
. N các giá trị hợp lệ
o Nếu dữ liệu là tập hợp các giá trị , Xây dựng
. 1 lớp tập rỗng
. 1 lớp quá nhiều các giá trị
. N lớp hợp lệ
o Nếu dữ liệu đầu vào là điều kiện ràng buộc , xây dựng
. 1 lớp các ràng buộc được thỏa mãn.
. 1 lớp với ràng buộc không được thỏa mãn.
Ví dụ : Bài toán tam giác
Nhọn
6,5,3
6,1,6
4,4,4
Vuông
3,4,5
Tù
Thường
Cân
5,6,10
7,4,4
, 2,
√
√
Đều
Không thể
Không thể
Không là tam giác -1,2,8
14
Phân tích giá trị biên - Boundary value analysis.:
Cơ sở : lỗi thường xuất hiện gần các giá trị biên của miền dữ liệu.
Tập trung phân tích các giá trị biên của miền dữ liệu để xây dựng dữ liệu kiểm thử.
Nguyên tắc kiểm thử các dữ liệu bao gồm:
o Giá trị nhỏ nhất.
o Giá trị gần kề lớn hơn giá trị nhỏ nhất.
o Giá trị bình thường.
o Giá trị gần kề nhỏ hơn giá trị lớn nhất
o Giá trị lớn nhất
Nguyên tắc chọn dữ liệu thử
o Nếu dữ liệu vào thuộc một khoảng , chọn
. 2 Giá trị biên.
. 4 giá trị = Giá trị biên ± sai số nhỏ nhất
o Nếu giá trị vào phụ thuộc danh sách các giá trị , chọn phần tử lớn thứ nhất , phần
tử thứ hai , phần tử kế cuối , phần tử cuối.
o Nếu dữ đầu vào là điều kiện ràng buộc số giá trị , chọn số giá trị tối thiểu và số
giá trị tối đa và một số giá trị không hợp lệ.
Ví dụ : Chương trình nhận vào ba số thực , kiểm tra xem có phải là độ dài ba cạnh tam giác
hay không ? nếu là độ dài ba cạnh tam giác thì kiểm tra xem là tam giác thường , cân , vuông
, nhọn , tù .
Các giá trị cần kiểm tra:
Dữ liệu thử
1, 1, 2
0, 0, 0
Không là tam giác
Chỉ là một điểm
4, 0, 3
Một cạnh bằng không
Gần là 1 tam giác
Tam giác rất nhỏ
Tam giác rất lớn
Tam giác gần đều
1, 2, 3.000001
0.001, 0.001, 0.001
99999, 99999, 99999
3.00001, 3, 3
15
2.99999, 3, 4
3, 4, 5.000001
3, 4, 5, 6
3
Tam giác gần cân
Tam giác gần vuông
Bốn giá trị
Chỉ 1 giá trị
Dữ liệu rỗng
Giá trị âm
-3, -4, -5
Bảng quyết định- Decision Table Bases testing.
-
-
Làm giảm số lượng tets casse không cần thiết so với 2 kỹ thuật trên vì nó loại trừ các phép
kết hợp không cần thiết giữa các giá trị biến đầu vào.
Liệt kê nguyên nhân (cause) – kết quả (result) trong một ma trận. Mỗi cột ma trận đại diện
cho 1 phép kết hợp giữa các cause trong trong việc tạo ra 1 result
-
Các bước để tạo bảng quyết định
o Liệt kê các nguyên nhân trong bảng quyết định
o Tính tổng số lượng kết hợp giữa các cause
o Điền vào các cột với tất cả các kết hợp có thể có
o Rút bớt số lượng các phép kết hợp dư thừa
o Kiểm tra các phép kết hợp có bao phủ hết mọi trường hợp hay không
o Bổ xung kết quả vào bảng quyết định
Ví dụ : Bài toán kiểm tra loại chiều dài 3 cạnh a,b,c
B1: Liệt kê tất cả các nguyên nhân
o Điền giá trị vào từng cause
o Nhóm các cause có liên quan
o Sắp xếp các Cause theo thứ tự
16
B2: Tính tổng số kết hợp giữa các cause
o Tổng số phép kết hợp = (Số lượng value cause 1)*…*(Số lượng value của cause n).
Ví dụ: Mỗi cause có 2 giá trị true , false -> Tổng số phép kết hợp là : .
B2: Điền giá trị các cột vào trong bảng
o Thuật toán
. Xác định số lần lặp lại (RF) trong từng giá trị của cause bằng cách lấy tổng số
phép kết hợp còn lại chia cho số values mà cause có thể nhận
. Điền dữ liệu cho dòng thứ i : Điền RF lần giá trị đầu tiên của cause i , tiếp
theo RF lần theo giá trị tiếp theo của cause I cho đến khi dòng đầy
. Chuyển sang dòng kế tiếp và quay lại bước 1 thực hiện
Ví dụ :
Bước 4 : Giảm số phép kết hợp
17
o Duyệt qua tất cả các ô trong từng cột, ô nào mà kết quả của nó không ảnh hưởng đến
result thì đặt giá trị trên ô này là “-”
o Ghép các cột với lội dung giống nhau thành 1 cột
Bước 5 : Kiểm tra độ bao phủ của các phép kết hợp
o Tính rule-count trên từng cột(số lượng phép kết hợp) mà cột này có thể thực hiện.
o Với các dòng có giá trị là “-” thì lũy thừa 2
o Nếu tổng của các rule-count bằng với tổng số kết hợp giữa các cause trong bước 2 thì
bẳng quyết định này đầy đủ
Bước 6 : Bổ xung kết quả vào trong bảng
o Duyệt qua từng cột và check vào kết quả
o Nhiều cột khác nhau có thể cho ra cùng 1 kết quả giống nhau
18
Đồ thị nguyên nhân kết quả.
-
-
Là kỹ thuật thiết kế test case dựa tên đồ thị
Tập trung vào việc xác định các mối kết hợp giữa các điều kiện và kết quả mà các mối kết
hợp mang lại.
-
Các bước xây dựng đồ thị:
o B1: Phân chia hệ thống thành vùng hoạt động
o B2: Xác định nguyên nhân kết quả
o B3: Chuyển nội dung ngữ nghĩa trong đặc tả thành đồ thị liên kết các cause và result
o B4: Chuyển đổi đồ thị thành bảng quyết định
o B5: Thiết lập danh sách test case từ bảng quyết định. Mỗi test case tương ứng với 1
cột trong bảng quyết định
19
B1: Phân chia hệ thống thành các vùng hoạt động
o Phân rã các yêu cầu chức năng thành danh sách các functions hay sub_functions
B2:Xác định nguyên nhân kết quả
o Dựa vào đặc tả , xác định các cause và chỉ định mỗi cause này định danh ID.
. Mỗi 1 cause có thể xem như là 1 input conditions hoặc là đại diện của 1 lớp
tương đương input conditions
o Dựa vào đặc tả xác định kết quả hoặc thay đổi trạng thái của hệ thống và chỉ định mỗi
kết quả 1 định danh ID
. Kết quả có thể là ouput action , output option hay là đại diện của 1 lớp tương
đương output conditions.
Ví dụ : Xét đặc tả hệ thống tính phí bảo hiểm xe ô tô
. Đối với nữ < 65 tuổi , phí bảo hiểm là : 500$
. Đối với nam < 25 tuổi , phí bảo hiểm là : 3000$
. Đối với nam từ 25 tuổi đến 64 tuổi , phí bảo hiểm là : 1000$
. Nếu tuổi từ 65 trở lên, phí bảo hiểm là : 1500$
Có 2 yếu tố xác định phí bảo hiểm : giới tính và tuổi
20
Tải về để xem bản đầy đủ
38 trang
15980
Free
Bạn đang xem 20 trang mẫu của tài liệu "Bài tập lớn Kỹ thuật phần mềm - Đề tài: Tìm hiểu các kỹ thuật kiểm thử phần mềm ứng dụng trong lập trình Java", để tải tài liệu gốc về máy hãy click vào nút Download ở trên
File đính kèm:
- bai_tap_lon_ky_thuat_phan_mem_de_tai_tim_hieu_cac_ky_thuat_k.pdf
