[發明專利]一種基于有限自動機的行為自動建模方法

無效

• 申請號: 201110102612.8
• 申請日: 2011-04-22
• 公開（公告）號: CN102135940A
• 公開（公告）日: 2011-07-27
• 發明（設計）人: 胡昌振;周銀;王崑聲;趙小林;薛靜鋒
• 申請（專利權）人: 北京理工大學
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京理工大學專利中心 11120
• 代理人: 張利萍;高燕燕

1.基于有限自動機的行為自動建模方法，其特征在于：包括以下步驟：

第一步：獲取交互軌跡：獲取樣例執行情況的交互軌跡使得交互軌跡執行順序唯一；

第二步：合并輸入-等價軌跡：將生成的樣例交互軌跡按輸入等價的原則進行合并；

第三步：獲得謂詞；

第四步：通過第三步得到行為模型的擴展有限自動機EFA，增加一個公共的初始狀態得到初始的EFA，再根據等價原則合并獲得最終的EFA。

2.如權利要求1所述的基于有限自動機的行為自動建模方法，其特征在于：上述的交互軌跡在程序執行時用監控和記錄平臺自動提取；交互軌跡的定義為：給定一個方法X的有限集合，一個為空的輸入參數集合R和相應的域D_Rx，一個為空的變量集合V和相應的域D_V，一個參數軌跡是一個三元組(x，p_x，v)，其中x∈X，p_x∈D_Rx，v∈D_V；一個交互軌跡是一個參數軌跡的序列，it＝(x₁，p_x1，v₁)...(x_n，p_xn，v_n)，其中x_i∈X，p_x∈D_Rxi，v_i∈D_V。

3.如權利要求1所述的基于有限自動機的行為自動建模方法，其特征在于：上述的合并輸入-等價軌跡在交互軌跡中定義三平等標準；給定it₁＝(x₁，p_x1，v₁)...(x_n，p_xn，v_n)，it₂＝(z₁，p_z1，w₁)...(z_m，p_zm，w_m)，其中：

it₁＝inputs?it₂(it₁輸入等價it₂)當n＝m且x_i＝z_i。

it₁＝params?it₂(it₁參數等價it₂)當n＝m且x_i＝z_i，p_xi＝p_zi。

it₁＝it₂(it₁等價it₂)當n＝m且x_i＝z_i，p_xi＝p_zi，v_i＝w_i。通過第一步得到的交互軌跡按定義的標準來進行輸入-等價合并，得到簡化的數據集合；一個數據集被定義為一個序列(x₁，dp_x1，dv₁)...(x_n，dp_xn，dv_n)，其中x_i∈X是一個方法，是一個輸入參數評估集合，是一個變量評估集合；給定一個輸入等價的交互軌跡集合it₁＝(x₁，p¹_x1，v¹₁)...(x_n，p¹_xn，v¹_n)，...，it_m＝(x₁，p^m_x1，v^m₁)...(x_n，p^m_xn，v^m_n)，方法就其合并到數據集ds＝(x₁，p¹_x1∪...∪p^m_x1，v¹₁∪...∪v^m₁)...(x_n，p¹_xn∪...∪p^m_xn，v¹_n∪...∪v^m_n)。