Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình : Luận văn ThS. Công nghệ thông tin: 60 48 10

Trình bày cơ sở lý luận về kiểm định phần mềm và các nhóm kiểm định phần mềm. Giới thiêu về JPF, kiến trúc của JPF, cách mở rộng, phát triển trên JPF. Ngoài ra giới thiệu về thực thi tượng trưng để sinh dữ liệu kiểm thử cho chương trình trong JPF cũng như cho phép sinh tự động dữ liệu kiểm thử chươn...

Full description

Saved in:

Bibliographic Details
Main Author:	Phan, Văn Tiến
Other Authors:	Nguyễn, Trường Thắng
Format:	Theses and Dissertations
Published:	2017
Subjects:	Công nghệ phần mềm Dữ liệu Kiểm chứng mô hình Phần mềm
Online Access:	http://repository.vnu.edu.vn/handle/VNU_123/42878
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	Vietnam National University, Hanoi

id	oai:112.137.131.14:VNU_123-42878
record_format	dspace
spelling	oai:112.137.131.14:VNU_123-428782018-10-18T04:30:35Z Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình : Luận văn ThS. Công nghệ thông tin: 60 48 10 Phan, Văn Tiến Nguyễn, Trường Thắng Công nghệ phần mềm Dữ liệu Kiểm chứng mô hình Phần mềm Trình bày cơ sở lý luận về kiểm định phần mềm và các nhóm kiểm định phần mềm. Giới thiêu về JPF, kiến trúc của JPF, cách mở rộng, phát triển trên JPF. Ngoài ra giới thiệu về thực thi tượng trưng để sinh dữ liệu kiểm thử cho chương trình trong JPF cũng như cho phép sinh tự động dữ liệu kiểm thử chương trình Java. Tìm hiểu về SMT, Z3, các lý thuyết được hỗ trợ trên Z3, các API của Z3 để tích hợp với JPF và ứng dụng của Z3. Nghiên cứu, đánh giá các giải pháp như: Kiến trúc hệ thống, chuyển đổi dữ liệu, thiết kế và cài đặt. 2017-05-17T08:14:46Z 2017-05-17T08:14:46Z 2011 Thesis Phan, V. T. (2011). Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình. Luận văn thạc sỹ, Đại học Quốc gia Hà Nội, Việt Nam 00050000448 http://repository.vnu.edu.vn/handle/VNU_123/42878 Luận văn Ngành Công nghệ phần mềm (Full) 95 tr. + CD-ROM application/pdf
institution	Vietnam National University, Hanoi
building	VNU Library & Information Center
country	Vietnam
collection	VNU Digital Repository
topic	Công nghệ phần mềm Dữ liệu Kiểm chứng mô hình Phần mềm
spellingShingle	Công nghệ phần mềm Dữ liệu Kiểm chứng mô hình Phần mềm Phan, Văn Tiến Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình : Luận văn ThS. Công nghệ thông tin: 60 48 10
description	Trình bày cơ sở lý luận về kiểm định phần mềm và các nhóm kiểm định phần mềm. Giới thiêu về JPF, kiến trúc của JPF, cách mở rộng, phát triển trên JPF. Ngoài ra giới thiệu về thực thi tượng trưng để sinh dữ liệu kiểm thử cho chương trình trong JPF cũng như cho phép sinh tự động dữ liệu kiểm thử chương trình Java. Tìm hiểu về SMT, Z3, các lý thuyết được hỗ trợ trên Z3, các API của Z3 để tích hợp với JPF và ứng dụng của Z3. Nghiên cứu, đánh giá các giải pháp như: Kiến trúc hệ thống, chuyển đổi dữ liệu, thiết kế và cài đặt.
author2	Nguyễn, Trường Thắng
author_facet	Nguyễn, Trường Thắng Phan, Văn Tiến
format	Theses and Dissertations
author	Phan, Văn Tiến
author_sort	Phan, Văn Tiến
title	Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình : Luận văn ThS. Công nghệ thông tin: 60 48 10
title_short	Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình : Luận văn ThS. Công nghệ thông tin: 60 48 10
title_full	Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình : Luận văn ThS. Công nghệ thông tin: 60 48 10
title_fullStr	Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình : Luận văn ThS. Công nghệ thông tin: 60 48 10
title_full_unstemmed	Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình : Luận văn ThS. Công nghệ thông tin: 60 48 10
title_sort	nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình : luận văn ths. công nghệ thông tin: 60 48 10
publishDate	2017
url	http://repository.vnu.edu.vn/handle/VNU_123/42878
_version_	1680962986105110528

Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình : Luận văn ThS. Công nghệ thông tin: 60 48 10

Similar Items