... thiện hiệu 1.3 Phân tích chương trình động Trong phân tích chương trình động, chương trình thực kiểm thử đầu vào, đầu sau nghiên cứu để hiểu chức chương trình Để phân tích chương trình kỹ lưỡng ... xác phân tích chương trình tĩnh, đầu kết từ đầu vào cụ thể có kiểm chứng, tập hợp giả định đầu vào đầu 1.2 Phân tích chương trình tĩnh Trong phân tích chương trình tĩnh, chương trình phân tích phương ... cảnh trên, đề tài nghiên cứu nghiên cứu Phân tích chương trình để ứng dụng vào kiểm tra chương trình java sinh viên Nội dung nghiên cứu Trong luận văn này, nội dung nghiên cứu bao gồm: Tìm hiểu...