phân tích năng động của các chương trình mã nguồn - một tập hợp các phương pháp kiểm soát (không) chức năng tuân thủ thực hiện và tuyên bố trong phần mềm tài liệu, dựa trên việc xác định việc thực hiện lộ trình thực tế của các đối tượng chức năng và sau đó so sánh các tuyến đường được xây dựng trong quá trình phân tích tĩnh.
đang được dịch, vui lòng đợi..