[發(fā)明專利]ForCES系統(tǒng)中邏輯功能塊拓?fù)湔_性的驗(yàn)證方法

有效

• 申請?zhí)枺?/td>: 201310079362.X
• 申請日: 2013-03-12
• 公開（公告）號: CN103152201A
• 公開（公告）日: 2013-06-12
• 發(fā)明（設(shè)計(jì)）人: 高明;王偉明;李傳煌;諸葛斌;董黎剛;吳穹
• 申請（專利權(quán)）人: 浙江工商大學(xué)
• 主分類號: H04L12/24
• 分類號: H04L12/24
• 代理公司: 杭州求是專利事務(wù)所有限公司 33200
• 代理人: 杜軍

1.?ForCES系統(tǒng)中邏輯功能塊拓?fù)湔_性的驗(yàn)證方法，其特征在于與包括如下步驟：

步驟(1)?從類名為FEObject（轉(zhuǎn)發(fā)件對象）的邏輯功能塊中，讀取其拓?fù)淠芰Σ考男畔ⅲ⒏鶕?jù)讀取的拓?fù)淠芰Σ考男畔?gòu)造拓?fù)淠芰︽湵恚雇負(fù)淠芰︽湵砩系拿總€(gè)節(jié)點(diǎn)對應(yīng)邏輯功能塊拓?fù)渲械囊粭l可行邊；

所述可行邊為邏輯功能塊拓?fù)渲械目杀辉试S的有向邊；

所述的類名為FEObject的邏輯功能塊的拓?fù)淠芰Σ考且粋€(gè)數(shù)組，數(shù)組的元素是一個(gè)結(jié)構(gòu)體，每個(gè)結(jié)構(gòu)體對應(yīng)一個(gè)邏輯功能塊特征；

所述結(jié)構(gòu)體描述了其所對應(yīng)的邏輯功能塊的實(shí)例化限制和被允許的鄰接關(guān)系，結(jié)構(gòu)體的成員包含當(dāng)前邏輯功能塊的類名、當(dāng)前邏輯功能塊的類ID、當(dāng)前邏輯功能塊的最大實(shí)例數(shù)、當(dāng)前邏輯功能塊的端口限制、與前置鄰居邏輯功能塊的鄰接關(guān)系、與后置鄰居邏輯功能塊的鄰接關(guān)系；

所述的步驟(1)中拓?fù)淠芰︽湵淼臉?gòu)造過程具體包含如下步驟：

1-1.?遍歷步驟(1)中所述名為FEObject的邏輯功能塊的拓?fù)淠芰Σ考?shù)組，從數(shù)組元素所對應(yīng)的結(jié)構(gòu)體中，讀取其包含的與前置鄰居邏輯功能塊的鄰接關(guān)系和與后置鄰居邏輯功能塊的鄰接關(guān)系，然后窮盡并構(gòu)造所有的可行邊；該可行邊所包含的信息格式為：起點(diǎn)邏輯功能塊的類ID、起點(diǎn)邏輯功能塊的輸出端口組名、終點(diǎn)邏輯功能塊的類ID、終點(diǎn)邏輯功能塊的輸入端口組名；?

1-2.根據(jù)步驟1-1所述的與前置鄰居邏輯功能塊的鄰接關(guān)系所構(gòu)造的可行邊，其起點(diǎn)是前置鄰居邏輯功能塊，終點(diǎn)是當(dāng)前邏輯功能塊；

1-3.根據(jù)步驟1-1所述的與后置鄰居邏輯功能塊的鄰接關(guān)系所構(gòu)造的可行邊，其起點(diǎn)是當(dāng)前邏輯功能塊，終點(diǎn)是后置鄰居邏輯功能塊；

所述的與前置鄰居邏輯功能塊的鄰接關(guān)系和與后置鄰居邏輯功能塊的鄰接關(guān)系只是表示一種許可，并不表示在實(shí)際的邏輯功能塊拓?fù)渲斜仨毚嬖冢?/p>

步驟(2)?遍歷步驟(1)所述的拓?fù)淠芰︽湵碇械拿恳粭l可行邊，以可行邊的所包含信息中的端口組名為關(guān)鍵字，到該端口組名所屬的邏輯功能塊的定義文件中，查找該端口組名所對應(yīng)的端口組的詳細(xì)信息，重新構(gòu)造可行邊的信息組成，使其包含：起點(diǎn)邏輯功能塊類ID、起點(diǎn)邏輯功能塊的輸出信息、終點(diǎn)邏輯功能塊類ID、終點(diǎn)邏輯功能塊的輸入信息；

步驟(3)?遍歷步驟(2)所述的拓?fù)淠芰︽湵碇行聵?gòu)造的可行邊，構(gòu)造字符串形式的匹配正文，具體包含如下步驟：

3-1.?遍歷步驟(2)?所述的拓?fù)淠芰︽湵碇械拿恳粭l新構(gòu)造的可行邊，對新構(gòu)造的可行邊中所含信息進(jìn)行字符化處理，得到一個(gè)字符串，稱之為正文子串，格式為：“起點(diǎn)邏輯功能塊類ID：起點(diǎn)邏輯功能塊的輸出信息：終點(diǎn)邏輯功能塊類ID：終點(diǎn)邏輯功能塊的輸入信息”，“：”為引入的分割字符；

3-2.將步驟3-1中所述的所有正文子串首尾拼接成一個(gè)字符串作為模式匹配的匹配正文，格式為：“正文子串1&正文子串2&﹒﹒﹒”，“&”為引入的分割字符；

步驟(4)?從類名為FEObject的邏輯功能塊中，讀取其拓?fù)鋵傩圆考@得當(dāng)前配置拓?fù)洌凰霎?dāng)前配置拓?fù)涫且粋€(gè)數(shù)組，數(shù)組元素是一個(gè)結(jié)構(gòu)體，每個(gè)結(jié)構(gòu)體對應(yīng)邏輯功能塊拓?fù)渲械囊粭l實(shí)際存在的有向邊，稱之為實(shí)際邊；構(gòu)造實(shí)際邊，使其所含信息包括：起點(diǎn)邏輯功能塊類ID、起點(diǎn)邏輯功能塊實(shí)例號、起點(diǎn)邏輯功能塊輸出端口組名、起點(diǎn)邏輯功能塊輸出端口編號、終點(diǎn)邏輯功能塊類ID、終點(diǎn)邏輯功能塊實(shí)例號、終點(diǎn)邏輯功能塊輸入端口組名、終點(diǎn)邏輯功能塊輸入端口編號；

步驟(5)?遍歷步驟(4)所述的當(dāng)前配置拓?fù)渲械拿恳粭l實(shí)際邊，以實(shí)際邊的所包含信息中的端口組名為關(guān)鍵字，到該端口組名所屬的邏輯功能塊的定義文件中，查找該端口組名所對應(yīng)的端口組的詳細(xì)信息；重新構(gòu)造實(shí)際邊的信息組成，使其包含：起點(diǎn)邏輯功能塊類ID、起點(diǎn)邏輯功能塊的輸出信息、終點(diǎn)邏輯功能塊類ID、終點(diǎn)邏輯功能塊的輸入信息；

步驟(6)?遍歷步驟(5)所述的當(dāng)前配置拓?fù)渲行聵?gòu)造的實(shí)際邊，對每一條實(shí)際邊所含信息進(jìn)行字符化處理，得到一個(gè)字符串，格式為：“起點(diǎn)邏輯功能塊類ID：起點(diǎn)邏輯功能塊的輸出信息：終點(diǎn)邏輯功能塊類ID：終點(diǎn)邏輯功能塊的輸入信息”，“：”為引入的分割字符；

步驟(7)?執(zhí)行模式匹配，匹配過程中將步驟(3)所述的匹配正文作為模式匹配中的目標(biāo)，將步驟(6)所述的字符串作為模式與目標(biāo)逐一地進(jìn)行匹配；只有在步驟(6)所述的每個(gè)字符串都匹配成功的情況下，才返回成功，否則返回失敗；所述的成功表示當(dāng)前的邏輯功能塊拓?fù)湔_，失敗則表示不正確；

所述的步驟(2)和步驟(5)中起點(diǎn)邏輯功能塊的輸出信息、終點(diǎn)邏輯功能塊的輸入信息都包含幀和元數(shù)據(jù)兩部分。