relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1517/
title: Kiểm chứng phần mềm dựa trên phân tích chương trình
creator: Bui, Anh Tu
creator: Truong, Ninh Thuan
subject: Information Technology (IT)
description: 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
type: Conference or Workshop Item
type: NonPeerReviewed
format: application/pdf
language: en
identifier: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1517/1/Poster%20-%20Bui%20Anh%20Tu.pdf
identifier:   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.