[發明專利]一種多源異構嵌入式軟件協同仿真測試方法

有效

• 申請號: 201910864496.X
• 申請日: 2019-09-12
• 公開（公告）號: CN110569615B
• 公開（公告）日: 2023-05-05
• 發明（設計）人: 馬思友;高峰;顏運強;尚小虎;鄧霏;鄒偉;李春雷;仵林博
• 申請（專利權）人: 中國工程物理研究院計算機應用研究所
• 主分類號: G06F30/20
• 分類號: G06F30/20
• 代理公司: 北京天奇智新知識產權代理有限公司 11340
• 代理人: 楊春

1.一種多源異構嵌入式軟件協同仿真測試方法，其特征在于：包括以下步驟：

步驟1、進行基于混合式P2P的協同仿真測試；

所述步驟1包括以下步驟：

步驟1.1、將仿真測試節點的類型分為3類：全數字仿真節點、半實物仿真節點和全實物節點，對于待測多源異構嵌入式系統按照系統設計的模塊劃分為不同的節點，將還沒有實物只有代碼的節點設為全數字仿真節點，所有的全數字仿真節點構成集合V＝{v_i|i＝0,1,2,3,...}，集合中每一個元素v_i表示一個全數字仿真節點；將只有部分實物還沒有完全研制完成的節點設為半實物仿真節點，所有的半實物仿真節點構成集合P＝{p_i|i＝0,1,2,3,...}，集合中每一個元素p_i表示一個半實物仿真節點；將研制完成有實物的節點設為全實物節點，所有的全實物節點構成集合R＝{r_i|i＝0,1,2,3,...}，集合中每一個元素r_i表示一個全實物節點；待測系統由集合S＝V∪P∪R構成；

步驟1.2、對于每一類型的節點集合，選取其中一個節點為中心節點，分別記全數字仿真節點構成集合、半實物仿真節點集合、全實物節點集合的中心節點為Vm、Pm、Rm，以選取的中心節點為中心服務節點構建全數字節點集中式P2P網絡、半實物節點集中式P2P網絡、全實物節點集中式P2P網絡，由中心節點負責該類型集中式P2P網絡的節點維護、路由查找與更新，實現該類節點的仿真通信；以各中心節點為集合建立分布式對等P2P網絡，滿足仿真通信需要跨節點類型的情況；通過上述步驟1.1、1.2構建混合了集中式P2P和分布式P2P網絡的混合式P2P網絡，滿足多源異構節點協同仿真通信要求；

步驟2、以步驟1建立的混合式P2P為基礎，進行基于滑動窗口的時鐘同步；

所述步驟2包括以下步驟：

步驟2.1、以步驟1建立的混合式P2P為基礎，建立測試步驟的歸一化表示，記為I＝(TN,Time,Action)，TN表示該測試步驟中混合式P2P中的測試節點，Time表示執行仿真測試的時間，Action表示具體的測試動作；

步驟2.2、設測試用例由多個測試步驟構成，記為TC＝{I₀,I₁,I₂,I₃......}，記當前測試用例用到的混合式P2P中的測試節點為窗口節點，建立窗口Window＝{TN₀,TN₁,TN₂......}；

步驟2.3、對于窗口內節點進行時間同步，而對于非窗口節點則不進行時間同步；窗口內節點進行時間同步時，選取窗口混合式P2P中的測試節點中最長仿真時間推進步長為仿真步長進行時間推進和同步；

步驟3、以步驟2建立的同步時間步長為基礎，進行基于時間系數矩陣的動態時間推進。

2.根據權利要求1所述的多源異構嵌入式軟件協同仿真測試方法，其特征在于：所述步驟3包括以下步驟：

步驟3.1、以步驟2建立的同步時間步長為基礎，建立混合式P2P中不同節點間時間步長比例系數矩陣T：

其中，a_i,j表示混合式P2P中第i個節點與第j個節點間的同步時間步長比例系數；時間步長比例系數矩陣T可以明確表示出各個節點間實時仿真、超實時仿真、欠實時仿真的關系，具體為：比例系數a_i,j為1則說明兩節點間的時間推進步長一致，比例系數a_i,j大于1則說明前一節點相對于后一節點是欠實時仿真，比例系數a_i,j小于1則說明前一節點相對于后一節點是超實時仿真；矩陣T存在對稱元素互為倒數的關系即a_i,j×a_j,i＝1；仿真推進過程即為矩陣T不斷更新變化的過程；

步驟3.2、建立反饋函數f，以當前時間步長比例系數矩陣T_k為輸入，計算出下一步最優時間推進步長比例系數矩陣T_k+1，為了實現各個節點的仿真時間同步，反饋函數f定義為T_k+1＝MAX(T_k)，即下一步最優時間推進步長比例系數矩陣為上一步比例系數矩陣中的最長時間步長，確保仿真時序的正確推進。