Lecture Software testing and analysis - Chapter 6: Dependence and data flow models

Learning objectives in this chapter: Understand basics of data-flow models and the related concepts (def-use pairs, dominators ), understand some analyses that can be performed with the data-flow model of a program, understand basic trade-offs in modeling data flow.

Không thể tạo bản xem trước, hãy bấm tải xuống
TÀI LIỆU MỚI ĐĂNG
Đã 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.