ĐẠ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:
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: ……………..
|
Chia sẻ với bạn bè của bạn: |