TRƯỜNG ĐẠI HỌC THƯƠNG MẠI

Khoa HTTT Kinh tế và THMĐT

Bộ môn Công nghệ thông tin

THANH KIỂM TRA MÃ NGUỒN

 NỘI DUNG

1. Giới thiệu hoạt động thanh kiểm tra mã nguồn

2. Đầu vào, đầu ra, các bước thực hiện, người thực hiện
3. Danh sách lỗi thường gặp
4. Tổng kết
 Kiểm thử tĩnh

 Kiểm thử mà không cần chạy chương trình

 Đọc, xem xét mã nguồn
 Các lỗi được phát hiện sớm
 Hai phương pháp:
— Thanh tra mã nguồn (code inspection)
— Chạy thủ công mã nguồn (walkthrough)
 Đầu vào & Đầu ra

 Đầu vào
— Mã nguồn
— Danh sách lỗi thường gặp trong quá khứ (Checklist)
 Đầu ra
— Danh sách lỗi mà nhóm tìm được
— Danh sách lỗi thường gặp được hiệu chỉnh
 Thực hiện

 Người lập trình giới thiệu tuần tự từng dòng lệnh và giải thích
 Các thành viên tham gia cùng thảo luận
 Các thành viên tham gia cùng phân tích mã nguồn dựa trên danh
sách các lỗi thường gặp
 Khoanh vùng mã nguồn chứa nhiều lỗi để tập trung sự chú ý hơn
vào vùng này khi kiểm thử động
 Khi kết thúc, người lập trình nhận được danh sách các lỗi mà
nhóm tìm được
 Danh sách lỗi mới được sử dụng để sửa phần mềm và tinh chỉnh
danh sách lỗi thường gặp trong quá khứ
Checklist dùng để thanh tra mã nguồn

 Các lỗi truy xuất dữ liệu (data reference errors)

 Các lỗi định nghĩa/khai báo dữ liệu (data declaration errors)
 Các lỗi tính toán (computation errors)
 Các lỗi so sánh (comparison errors)
 Các lỗi luồng điều khiển (control flow errors)
 Các lỗi giao tiếp (interface errors)
 Các lỗi nhập/xuất (input/output errors)
 Các lỗi khác
Các lỗi truy xuất dữ liệu
(data reference errors)
Các lỗi truy xuất dữ liệu
(data reference errors)
Các lỗi truy xuất dữ liệu
(data reference errors)
Các lỗi truy xuất dữ liệu
(data reference errors)
Lỗi khai báo dữ liệu
Lỗi khai báo dữ liệu
Các lỗi tính toán
Các lỗi tính toán
Các lỗi tính toán
Các lỗi tính toán
Các lỗi so sánh
Các lỗi so sánh
Các lỗi luồng điều khiển
Các lỗi luồng điều khiển
Các lỗi giao tiếp giữa các mô đun
phần mềm
Các lỗi giao tiếp giữa các mô đun
phần mềm
Các lỗi nhập xuất
Các lỗi nhập xuất
 Tổng kết
 Thanh kiểm tra mã nguồn là một hoạt động kiểm thử tĩnh
 Không cần dùng máy tính thực thi phần mềm mà chỉ đọc, xem
xét mã nguồn thông qua mắt người
 Thường được thực hiện trước kiểm thử động để giúp phát
hiện lỗi sớm – trong khoảng thời gian từ lúc phần mềm được
viết đến khi phần mềm có thể được kiểm thử bằng máy tính
 Hữu hiệu trong việc tìm lỗi
 Thường dựa trên danh sách lỗi thường gặp