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

n đồ thị luồng ta sử dụng ký pháp sau: Tuần tự Trong đó: If else While Repeat Until Case Hình Các ký pháp đồ thị luồng - Nút có loại sau: + Nút thể hay nhiều câu lệnh + Nút điều kiện thể điều kiện nhánh + Nút phụ (khơng bắt buộc), hiểu đơn giản ví dụ nối điểm cấu trúc if else, Nút có chứa điều kiện gọi nút tân từ, biểu thức logic tổ hợp tạo nhiều nút tân từ cạnh bổ sung - Cạnh thể luồng thực điều khiển Mỗi cạnh phải kết thúc nút - Vùng miền xác định giới hạn cạnh nút Vùng tính miền nằm bên ngồi đồ thị chúng tính vùng Khi biểu diễn đồ thị luồng, biểu thức logic tổ hợp nhiều phép tốn logic phân tích thành điều kiện đơn 3 ỨNG DỤNG KIỂM THỬ CÁC ĐƯỜNG CƠ SỞ Bài tốn minh họa với mã nguồn chương trình giải phương trình bậc 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 then Begin If delta < 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 sở thực sau: (1) Phân tích, xác định yêu cầu mức độ kiểm thử đường sở Yêu cầu phân tích mã nguồn, xác định mức độ kiểm thử tập đường sở độc lập tuyến tính Mỗi đường tiến hành kiểm thử kỹ thuật phân hoạch tương đương phân tích giá trị biên (2) Vẽ lưu đồ, đồ thị luồng 1 NhËp a,b,c; a=0 F Delta:=sqr(b)- T (3) Xác định V(G) Cách 1: V(G) = (số vùng đồ thị G) Cách 2: V (G) = E-N+2= 13-11+2 = (với E số cạnh, N số nút) Cách 3: V (G) =P+1 =3+1=4 (với P số nút tân từ có đồ thị luồng G) (4) Xác định tập đường sở độc lập tuyến tính Đường độc lập tuyến tính 1: - - - 10 - 11 Đường độc lập tuyến tính 2: - - - - - - 11 Đường độc lập tuyến tính 3: - - - - -6 - - 11 Đường độc lập tuyến tính 4: - - - - -6 - - 11 (5) Thiết kế trường hợp kiểm thử -Trường hợp kiểm thử Đầ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,3,2}; 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, nhiên thực tế tùy trường hợp cụ thể để vận dụng thích hợp Kiểm thử hộp trắng xây dựng sở lý thuyết, vận dụng thực tế toán lớn Kỹ thuật kiểm thử đường sở đưa hỗ trợ cho người dùng vận dụng cách thuận lợi kiểm thử phần mềm, kết hợp với phương pháp khác nhằm hạn chế lỗi, giảm chi phí thực thời gian cách đáng kể làm tăng độ tin cậy sản phẩm phần mềm qua kiểm thử Bài viết minh hoạ toán đơn giản kiểm thử đường sở, mấu chốt xác định đường sở, qua áp dụng phương pháp để test dạng toán tương tự kỳ thi Tin học trẻ TÀI LIỆU THAM KHẢO [1] [2] [3] [4] [5] [6] Nguyễn Xn 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 toán Tin học, Nhà xuất Giáo dục Lê Đức Trung, (2001) Công nghệ Phần mềm, Nhà xuất Khoa học 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 Khoa học 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 http://www.ddj.com/articles/2000/0003/0003a/0003a.htm, White-Box Testing (2005) [9] http://www.softwaretest.force9.co.uk/cont240.htm 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  ... Xác định V(G) Cách 1: V(G) = (số vùng đồ thị G) Cách 2: V (G) = E-N+2= 13-11+2 = (với E số cạnh, N số nút) Cách 3: V (G) =P+1 =3+1=4 (với P số nút tân từ có đồ thị luồng G) (4) Xác định tập đường. .. pháp kiểm thử đường sở thực sau: (1) Phân tích, xác định yêu cầu mức độ kiểm thử đường sở Yêu cầu phân tích mã nguồn, xác định mức độ kiểm thử tập đường sở độc lập tuyến tính Mỗi đường tiến hành... gian cách đáng kể làm tăng độ tin cậy sản phẩm phần mềm qua kiểm thử Bài viết minh hoạ toán đơn giản kiểm thử đường sở, mấu chốt xác định đường sở, qua áp dụng phương pháp để test dạng toán tương