extended static checking

danh từ (noun)

US/ɪ kˈs tɛn d ə d ˈs t æ t.ɪ k ˈtʃɛk ɪ ŋ/

Nghĩa chính

Một loạt các kỹ thuật được sử dụng để kiểm tra tĩnh tính đúng đắn của một số ràng buộc chương trìnhdanh từkhông đếm được (uncountable)A range of techniques used for statically checking the correctness of some program constraints.

AI