摘要:程序終止性問題是自動程序驗證領域中的一個研究熱點。秩函數探測是進行終止性分析的主要方法。針對單重無條件分支的多項式循環程序,將其秩函數計算問題歸結為二分類問題,從而可利用支持向量機(SVM)算法來計算程序的秩函數。與基于量詞消去技術的秩函數計算方法不同,該方法能在可接受的時間范圍內探測到更為復雜的秩函數。
注:因版權方要求,不能公開全文,如需全文,請咨詢雜志社。
軟件學報雜志, 月刊,本刊重視學術導向,堅持科學性、學術性、先進性、創新性,刊載內容涉及的欄目:理論計算機科學、系統軟件與軟件工程、模式識別與人工智能、數據庫技術、計算機網絡與信息安全、計算機體系結構等。于1990年經新聞總署批準的正規刊物。