Phân tích tính đầy đủ cho một phần chương trình hướng đối tượng
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Phân tích tính đầy đủ cho một phần chương trình hướng đối tượng
Phân tích tính đầy đủ cho một phần chương trình hướng đối tượng
u ..........................................tíĐẠI HỌC QUÓC GIA TP.HÔ CHÍ xMINH TRƯỜNG ĐẠI HỌC BÁCH KHOANGUYỄN THANH SƠNPHĂN TÍCH TÍNH ĐA Y đủ cho MỘT Phân tích tính đầy đủ cho một phần chương trình hướng đối tượng PHẦN CHƯƠNG TRÌNH HƯỚNG ĐỐI TƯỢNGChuyên ngùnh: Khoii học múy tínhLUẬN VĂN THẠC sĩTP.HÒ CHÍ MINH, tháng 11 năm 20074—ríTrang iABSTRACTMany compiler analyses and optimizations require precise information about the behaviour of pointers in order to be effective. Points-to analysis is a technique appro Phân tích tính đầy đủ cho một phần chương trình hướng đối tượng ximating the set of objects to which pointers could point. Most points-to analyses require that all source code of the analysed program (whole-programPhân tích tính đầy đủ cho một phần chương trình hướng đối tượng
) is available to participate in analysis. Therefore, the result of these analyses for partial programs is inadequate due to the unaccounted reciprocau ..........................................tíĐẠI HỌC QUÓC GIA TP.HÔ CHÍ xMINH TRƯỜNG ĐẠI HỌC BÁCH KHOANGUYỄN THANH SƠNPHĂN TÍCH TÍNH ĐA Y đủ cho MỘT Phân tích tính đầy đủ cho một phần chương trình hướng đối tượng cal effect. Completeness analysis is one of those techniques.Up to this time, completeness analysis technique is just implemented on the output of points-to analysis which base on the CHA (Class Hierarchy Class) callgraph. This thesis implemented, evaluated and compared completeness analysis on the Phân tích tính đầy đủ cho một phần chương trình hướng đối tượng output of points-to analysis which base on the other callgraph such US RTA (Rapid Type Analysis). V I A (Variable Type Analysis) and “on-lhc-fly” callPhân tích tính đầy đủ cho một phần chương trình hướng đối tượng
graph. The results of experiments arc carried out on a set of .lava library packages.Trang iiTÓM TẢTMỘI số trinh biên dịch và ứng dụng rat can những tu ..........................................tíĐẠI HỌC QUÓC GIA TP.HÔ CHÍ xMINH TRƯỜNG ĐẠI HỌC BÁCH KHOANGUYỄN THANH SƠNPHĂN TÍCH TÍNH ĐA Y đủ cho MỘT Phân tích tính đầy đủ cho một phần chương trình hướng đối tượng xầp xi lập các đòi tượng mà một con trò có the trò đen trong thòi gian thực thi. Tuy nhiên, hâu het các kỹ thuật phân lích con trô đêu yêu câu một chương trinh tham gia phân lích phái có đày dữ mà nguòn. Do dó. khi áp các phân tích con tro cho một chương trinh đầy du vào một chương trình không đây Phân tích tính đầy đủ cho một phần chương trình hướng đối tượng đừ se cho kcl quá không chính xác vì không xem xcl đèn tác động qua Lại giừa mà nguồn cua chương trình không dầy du vã mà nguồn không xác định (nam ngPhân tích tính đầy đủ cho một phần chương trình hướng đối tượng
oài chương trinh không đây đú). Dê cài thiện độ chinh xác cho các phàn tích con trỏ. một số kỳ thuật phân rich mới dà xem xét dến các tác dộng qua lạiu ..........................................tíĐẠI HỌC QUÓC GIA TP.HÔ CHÍ xMINH TRƯỜNG ĐẠI HỌC BÁCH KHOANGUYỄN THANH SƠNPHĂN TÍCH TÍNH ĐA Y đủ cho MỘT Phân tích tính đầy đủ cho một phần chương trình hướng đối tượng trên kết qua phân tích con tro dựa vào kỹ- thuật xác dinh dồ thị cuộc gọi cTIA (Class Hierarchy C lass). Mục tiêu cùa luận vãn này là sê hiện thực, dánh giá, so sánh kỳ thuật phân lích lính đây đủ trên kct quá phân lích con trô dựa trên các đô thị cuộc gọi khác như RTA (Rapid Type Class). VTA (Vari Phân tích tính đầy đủ cho một phần chương trình hướng đối tượng able Type Class) và “on-thc-fly”. Kcl quà của quá trình thứ nghiệm được thực hiện Iren một sò các package thư viện Java.Trang iiiMỤC LỤC□ 00CHƯƠNG I:Phân tích tính đầy đủ cho một phần chương trình hướng đối tượng
GIÓI THIẸƯ.................................................1I/. Động CO' nghiên cứu và mọc tiêu cua dề tài:....................1II/. Đóng góp cùa dề tu ..........................................tíĐẠI HỌC QUÓC GIA TP.HÔ CHÍ xMINH TRƯỜNG ĐẠI HỌC BÁCH KHOANGUYỄN THANH SƠNPHĂN TÍCH TÍNH ĐA Y đủ cho MỘT Phân tích tính đầy đủ cho một phần chương trình hướng đối tượng .................................5I/. Kỹ thuật phân tích con trò:....................................5II/. Từ khóa truy xuất và bô từ cùa lóp, phương thúc, trường:......7III/. Kỹ thuật phân tích tính dầy dủ:..............................8CHƯƠNG III: Cơ SỜ LÝ THUYÉT................................... Phân tích tính đầy đủ cho một phần chương trình hướng đối tượng ......9I/. Các ký hiệu và qui ước:........................................9[.1/. Qui ước:..................................................91.2/. CácPhân tích tính đầy đủ cho một phần chương trình hướng đối tượng
ký hiệu được sử dụng thường xuyên trong luận vãn:.....10II/. Mó hình ngón ngữ lập trình:..................................12III/. Kỹ thuật phân tích cu ..........................................tíĐẠI HỌC QUÓC GIA TP.HÔ CHÍ xMINH TRƯỜNG ĐẠI HỌC BÁCH KHOANGUYỄN THANH SƠNPHĂN TÍCH TÍNH ĐA Y đủ cho MỘT Phân tích tính đầy đủ cho một phần chương trình hướng đối tượng .....................13u ..........................................tíĐẠI HỌC QUÓC GIA TP.HÔ CHÍ xMINH TRƯỜNG ĐẠI HỌC BÁCH KHOANGUYỄN THANH SƠNPHĂN TÍCH TÍNH ĐA Y đủ cho MỘTGọi ngay
Chat zalo
Facebook