TRƯỜng đẠi học công nghệ  CỘng hòa xã HỘi chủ nghĩa việt nam



tải về 15.12 Kb.
Chuyển đổi dữ liệu26.09.2016
Kích15.12 Kb.
#32451


ĐẠI HỌC QUỐC GIA HÀ NỘI

TRƯỜNG ĐẠI HỌC CÔNG NGHỆ

------------



CỘNG HÒA XÃ HỘI CHỦ NGHĨA VIỆT NAM

Độc lập - Tự do - Hạnh phúc

***********



Thông tin vỀ luẬn VĂN tHẠC sĩ

1. Họ và tên học viên: TRẦN MẠNH ĐÔNG 2. Giới tính: Nam

3. Ngày sinh: 15/04/1986 4. Nơi sinh: Hà Nam

5. Quyết định công nhận học viên số: 1132/QĐ-CTSV, ngày 26 tháng 12 năm 2011

6. Các thay đổi trong quá trình đào tạo:

7. Tên đề tài luận văn: Nghiên cứu kỹ thuật phân tích chương trình tĩnh trong việc nâng cao chất lượng phần mềm

8. Chuyên ngành: Công nghệ Phần mềm 9. Mã số: 60.48.10

10. Cán bộ hướng dẫn khoa học: TS. Nguyễn Trường Thắng

11. Tóm tắt các kết quả của luận văn:

- Luận văn đã tìm hiểu các kiến thức cơ sở, nền tảng khoa học trong việc phân tích chương trình tĩnh;

- Trên cơ sở các nghiên cứu về nền tảng lý thuyết, luận văn đã áp dụng vào việc phân tích chương trình thông qua hai loại phân tích luồng dữ liệu cho chương trình với mục đích phát hiện lỗi trong chương trình và tối ưu hóa chương trình;

- Luận văn cũng đã tiến hành thực nghiệm trên công cụ SOOT, là một công cụ mã nguồn mở, một plugin tích hợp trong Eclipse IDE nhằm tối ưu hóa chương trình Java.

12. Khả năng ứng dụng trong thực tiễn:

Phân tích chương trình tĩnh là một kỹ thuật rất tiềm năng trong ngành công nghệ phần mềm. Luận văn tập trung nghiên cứu về kỹ thuật phân tích chương trình tĩnh dựa trên phân tích luồng dữ liệu. Kết quả của luận văn có thể phát triển để trở thành ứng dụng hữu ích trong thực tế.

13. Những hướng nghiên cứu tiếp theo:

Tìm hiểu, nghiên cứu các kỹ thuật phân tích chương trình cho các chương trình có cấu trúc phức tạp như phân tích con trỏ, vùng nhớ,…

14. Các công trình đã công bố có liên quan đến luận văn:



VIETNAM NATIONAL UNIVERSITY, HANOI

UNIVERSITY OF TECHNOLOGY AND ENGINEERING

------&------



SOCIALIST REPUBLIC OF VIETNAM

Independence – Freedom – Happiness

***********



INFORMATION ON MASTER’S THESIS

1. Full name : TRAN MANH DONG 2. Sex: Male

3. Date of birth: 15/04/1986 4. Place of birth: Hà Nam

5. Admission decision number: 1132/QĐ-CTSV Dated: 26/12/2011

6. Changes in academic process:

7. Official thesis title: Research on technique static program analysis in software quality assurance

8. Major: Software Engineering 9. Code: 64.48.10

10. Supervisors: Dr. Nguyen Truong Thang

11. Summary of the findings of the thesis:

- The thesis has explored the fundamentals, static program analysis technique’s platform;

- Based on the study of the theoretical foundations, the thesis has been applied to the analysis of the program through two kinds of data flow analysis for programs with the aim of detecting errors in programs and program optimization;

- The thesis also conducted experiments on engine SOOT, is an open source tool, a plugin for the Eclipse IDE integration to optimize Java programs.

12. Practical applicability, if any:

Static program analysis is a highly potential technique in information industry. The

author has done research focused on static program technique base on data flow analysis. The results of the thesis can be developed useful and practicial applications.

13. Further research directions, if any:

Read, research and technical analysis program for the structured program as complex as analyzing pointers, memory, ...

14. Thesis-related publications:


Date: ……………………..

Signature: …………………

Full name: ………………





Date: ……………………..

Signature: …………………



Full name: ……………..



Каталог: coltech -> sites -> default -> files
files -> Biểu mẫu 2 Đhqghn trưỜng đẠi học công nghệ thông báo công khai thông tin về nội dung và chuẩn chất lượng nghề nghiệp chương trình đào tạo chuẩn ngành Cơ học kỹ thuật
files -> ĐẠi học quốc gia hà NỘi cộng hòa xã HỘi chủ nghĩa việt nam
files -> CỘng hoà XÃ HỘi chủ nghĩa việt nam trưỜng đẠi học công nghệ Độc lập Tự do Hạnh phúc
files -> CỘng hoà XÃ HỘi chủ nghĩa việt nam trưỜng đẠi học công nghệ Độc lập Tự do Hạnh phúc
files -> I- nhậN ĐỊnh tình hình miền bắC
files -> Phương hướng, nhiệm vụ và mục tiêu chủ yếu của Kế hoạch 5 năm 1976-1980
files -> Nghị quyết Đại hội đại biểu toàn quốc lần thứ VI đảng Cộng sản Việt Nam
files -> Chiến lược phát triển kinh tế xã hội 2011 2020 Ngày 4/3/2011. Cập nhật lúc 16
files -> Chiến lược phát triển kinh tế xã hội 2001 2010 Ngày 12/7/2003. Cập nhật lúc 15

tải về 15.12 Kb.

Chia sẻ với bạn bè của bạn:




Cơ sở dữ liệu được bảo vệ bởi bản quyền ©hocday.com 2024
được sử dụng cho việc quản lý

    Quê hương