Một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng.

Please use this identifier to cite or link to this item: http://thuvienso.quochoi.vn/handle/11742/79744

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	Nguyễn Trường Thắng	-
dc.contributor.advisor	Đặng Văn ĐỨc	-
dc.contributor.author	Tô Hữu Nguyên
dc.date.issued	2020-11-27
dc.date.submitted	2020-12-04
dc.identifier.other	36491
dc.identifier.uri	https://hdl.handle.net/11742/79744	-
dc.description.abstract	Luận án xây dựng mô hình hóa ràng buộc trên kiểu dữ liệu xâu và ràng buộc hỗn hợp, cải tiến khả năng giải ràng buộc trong phương pháp thực thi biểu trưng. Cài đặt kỹ thuật mô hình hóa và giải ràng buộc dựa trên Otomat và Bitvector trong giải ràng buộc xâu, đánh giá so sánh các kết quả thu được với các các kết quả đã công bố.	-
dc.format.extent	88 tr.
dc.language.iso	vi
dc.rights	Viện Hàn lâm Khoa học và Công nghệ Việt Nam
dc.subject	Cải tiến	-
dc.subject	Ràng buộc xâu	-
dc.subject	Sinh dữ liệu kiểm thử tự động	-
dc.title	Một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng.
dc.type	Luận án, luận văn
dc.coverage	Thư viện Quốc hội
dc.source.method	luanvan.moet.edu.vn
Appears in Collections:	Phân quyền - Khoa học