Luận văn thạc sĩ 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

➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạm

Loại tài liệu: PDF

Số trang: 66 Trang

Tài liệu: ✅ ĐÃ ĐƯỢC PHÊ DUYỆT

TẢI VỀ

Nội dung chi tiết: Luận văn thạc sĩ 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

Luận văn thạc sĩ 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

ĐẠI HỌC QUÓC GIA HÀ NỘI TRƯỞNG ĐẠI HỌC CÔNG NGHỆTRẦN .MẠNH ĐÔNGNGHIÊN CỨU KỸ THUẬT PHẤN TÍCH CHƯƠNG TRÌNH TĨNH TRONG VIỆC NÂNG CAO ( HÁT LƯỢNG PHÀN MÈ

Luận văn thạc sĩ 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 ÈMLUẬN VĂN THẠC sĩ CÓNG NGHẸ THÔNG TINHà Nội-2013ĐAI HỌC QUÓC GIA HÀ NỌI TRƯỜNG ĐẠI HỌC CÔNG NGHẸTRẦN MẠNH ĐÒNGNGHIÊN cứu KỸ THUẬT PHÂN TÍCH CHƯƠNG TR

ÌNH TỈNH TRONG VIỆC NÂNG CAO CHAT LƯỢNG PHẢN MÈMNgành: Công nghệ thông ỉ in Chuyên ngành. Cõng nghệ phần mềm Mã số: 60 48 10LUẬN VĂN THẠC sĩ CÔNG NGHỆ Luận văn thạc sĩ 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

THÔNG TINNGƯỜI HƯỞNG DẤN KHOA HỌC: TS. Nguyễn Trường ThắngHà Nội - 20133Mục lụcLỜI CÁM ƠN1LÒI CAM DOAN2MỤC LỤC3DANH MỤC CẤC KÝ HIỆU VÀ CHỮ VIET TAT5D

Luận văn thạc sĩ 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

ANH MỤC CẤC HÌNH VẼ6MỎ DẦU71Giới thiệu91.1Giới thiệu về phân tích chương trình.......................91.2Điểm mạnh và điểm yếu........................

ĐẠI HỌC QUÓC GIA HÀ NỘI TRƯỞNG ĐẠI HỌC CÔNG NGHỆTRẦN .MẠNH ĐÔNGNGHIÊN CỨU KỸ THUẬT PHẤN TÍCH CHƯƠNG TRÌNH TĨNH TRONG VIỆC NÂNG CAO ( HÁT LƯỢNG PHÀN MÈ

Luận văn thạc sĩ 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 ị luồng điềukhiển.......................121.4.2Lý thuyết Đàn......................................151.4.3Thuậl loán điểm cố định......................

......212Phân tích chương trình tĩnh242.1Phân tích luồng dừ liệu nội thủ tục.......................242.1.1Phân lích quay lại (backward)............... Luận văn thạc sĩ 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

.......252.1.2Phân tích chuyến tiếp (forward)....................312.2Phân lích luồng dữ liệu liên tliLỈ lục...................402.2.1Xây dựng dô thị

Luận văn thạc sĩ 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

luồng dừ liêu......................412.2.2Tính cám ngữ cảnh (context sensitivity).............432.2.3ứng dụng phân lích luồng dử liệu liên thú tục ...

ĐẠI HỌC QUÓC GIA HÀ NỘI TRƯỞNG ĐẠI HỌC CÔNG NGHỆTRẦN .MẠNH ĐÔNGNGHIÊN CỨU KỸ THUẬT PHẤN TÍCH CHƯƠNG TRÌNH TĨNH TRONG VIỆC NÂNG CAO ( HÁT LƯỢNG PHÀN MÈ