Lý thuyết Tin học 10 Cánh diều Bài 16: Kiểm thử và gỡ lỗi chương trình

Đây là bản xem th , vu ử i lòng mua tài li u ệ đ xe ể m chi ti t ế (có l i ờ gi i ả ) Bài 16. Ki m ể th và g ử l ỡ i ỗ chư ng t ơ rình 1. L i ỗ trong chư ng ơ trình và ki m ể thử Quá trình xác đ nh ị l i ỗ và s a ử l i ỗ đư c ợ g i ọ là g ỡ l i ỗ . Các l i ỗ thư ng ờ g p ặ như sau: - L i ỗ cú pháp là l i ỗ câu l nh ệ vi t
ế không theo đúng quy đ nh ị c a ủ ngôn ng , ữ l i ỗ thông báo c t ụ h , r ể õ ràng v đ ề c t ặ r ng l ư ỗi và n i ơ x y r ả a l i ỗ . Ví d : ụ Thi u ế ho c ặ th a ừ d u ấ ngo c ặ trong bi u ể th c, ứ tên bi n ế sau quy cách, … - Lỗi ngo i ạ lệ là l i ỗ Runtime, x y ả ra khi chư ng ơ trình đang ch y ạ , m t ộ l nh ệ nào đó không th c hi ự ện đư c, ợ lỗi s t
ẽ hông báo trên màn hình. - L i ỗ ngữ nghĩa là l i ỗ logic, dù vi t ế đúng quy đ nh ị c a ủ ngôn ngữ nh ng ư sai
trong thao tác xử lí nào đó. Vi t ế nh m ầ d u ấ phép tính, nh m ầ tên bi n, ế … là l i ỗ khó phát hiện nhất. Ví d : ụ Xét chư ng
ơ trình ở Hình 16.1a, chư ng ơ trình này th c ự hi n ệ yêu cầu nh p
ậ hai số nguyên p, q và danh sách a g m
ồ các số nguyên, sau đó đ a
ư ra max{|ai|, i = p, p + 1, …, q}. Bi t ế r ng các ằ ph n t ầ c ử a ủ danh sách a đư c ợ đánh ch s ỉ ố b t ắ đ u t ầ 0 và ừ 0 ≤ p ≤ q < len(a). Hình 1a: Chư ng ơ trình c n ki ầ m ể th và t ử ìm l i ỗ M i
ọ thắc mắc vui lòng xin vui lòng: 084 283 45 85
Đây là bản xem th , vu ử i lòng mua tài li u ệ đ xe ể m chi ti t (c ế ó l i ờ gi i ả ) Để ki m ể tra tính đúng đ n ắ c a ủ chư ng ơ trình so v i ớ yêu c u ầ đ ề bài, chu n ẩ bị các b d ộ l ữ i u vào. ệ Dữ li u ệ ki m ể thử ph i ả phù h p ợ v i ớ các ràng bu c
ộ đã cho và chia thành ba nhóm: - Ki m ể th nh ử ng t ữ rư ng h ờ p t ợ hư ng ờ g p t ặ rong th c t ự . ế - Ki m ể th nh ử ng t ữ rư ng h ờ p đ ợ ặc bi t ệ . - Ki m ể th nh ử ng t ữ rư ng h ờ p các ợ tham s nh ố n ậ giá tr l ị n nh ớ t ấ có th . ể 2. Truy v t ế và cách b s ổ ung câu l nh t ệ heo dõi k t ế qu t ả rung gian - Bổ sung vào chư ng ơ trình nh ng ữ câu l nh ệ đ a ư ra các k t ế quả trung gian nh m ằ truy v t ế các x l ử í c a ch ủ ư ng ơ trình. - Sau khi ch nh ỉ s a ử xong, c n ầ xóa đi các câu l nh ệ đã thêm để truy v t ế ho c ặ bi n chúng ế
thành dòng thông tin chú thích. - Sai sót có thể x y ả ra ngay khi nh p ậ dữ li u
ệ vào, đây cũng là chỗ c n ầ quan tâm khi tìm l i ỗ . - Câu l nh đ ệ đ ể a ư ra các ph n t ầ t ử ham gia tìm ki m ế max nh s ư au:
print (“i = “, I, “max= “ , max) Câu l nh ệ này có th ể đ t ặ trư c ớ hay sau câu l nh ệ đ a ư ra k t ế qu ả c a ủ chư ng ơ trình. 3. Truy v t ế v i ớ công c g ụ l ỡ i ỗ ngôn ng l ữ p t ậ rình Để kích ho t ạ ch đ ế ộ g l ỡ ỗi, c n t ầ h c ự hi n l ệ n l ầ ư t ợ thao tác sau: - Trên c a
ử sổ Shell, mở file chư ng ơ trình c n ầ g ỡ l i ỗ , k t ế qu ả là chư ng ơ trình này xuất hiện c ở a ử sổ Code. M i ọ thắc m c
ắ vui lòng xin vui lòng: 084 283 45 85
Đây là bản xem th , vu ử i lòng mua tài li u ệ đ xe ể m chi ti t ế (có l i ờ gi i ả ) - Ch n ọ Debug trên c a ử sổ Shell và ch n
ọ Debugger (Hình 3). K t ế quả là c a ử sổ Debug Control s xu ẽ t ấ hi n ( ệ Hình 4). - B t ắ đ u ầ th c ự hi n ệ chư ng ơ trình ti n ế hành bình thư ng ờ ch n ọ Run Module
(hoặc nhấn phím F5) trong c a ử s C ổ ode. - Ch n ọ Step để th c ự hi n ệ câu l nh ệ hi n ể thị phía dư i ớ , l nh ệ vào – ra dữ li u ệ nháy chu t ộ m t ộ số lần. Hình 5: S t ự hay đổi c a ủ bi n khi ế m t ộ câu l nh đ ệ ư c ợ th c hi ự n ệ 4. Thực hành g l ỡ i ỗ chư ng ơ trình
Bài toán: Cho a là danh sách các số nguyên. Em hãy t o ạ danh sách b có các
phần tử ở vị trí lẻ b ng ằ ph n ầ t ử ở vị trí tư ng ơ đư ng ơ c a ủ a, các ph n ầ t ử ở vị trí ch n ẵ b ng ph ằ n t ầ ử v ở t ị rí tư ng ơ ng c ứ a ủ a c ng t ộ hêm 1, t c l ứ à: a 1,i 0  , 2, 4,... i bi a , i 1  ,3,5,...  i M i
ọ thắc mắc vui lòng xin vui lòng: 084 283 45 85
Đây là bản xem th , vu ử i lòng mua tài li u ệ đ xe ể m chi ti t (c ế ó l i ờ gi i ả ) So sánh số lư ng ợ các ph n ầ t ử giá tr ịch n ẵ ở a v i ớ s ố lư ng ợ các ph n ầ t ử giá trị ch n ẵ b, đ a ư ra thông báo. G i ọ p là s ố lư ng ợ các ph n ầ t ử giá tr ịch n ẵ ở a, q là số lư ng ợ các ph n ầ tử giá tr ịch n ẵ ở b và đ a ư ra thông báo “a ít h n ơ n u ế p < q, “b ít h n” ơ n u p > q và “B ế ng nhau” t ằ rong trư ng ờ h p còn l ợ i ạ . Nhi m ệ v : ụ Chư ng ơ trình ở Hình 6 gi i ả bài toán đã nêu nh ng ư còn có l i ỗ và cần đư c ợ gỡ l i ỗ . Em hãy áp d ng ụ các phư ng ơ pháp truy v t ế để xác đ nh ị l i ỗ và đề xuất cách s a ử m t ộ số ít nh t ấ các câu l nh đ ệ có ch ể ư ng ơ trình đúng. Hư ng d ớ ẫn: - Phư ng
ơ pháp dùng công c g ụ l ỡ ỗi (Debug) Để gỡ l i ỗ c n ầ chu n ẩ bị m t
ộ danh sách số nguyên, ví d : ụ [5, 3, 2, 2, 1, 2]. Ch n
ọ Debugger sau đó ch n ọ Step để th c ự hi n ệ t ng ừ bư c ớ các câu l nh, ệ quan
sát giá trị hai danh sách a và b, Sau m t ộ vài l n ầ th c ự hi n ệ câu l nh ệ trong vòng l p: ặ
for i in range (0, n, 2) : b[i] = b[i] + 1 Ta th y ấ a và b đ ng ồ th i ờ thay đ i ổ giá tr ,ị m c ặ dù trong vòng l p ặ chỉ ch a ứ câu l nh ệ thay đ i ổ giá tr ịc a ủ danh sách b. Ví d , ụ sau khi i=2 ta có k t ế qu ả như Hình 7. M i ọ thắc m c
ắ vui lòng xin vui lòng: 084 283 45 85