eprintid: 1517
rev_number: 9
eprint_status: archive
userid: 252
dir: disk0/00/00/15/17
datestamp: 2016-05-22 13:08:23
lastmod: 2016-05-28 10:02:30
status_changed: 2016-05-22 13:08:23
type: conference_item
metadata_visibility: show
creators_name: Bui, Anh Tu
creators_name: Truong, Ninh Thuan
creators_id: thuantn@vnu.edu.vn
title: Kiểm chứng phần mềm dựa trên phân tích chương trình
ispublished: pub
subjects: IT
divisions: fac_fit
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.
date: 2016-03-26
date_type: published
full_text_status: public
pres_type: poster
event_title: SW4PHD: the 2016 Scientific Workshop for PhD Students
event_location: Hanoi
event_dates: 26 March 2016
event_type: workshop
refereed: FALSE
citation:   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.     
document_url: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1517/1/Poster%20-%20Bui%20Anh%20Tu.pdf