%A Anh Tu Bui
%A Ninh Thuan Truong
%T Kiểm chứng phần mềm dựa trên phân tích chương trình
%X Việc phát triển phần mềm yêu cầu các bước thực hiện chặt chẽ, độ chính xác cao nhằm đáp ứng đúng, đủ yêu cầu người sử dụng. Tuy nhiên đội ngũ phát triển phần mềm cũng không thể kiểm soát hết các lỗi, các vấn đề phát sinh khi phần mềm đưa vào sử dụng.   
Đề tài tập trung vào việc nghiên cứu các phương pháp nhằm phân tích một số thuộc tính của chương trình, từ đó xây dựng các công cụ phân tích chương trình từ nhiều khía cạnh khác nhau, đưa ra thông tin cho người phát triển phần mềm đảm bảo tính đúng đắn cho chương trình.
%C Hanoi
%D 2016
%L SisLab1517