Lý thuyết Tin học 10 Kết nối tri thức Bài 30: 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 30. Ki m ể th và g ử ỡ l i ỗ chư ng t ơ rình 1. M t
ộ vài phư ng pháp k ơ i m ể th ch ử ư ng t ơ rình a) Quan sát mã l i ỗ Runtime và b t ắ l i ỗ ngo i ạ lệ - Chư ng ơ trình có l i ỗ Runtime, c n ầ quan sát các mã l i ỗ (l i ỗ ngo i ạ l ) ệ để ki m ể tra v t ị rí dòng l nh s ệ inh ra l i ỗ này. T đó phân t ừ ích, tìm và s l ử i ỗ . b) Ki m ể th ch ử ư ng ơ trình v i ớ các b d ộ l ữ i u t ệ est - Chư ng ơ trình đư c ợ thử v i ớ bộ dữ li u ệ test g m ồ đ u ầ vào tiêu bi u ể phụ thu c ộ đ c ặ thù c a ủ bài toán và k t ế quả đ u ầ ra đã bi t ế trư c. ớ C n ầ chú ý m t ộ số đi m ể sau: + Cần có nhi u ề b t ộ est. + Cần có b t ộ est ng u nhi ẫ ên. + Cần có b t ộ est d l ữ i u ệ vùng bi ở ên.
c) In các thông số trung gian
- Bổ sung vào gi a các dòng l ữ nh pr ệ int() đ i ể n ra các bi n t ế rung gian, qua đó ki m ể tra các quy đ nh hay t ị hu t ậ toán đư c vi ợ t ế có đúng không. - Qua các giá tr t ị rung gian trong chư ng ơ trình, n u k ế t ế qu cu ả i ố cùng có l i ỗ s ẽ d t ễ ìm ra l i ỗ đó. d) S d ử ng công c ụ b ụ reak point (đi m ể d ng ừ ) - Công này cho phép t o ạ ra các “đi m ể d ng” ừ trong chư ng ơ trình. Khi ch y ạ , chư ng ơ trình t m ạ d ng ừ t i ạ “đi m ể d ng” ừ cho phép ki m ể th ử có th ể quan sát các thông tin khác trong chư ng ơ trình, qua đó ki m ể tra tính đúng đ n ắ c a ủ chư ng ơ trình. 2. Ví dụ minh h a ọ Ví d . ụ Nh p t ậ bàn ừ phím hai s t ố nhi ự ên m, n, tính C Ư LN c a hai ủ s này ố . G i ọ gcd(m, n) là C Ư LN c a
ủ hai số tự nhiên m, n. Thu t ậ toán c a ủ bài toán này d a ự trên thu t ậ toán sau: (1) gcd(m, m) = m. M i
ọ thắc mắc vui lòng xin liên h h
ệ otline: 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 ả ) (2) N u
ế n > m thì gcd(m, n) = gcd(m, n-m). (3) N u
ế n < m thì gcd(m, n) = gcd(m-n, n). Ph n ầ cơ b n ả c a ủ chư ng ơ trình sẽ là vòng l p ặ while, vòng l p ặ s ẽ k t ế thúc khi m = n. Chư ng t ơ rình như sau: Chúng ta sẽ ti n ế hành ki m ể th ử chư ng ơ trình. C n ầ t p ậ trung ki m ể tra kh i ố l nh ệ c a ủ lệnh l p ặ while.
Cách 1: In ra các giá tr t ị rung gian đ ki ể m ể soát chư ng ơ trình. Bổ sung bi n k và hai ế l nh pr ệ int() vào chư ng t ơ rình nh m ư ô t s ả au: K t ế quả th c hi ự n ch ệ ư ng ơ trình trên nh s ư au: M i
ọ thắc mắc vui lòng xin liên h h
ệ otline: 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 ả ) Cách 2: S d ử ng công c ụ t ụ o ạ đi m ể d ng c ừ a ủ ph n m ầ m ề so n t ạ h o ả l p t ậ rình. Thi t ế l p ậ đi m ể d ng ừ t i ạ dòng 4 c a ủ chư ng ơ trình nh
ư hình sau. Đây là v ịtrí b t ắ
đầu chuẩn bị vào vòng l p. ặ Khi ch y ạ chư ng ơ trình sẽ d ng ừ trư c ớ vòng l p, ặ ghi l i
ạ các giá tr ịm, n vào b ng ả nh s ư au. Khi k t ế thúc h t ế vòng l p ặ thì k t ế qu ch ả ư ng ơ trình là giá tr m ị . Vòng lặp m n Kết quả 1 20 16 2 4 16 3 4 12 4 4 8 Kết thúc lặp 4 4 4 ⇒ Cả hai cách đ ki ể m ể soát l i ỗ là in các giá tr t ị rung gian và thi t ế l p đi ậ m ể d ng ừ đ u hi ề u qu ệ . ả M i
ọ thắc mắc vui lòng xin liên h h
ệ otline: 084 283 45 85