Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm

Giới thiệu tổng quan phần mềm hướng thành phần, đưa ra các khái niệm cơ bản và cách tiếp cận để kiểm chứng phần mềm hướng thành phần. Trình bày chi tiết thuật toán học L*, giải thuật tạo giả định sử dụng thuật toán học L*. Nghiên cứu giải thuật tạo giả định tối thiểu. Đưa ra một phản ví dụ để minh h...

Full description

Saved in:

Bibliographic Details
Main Author:	Nguyễn, Văn Hiếu
Format:	Theses and Dissertations
Language:	other
Published:	Đại học Quốc gia Hà Nội 2016
Subjects:	Công nghệ phần mềm Phần mềm hướng thành phẩm Công nghệ thông tin Tin học Máy tính
Online Access:	http://repository.vnu.edu.vn/handle/VNU_123/5924
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	Vietnam National University, Hanoi
Language:	other

id	oai:112.137.131.14:VNU_123-5924
record_format	dspace
spelling	oai:112.137.131.14:VNU_123-59242016-04-04T20:06:24Z Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm Nguyễn, Văn Hiếu Công nghệ phần mềm Phần mềm hướng thành phẩm Công nghệ thông tin Tin học Máy tính Giới thiệu tổng quan phần mềm hướng thành phần, đưa ra các khái niệm cơ bản và cách tiếp cận để kiểm chứng phần mềm hướng thành phần. Trình bày chi tiết thuật toán học L, giải thuật tạo giả định sử dụng thuật toán học L. Nghiên cứu giải thuật tạo giả định tối thiểu. Đưa ra một phản ví dụ để minh hoạ rằng: giả định được tạo ra bởi giải thuật sử dụng thuật toán học L* chưa phải là giả định tối thiểu. Nêu lên một ví dụ cụ thể để minh hoạ cho thuật toán tạo giả định tối thiểu. Sử dụng bộ công cụ LTSA để xác minh một số hệ thống đơn giản nhằm so sánh về thời gian cũng như bộ nhớ sử dụng của giải pháp cũ và giải pháp được đưa ra trong luận văn. 2016-04-04T02:41:31Z 2016-04-04T02:41:31Z 2009 Thesis 5 http://repository.vnu.edu.vn/handle/VNU_123/5924 other application/pdf Đại học Quốc gia Hà Nội
institution	Vietnam National University, Hanoi
building	VNU Library & Information Center
country	Vietnam
collection	VNU Digital Repository
language	other
topic	Công nghệ phần mềm Phần mềm hướng thành phẩm Công nghệ thông tin Tin học Máy tính
spellingShingle	Công nghệ phần mềm Phần mềm hướng thành phẩm Công nghệ thông tin Tin học Máy tính Nguyễn, Văn Hiếu Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm
description	Giới thiệu tổng quan phần mềm hướng thành phần, đưa ra các khái niệm cơ bản và cách tiếp cận để kiểm chứng phần mềm hướng thành phần. Trình bày chi tiết thuật toán học L, giải thuật tạo giả định sử dụng thuật toán học L. Nghiên cứu giải thuật tạo giả định tối thiểu. Đưa ra một phản ví dụ để minh hoạ rằng: giả định được tạo ra bởi giải thuật sử dụng thuật toán học L* chưa phải là giả định tối thiểu. Nêu lên một ví dụ cụ thể để minh hoạ cho thuật toán tạo giả định tối thiểu. Sử dụng bộ công cụ LTSA để xác minh một số hệ thống đơn giản nhằm so sánh về thời gian cũng như bộ nhớ sử dụng của giải pháp cũ và giải pháp được đưa ra trong luận văn.
format	Theses and Dissertations
author	Nguyễn, Văn Hiếu
author_facet	Nguyễn, Văn Hiếu
author_sort	Nguyễn, Văn Hiếu
title	Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm
title_short	Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm
title_full	Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm
title_fullStr	Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm
title_full_unstemmed	Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm
title_sort	phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm
publisher	Đại học Quốc gia Hà Nội
publishDate	2016
url	http://repository.vnu.edu.vn/handle/VNU_123/5924
_version_	1680965798678495232

Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm

Similar Items