DI ĐỘNG VÀ PHƯƠNG PHÁP PHÁT TRIỂN LINH HOẠT
2.3. Kỹ thuật phân tích mã nguồn tìm lỗi tiềm ẩn cho các phương thức của lớp Java
2.3.1. xuất mơ hình phân tích mã nguồn và kiểm thử hộp trắng
Hình 2.4 giới thiệu mơ hình kiểm thử được nghiên cứu trong luận án để kiểm thử từng phương thức có trong mỗi lớp mã nguồn được phát triển bằng ngôn ngữ Java.
Trong đó, CFG là biểu đồ cấu trúc điều khiển của phương thức, dữ liệu kiểm thử được sinh tự động thông qua chức năng sinh dữ liệu kiểm thử. Kết quả kiểm thử là kết quả thu được từ bước thực hiện q trình kiểm thử, hình chữ nhật có góc vng thể hiện đầu vào, đầu ra giữa các bước trong q trình thực hiện mơ hình kiểm thử hộp trắng. Các hình chữ nhật có góc khun trịn thể hiện các bước chính trong mơ hình kiểm thử hộp trắng.
Mơ hình kiểm thử gồm các bước chính sau:
• Bước 1. Sinh biểu đồ cấu trúc điều khiển: từ mã nguồn của phương thức sẽ
kiểm thử sẽ sinh một biểu đồ biểu diễn cấu trúc luồng điều khiển của phương thức đó.
• Bước 2. Sinh mơ hình các điều kiện: Tạo các điều kiện muốn kiểm tra trước
khi bắt đầu quá trình thực thi các bộ dữ liệu kiểm thử, bắt vết của luồng điều khiển (preconditions) và các điều kiện muốn kiểm tra sau khi quá trình thực thi các bộ dữ liệu kiểm thử bắt vết của luồng điều khiển kết thúc (postconditions).
• Bước 3. Sinh các bộ dữ liệu kiểm thử: từ khai báo danh sách các tham số của
• Bước 4. Thực hiện quá trình kiểm thử: thực thi các bộ dữ liệu kiểm thử vừa
sinh ra để bắt dấu vết của luồng điều khiển thực tế diễn ra cùng với các thông tin về lỗi phát sinh, các preconditions và postconditions không thỏa mãn trong quá trình chạy các bộ dữ liệu.
Hình 2.4. Mơ hình tổng quan kiểm thử hộp trắng mã nguồn phương thức của một lớp Java • Bước 5. Phân tích kết quả kiểm thử, phân loại - lựa chọn các bộ dữ liệu kiểm
thử: Từ kết quả chạy các bộ dữ liệu kiểm thử, kết quả các lỗi tìm thấy và dựa
vào biểu đồ cấu trúc điều khiển thực hiện phân tích khả năng bao phủ mã nguồn, khả năng bao phủ nhánh, khả năng bao phủ đường, thông tin các loại lỗi. Bên cạnh đó, tác giả sẽ sử dụng một kỹ thuật (thuật toán) phân loại và lựa chọn các bộ dữ liệu kiểm thử để xác định Bộ dữ liệu nào thì phương thức bộc lộ lỗi, các trường hợp bộ dữ kiệu kiểm thử nào phương thức chưa xử lý chặt khiến nó kém chịu lỗi.