XÁC ĐỊNH các ĐƯỜNG cơ sở với VIỆC TEST một số bài TOÁN (tt)

n các đồ thị luồng ta sử dụng các ký pháp sau:

...
Tuần tự

Trong đó:

If ..else

While..do

Repeat .. Until

Case

Hình 1. Các ký pháp đồ thị luồng

- Nút có các loại sau:
+ Nút thể hiện một hay nhiều câu lệnh.
+ Nút điều kiện thể hiện các điều kiện của nhánh.
+ Nút phụ (không bắt buộc), có thể hiểu đơn giản ví dụ nối các điểm trong các cấu trúc if
.. else,... .
Nút có chứa một điều kiện được gọi là nút tân từ, các biểu thức logic tổ hợp có thể tạo ra
nhiều nút tân từ và các cạnh bổ sung.
- Cạnh thể hiện luồng có thể thực hiện của sự điều khiển. Mỗi cạnh phải kết thúc tại một nút.
- Vùng là miền xác định giới hạn bởi các cạnh và các nút. Vùng còn được tính cả miền nằm bên
ngoài đồ thị và chúng được tính như là một vùng.
Khi biểu diễn các đồ thị luồng, các biểu thức logic tổ hợp nhiều phép toán logic được
phân tích thành các điều kiện đơn.

3. ỨNG DỤNG KIỂM THỬ CÁC ĐƯỜNG CƠ SỞ
Bài toán minh họa với mã nguồn chương trình giải phương trình bậc 2 như sau:
Program PTB2;
Var
a,b,c:Integer;
delta,x,x1,x2:Real;
Begin
Write('Nhap he so a,b,c');
Readln(a);Readln(b);Readln(c);
delta:=sqr(b)-(4*a*c);
If a<> 0 then
Begin
If delta < 0 then
Writeln('PTB2 vo nghiem')
Else
If delta=0 then
Begin
X:=-b/(2*a);
Writeln('PTB2 co nghiem X1=X2=',x:6:2);
End
Else
Begin
X1:=(-b-Sqrt(delta))/(2*a);
X2:=(-b+Sqrt(delta))/(2*a);
Writeln('Nghiem x1=',x1:6:2);
Writeln('Nghiem x2=',x2:6:2);
End;
End;
Else
Writeln('khong phai PT Bac 2');

Readln;
End.
Phương pháp kiểm thử đường cơ sở được thực hiện như sau:
(1) Phân tích, xác định yêu cầu mức độ kiểm thử đường cơ sở
Yêu cầu phân tích mã nguồn, xác định mức độ kiểm thử tập các đường cơ sở độc lập tuyến
tính. Mỗi đường sẽ được tiến hành kiểm thử bằng kỹ thuật phân hoạch tương đương và phân tích
giá trị biên.
(2) Vẽ lưu đồ, đồ thị luồng

1
1
NhËp a,b,c;

a=0

F

3
4

Delta:=sqr(b)-

2
T

2
3


(3) Xác định V(G)

Cách 1: V(G) = 4 (số vùng của đồ thị G).
Cách 2: V (G) = E-N+2= 13-11+2 = 4 (với E là số cạnh, N là số nút).
Cách 3: V (G) =P+1 =3+1=4 (với P số nút tân từ có trong đồ thị luồng G)
(4) Xác định tập các đường cơ sở độc lập tuyến tính
Đường độc lập tuyến tính 1: 1 - 2 - 3 - 10 - 11.
Đường độc lập tuyến tính 2: 1 - 2 - 3 - 4 - 5 - 9 - 11.
Đường độc lập tuyến tính 3: 1 - 2 - 3 - 4 - 5 -6 - 7 - 11.
Đường độc lập tuyến tính 4: 1 - 2 - 3 - 4 - 5 -6 - 8 - 11.
(5) Thiết kế các trường hợp kiểm thử
-Trường hợp kiểm thử 1
Đầu vào: {a,b,c} = {0,1,1};
Đầu ra: thông báo 'Khong Phai PTB2 '
-Trường hợp kiểm thử 2, (delta <0)
Đầu vào: {a,b,c} = {1,1,1} ;
Đầu ra: thông báo 'PTB2 VN'.
- Trường hợp kiểm thử 3, (delta =0)
Đầu vào: {a,b,c} = {2,-4,2} ;
Đầu ra: x1=x2= 1
- Trường hợp kiểm thử 4, (delta =0)
Đầu vào: {a,b,c} = {2,-8,8};
Đầu ra: x1=x2= 2
- Trường hợp kiểm thử 5, (delta >0)


Đầu vào: {a,b,c} = {1,3,2};
4. KẾT LUẬN

Đầu ra: x1=-1, x2= -2

Kỹ thuật kiểm thử phần mềm có nhiều phương pháp, tuy nhiên thực tế tùy từng trường hợp

cụ thể để vận dụng thích hợp. Kiểm thử hộp trắng được xây dựng trên cơ sở lý thuyết, ít được
vận dụng trong thực tế đối với các bài toán lớn. Kỹ thuật kiểm thử đường cơ sở được đưa ra trên
đây có thể hỗ trợ cho người dùng vận dụng một cách thuận lợi khi kiểm thử phần mềm, kết hợp
với các phương pháp khác nhằm hạn chế lỗi, giảm chi phí thực và thời gian một cách đáng kể và
làm tăng độ tin cậy của sản phẩm phần mềm qua kiểm thử. Bài viết minh hoạ một bài toán đơn
giản về kiểm thử đường cơ sở, mấu chốt là xác định được các đường cơ sở, qua đó có thể áp
dụng phương pháp để test các dạng bài toán tương tự trong các kỳ thi Tin học trẻ.
TÀI LIỆU THAM KHẢO
[1]
[2]
[3]
[4]
[5]
[6]

Nguyễn Xuân Huy (1994), Giáo trình Công nghệ Phần mềm, Trung tâm Tin học Đại học Tổng hợp Thành
phố Hồ Chí Minh.
Trần Đức Huyên (2002), Phương pháp giải các bài toán trong Tin học, Nhà xuất bản Giáo dục.
Lê Đức Trung, (2001) Công nghệ Phần mềm, Nhà xuất bản Khoa học và Kỹ thuật - Hà Nội.
Ngô Trung Việt, Nguyễn Kim Ánh (2003), Nhập môn Kỹ nghệ Phần mềm, Nhà xuất bản Khoa học và Kỹ
thuật - Hà Nội.
A.I. Antón, M. Vouk, L. Williams (2005), Software Testing, North Carolina State University.
Antonia Bertolino (2005), Software Testing Research and Practice

[8]

http:// www.applabs.com, AppLabs Inc (2005) White Box Testing, Philadelphia, PA 19103.
White-Box Testing (2005).

[9]

Software Testing Techniques (2005).

[7]

DEFINING THE INDEPENDENT PATHS TO
IMPLEMENT TEST SOME PROBLEMS
Le Minh Thang
Nguyen Quoc Tuan
Quang Binh University
Abtract: White box testing to softwares with different ways as well as aspects is unlimited.
Especially for the complicated softwares, comprehensive white box testing is inability; however, white
box test theories could be applied in some situations to solve tests in computer science problems in
examinations. This paper introduces steps of method. The method defines the independent paths through
the program to implement test some problems.