7 ConclusionsWe have proposed an al

7 Conclusions

We have proposed an alias analysis algorithm for JAVA
programs, which is a scalable and on-demand algorithm
with high precision and extensibility. Also, we have implemented
this algorithm in the tool JAAT, and evaluated its
effectiveness.
It has been presented that the analysis cost is reduced
by our modularized approach which requires to re-analyze
only modified modules, without re-analysis of other stable
modules including libraries. In the future, we will include
a feature to automatically identify modified modules and
stable modules.
Acknowledgments
Authors are grateful to Yusuke Yamanaka, KazuhiroKondo,
and Kazuhiro Kondo for the development of JAAT GUI.

ผลลัพธ์ (ไทย) 1:

บทสรุป 7เราได้เสนอการแฝงการวิเคราะห์อัลกอริทึมสำหรับ JAVAโปรแกรม ซึ่งเป็นอัลกอริทึมการเปลี่ยนขนาด และตามความต้องการมีความแม่นยำสูงและเพิ่มความสามารถ เรามีการใช้งานอัลกอริทึมนี้ JAAT เครื่องมือ และประเมินความประสิทธิผลมันได้ถูกนำเสนอว่า การวิเคราะห์ต้นทุนจะลดลงโดยวิธีการ modularized ของเรา ที่ต้องใช้การวิเคราะห์อีกครั้งแก้ไขโมดูล โดยไม่วิเคราะห์เรื่องของคอกอื่นเท่านั้นโมดูลรวมถึงไลบรารี ในอนาคต เราจะรวมคุณลักษณะโดยอัตโนมัติระบุโมดูปรับเปลี่ยน และโมดูลเสถียรภาพตอบผู้เขียนมีความภาคภูมิใจกับยามานากะ Yusuke, KazuhiroKondoและ คอนโด Kazuhiro สำหรับการพัฒนา JAAT GUI

ผลลัพธ์ (ไทย) 2:

7 สรุปผลการวิจัยเราได้นำเสนอขั้นตอนวิธีการวิเคราะห์นามแฝงสำหรับ JAVA โปรแกรมซึ่งเป็นขั้นตอนวิธีการปรับขนาดได้และความต้องการที่มีความแม่นยำสูงและการขยาย นอกจากนี้เรายังมีการดำเนินการขั้นตอนวิธีนี้ใน JAAT เครื่องมือและประเมินผลที่มีประสิทธิภาพ. จะได้รับการนำเสนอการวิเคราะห์ว่าค่าใช้จ่ายจะลดลงโดยวิธีโมดูลของเราซึ่งจะต้องมีการเปิดการวิเคราะห์โมดูลการแก้ไขเท่านั้นโดยไม่ต้องวิเคราะห์มั่นคงอื่น ๆรวมทั้งโมดูล ห้องสมุด ในอนาคตเราจะรวมคุณลักษณะโดยอัตโนมัติระบุโมดูลการแก้ไขและโมดูลที่มีเสถียรภาพ. กิตติกรรมประกาศผู้เขียนขอบคุณที่สุเกะยามานากะ, KazuhiroKondo, Kazuhiro คอนโดะและสำหรับการพัฒนาของ GUI JAAT

ผลลัพธ์ (ไทย) 3:

7 สรุป

เรานำเสนอนามแฝงการวิเคราะห์ขั้นตอนวิธีสำหรับโปรแกรม Java
ซึ่งเป็นอุปกรณ์ที่มีความแม่นยำสูงและความต้องการขั้นตอนวิธี
อย่างรวดเร็ว . นอกจากนี้เราได้ใช้
ขั้นตอนวิธีนี้ในเครื่องมือ jaat และประเมินประสิทธิผลของ
.
มันได้รับการเสนอว่าต้นทุนจะลดลง
โดยวิธีการซึ่งต้องเป็นของเรา modularized วิเคราะห์
เพียงแก้ไขโมดูลโดยไม่มีการวิเคราะห์อีกครั้งของโมดูลที่มั่นคง
อื่นๆ รวมทั้งห้องสมุด ในอนาคต เราจะรวม
คุณลักษณะโดยอัตโนมัติระบุและแก้ไขโมดูลโมดูล
ขอบคุณ

มีเสถียรภาพ ผู้เขียนขอขอบคุณ ยูซุเกะยามานากะ kazuhirokondo
, , และ คาซึฮิโระ คอนโด เพื่อการพัฒนา jaat GUI