Luận văn nghiên cứu việc ứng dụng kỹ thuật ma trận đồ thị trong kiểm thử hộp trắng nhằm nâng cao hiệu quả phát hiện lỗi cấu trúc phần mềm. Trên cơ sở phân tích các phương pháp kiểm thử truyền thống như bao phủ câu lệnh, bao phủ nhánh và bao phủ điều kiện, luận văn đề xuất mô hình biểu diễn luồng điều khiển chương trình dưới dạng ma trận kề và ma trận trọng số. Từ đó, các thuật toán được xây dựng để tự động sinh đường dẫn kiểm thử tối ưu dựa trên các phép biến đổi đại số tuyến tính trên ma trận. Kết quả thực nghiệm trên các chương trình mẫu cho thấy kỹ thuật này giúp giảm số lượng ca kiểm thử dư thừa, tăng độ bao phủ và phát hiện được các lỗi logic tiềm ẩn mà các phương pháp thủ công khó nhận biết. Nghiên cứu khẳng định tính khả thi và hiệu quả của việc kết hợp lý thuyết đồ thị và đại số ma trận vào quy trình kiểm thử hộp trắng, mở ra hướng phát triển các công cụ kiểm thử tự động thông minh hơn.