VNU-UET Repository

Kiểm chứng phần mềm dựa trên phân tích chương trình

Bui, Anh Tu and Truong, Ninh Thuan (2016) Kiểm chứng phần mềm dựa trên phân tích chương trình. In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.

[img] PDF
Download (223kB)

Abstract

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.

Item Type: Conference or Workshop Item (Poster)
Subjects: Information Technology (IT)
Divisions: Faculty of Information Technology (FIT)
Depositing User: Prof. Ninh Thuan Truong
Date Deposited: 22 May 2016 13:08
Last Modified: 28 May 2016 10:02
URI: http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1517

Actions (login required)

View Item View Item