VNU-UET Repository

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

Anh Tu Bui and Ninh Thuan Truong (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
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)
ID Code:1517
Deposited By: Prof. Ninh Thuan Truong
Deposited On:22 May 2016 13:08
Last Modified:28 May 2016 10:02

Repository Staff Only: item control page