一個基于兩區(qū)間八邊形約束的抽象域
大小：0.67 MB 人氣： 2017-11-21 需要積分：0
抽象解釋靜態(tài)程序分析技術用來發(fā)現(xiàn)運行時錯誤，保證程序正確性，已經(jīng)被成功應用到工業(yè)界。抽象域是抽象解釋理論中的一個重要方面，然而大部分已存在的數(shù)值抽象域無法表示程序的非凸性質(zhì)，抽象域的這種凸性限制很多時候會影響數(shù)值分析的精度，甚至帶來更多誤報?；趦蓞^(qū)間八邊形約束，提出了一個新的數(shù)值抽象域，其約束形式為z±y∈［a，b］U［c，d］，其中z和y表示變量取值，a，6，c，d∈R。該抽象域的域元素是用兩區(qū)間八邊形約束表示，因此可以表達某類非凸性質(zhì)，表達能力強于經(jīng)典的八邊形抽象域，并且相對于八邊形抽象域，域操作的計算復雜度并沒有提高太多。
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%