Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Tài liệu HOT
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
0
Trang chủ
Công Nghệ Thông Tin
Kỹ thuật lập trình
Dựa trên đồ thị chương trình phân tích tính khả đạt của chương trình
TAILIEUCHUNG - Dựa trên đồ thị chương trình phân tích tính khả đạt của chương trình
Ứng dụng kĩ thuật trừu tượng hóa trong phân tích chương trình (program analysis) giúp mở rộng phạm vi xử lí tới các hệ thống có không gian trạng thái lớn. Các kĩ thuật trừu tượng đang được sử dụng ngày càng nhiều trong phân tích phát hiện lỗi chương trình. Quá trình phân tích phát hiện lỗi một chương trình thường gắn chặt với việc xác định tính khả đạt (reachability) của chương trình đó. | TẠP CHÍ KHOA HỌC SỐ 8 2016 35 DỰA TRÊN ĐỒ THỊ CHƯƠNG TRÌNH PHÂN TÍCH TÍNH KHẢ ĐẠT CỦA CHƯƠNG TRÌNH 1 Nguyễn Đức Giang Nguyễn Văn Trãi Đinh Quang Đạt Viện Công nghệ Thông tin Viện Hàn lâm Khoa học và Công nghệ Việt Nam Tóm tắt tắt ắt Ứng dụng kĩ thuật trừu tượng hoá trong phân tích chương trình program analysis giúp mở rộng phạm vi xử lí tới các hệ thống có không gian trạng thái lớn. Các kĩ thuật trừu tượng ñang ñược sử dụng ngày càng nhiều trong phân tích phát hiện lỗi chương trình. Quá trình phân tích phát hiện lỗi một chương trình thường gắn chặt với việc xác ñịnh tính khả ñạt reachability của chương trình ñó. Nếu tính khả ñạt ñược chứng minh là ñúng trên mô hình trừu tượng là xấp xỉ của chương trình thì nó cũng ñúng trong chương trình thực do tính bảo toàn của phép trừu tượng hoá. Tuy nhiên sử dụng các kĩ thuật trừu tượng ñôi khi làm mất ñi tính chính xác trong phân tích tính khả ñạt do một số trạng thái ñã bị bỏ qua ñặc biệt khi có sự xuất hiện của các vòng lặp. Một số giải pháp hiện thời giải quyết vấn ñề này bằng cách sử dụng các tập bị chặn dưới và các hàm xếp hạng ranking function . Giải pháp của chúng tôi giải quyết vấn ñề theo một cách tiếp cận khác không sử dụng các tập bị chặn dưới và hàm xếp hạng. Thay vào ñó chúng tôi dựa trên việc kiểm tra các ñiều kiện trên ñồ thị chương trình program graph ứng với hệ thống thực các ñiều kiện này ñược kiểm tra tự ñộng ñối với mô hình trừu tượng. Từ khoá Đồ thị chương trình tính khả ñạt hàm xếp hạng kiểm chứng mô hình 1. GIỚI THIỆU Hiện nay trong bối cảnh phát triển nhanh chóng của lĩnh vực công nghệ thông tin CNTT các hệ thống phần mềm trở lên phổ biến và có tầm ảnh hưởng quan trọng tới nhiều hoạt ñộng kinh tế - xã hội. Mặc dù ñược sử dụng phổ biến có một thực tế là các hệ thống phần mềm thường xuyên mắc các lỗi nghiêm trọng trong cả thiết kế và cài ñặt. Những lỗi này trở thành mục tiêu của các cuộc tấn công phá hoại ñặt sinh mạng và tài sản của người dân và xã hội dưới nhiều hiểm hoạ. Thống kê cho thấy hầu hết các
Giáng Tiên
47
13
pdf
Báo lỗi
Trùng lắp nội dung
Văn hóa đồi trụy
Phản động
Bản quyền
File lỗi
Khác
Upload
Tải xuống
đang nạp các trang xem trước
Bấm vào đây để xem trước nội dung
Tải xuống
TÀI LIỆU LIÊN QUAN
Bài giảng Lý thuyết đồ thị: Chương 3 - Đồ thị Euler và đồ thị Hamilton
19
173
3
Bài giảng Lý thuyết đồ thị: Chương 1 - Nguyễn Trần Phi Phượng
26
63
0
Bài giảng môn Toán tin - Chương 6: Lý thuyết đồ thị
77
64
0
Giáo trình toán rời rạc - chương I - Đại cương về đồ thị
1
141
0
Bài giảng Lý thuyết đồ thị - Chương 4: Bài toán cây khung nhỏ nhất
58
103
0
Bài giảng Lý thuyết đồ thị: Chương 3 - Ngô Hữu Phúc
18
63
1
Bài giảng Lý thuyết đồ thị (Graph theory) - Chương 2: Đường đi và chu trình Euler, đường đi và chu trình Hamilton
10
107
1
Đổi mới phương pháp hướng dẫn đồ án dành cho lớp Quy hoạch đô thị theo chương trình đổi mới và thiết kế đô thị theo chương trình tiên tiến
9
47
1
Bài giảng Toán rời rạc và lý thuyết đồ thị - Chương 5: Đường đi trên đồ thị
11
67
0
Đồ án tốt nghiệp Công nghệ thông tin: Xây dựng chương trình quản lý bán lẻ cho Siêu thị mini Huong Mart ở Hải Phòng
100
25
1
TÀI LIỆU XEM NHIỀU
Một Case Về Hematology (1)
8
461863
55
Giới thiệu :Lập trình mã nguồn mở
14
22634
59
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
10884
529
Câu hỏi và đáp án bài tập tình huống Quản trị học
14
10064
446
Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3
9518
104
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8278
1125
Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức
16
8230
423
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7864
2220
Đề tài: Dự án kinh doanh thời trang quần áo nữ
17
6674
253
Vật lý hạt cơ bản (1)
29
5769
85
TỪ KHÓA LIÊN QUAN
Kỹ thuật lập trình
Đồ thị chương trình
Tính khả đạt
Hàm xếp hạng
Ứng dụng kĩ thuật trừu tượng hóa
Hệ dịch chuyển trạng thái
Lý thuyết đồ thị
Bài giảng Lý thuyết đồ thị
Đồ thị Euler
Đồ thị Hamilton
Chu trình Hamilton
Kiểm tra đồ thị Hamilton
Đồ thị liên thông
Dạng đồ thị đặc biệt
Đường đi của đồ thị
Chu trình của đồ thị
Bài giảng Toán tin
Đồ thị có hướng
Đồ thị vô hướng
Đồ thị đặc biệt
Chu trình đồ thị
Đường đi đồ thị
biểu diễn hình học
biêu diễn đồ thị bằng ma trận
biểu diễn đồ thị bằng bảng
sự đẳng cấu của các đồ thị
Bài toán cây khung nhỏ nhất
Tính chất cơ bản của cây
Cây khung của đồ thị
Chu trình cơ bản của đồ thị
Chu trình Euler
Bài toán lý thuyết đồ thị
Đổi mới phương pháp hướng dẫn đồ án
Nghiên cứu về quy hoạch đô thị
Chương trình thiết kế đô thị
Công tác đào tạo kiến trúc sư
Hệ thống đào tạo tín chỉ
Toán rời rạc
Đường đi trên đồ thị
Bài toán đường đi tốt nhất
Đồ án tốt nghiệp
Đồ án tốt nghiệp Công nghệ thông tin
Công nghệ thông tin
Xây dựng chương trình quản lý bán lẻ
Chương trình quản lý bán lẻ cho siêu thị mini
Quản lý bán lẻ
Bài giảng Toán rời rạc
Biểu diễn đồ thị
Sự liên thông
Đường đi và chu trình
Tính chất đồ thị
Bài toán đường đi ngắn nhất
Bài giảng Toán tổ hợp
Toán tổ hợp
Đại cương về đồ thị
Đẳng cấu đồ thị
Phân loại đồ thị
Tính liên thông trong đồ thị
Xây dựng chương trình dịch
Bài giảng Xây dựng chương trình dịch
Chương trình dịch
Sơ đồ cú pháp
Công thức siêu ngữ Backus
Sơ đồ cú pháp của KPL
thuật toán
phương pháp biểu diễn
cây khung
TÀI LIỆU MỚI ĐĂNG
Giáo án mầm non chương trình đổi mới: Gia đình vui nhộn
4
312
1
26-04-2024
Giáo án mầm non chương trình đổi mới: Đề tài: Ôn xác định vị trí trên – dưới, trước- sau của đối tượng khác.
8
352
3
26-04-2024
Đánh giá hao mòn và độ tin cậy của chi tiết và kết cấu trên đầu máy diezel part 3
12
304
0
26-04-2024
Động cơ đốt trong và máy kéo công nghiêp tập 2 part 8
32
259
0
26-04-2024
Mass Transfer in Multiphase Systems and its Applications Part 19
40
256
1
26-04-2024
beginning Ubuntu Linux phần 1
34
212
1
26-04-2024
extremetech Hacking Firefox phần 7
46
187
0
26-04-2024
Management and Services Part 1
10
156
0
26-04-2024
Posted prices versus bargaining in markets_7
23
155
0
26-04-2024
MySQL Database Usage & Administration PHẦN 7
37
156
0
26-04-2024
TÀI LIỆU HOT
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7864
2220
Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)
152
5718
1364
Ebook Chào con ba mẹ đã sẵn sàng
112
3767
1231
Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1
62
5318
1136
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8278
1125
Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu
561
3498
643
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
10884
529
Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân
122
3683
525
Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm
274
4045
514
Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe
35
4127
480
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.