[發明專利]基于AADL擴展附件的軟件系統堆棧分析方法

有效

• 申請號: 201710597752.4
• 申請日: 2017-07-20
• 公開（公告）號: CN107402759B
• 公開（公告）日: 2020-07-17
• 發明（設計）人: 楊雨婷;柯文俊;達一菲;侯敏;陳靜;王泊涵;王坤龍
• 申請（專利權）人: 北京計算機技術及應用研究所
• 主分類號: G06F8/20
• 分類號: G06F8/20;G06F8/35
• 代理公司: 中國兵器工業集團公司專利中心 11011
• 代理人: 劉瑞東

1.一種基于AADL擴展附件的軟件系統堆棧分析方法，其特征在于，包括以下步驟：

步驟一、進行AADL堆棧屬性集的擴展和數據結構的定義

首先基于AADL模型增加屬性集StackAnalysis_Property，設置堆棧分析所需的相關屬性，每個屬性的類型為bits、bytes或kbytes；

令：

LVTS＝Local_Varibales_of_Task_Size，

Local_Varibales_of_Task_Size為屬性集中的屬性，表示任務局部變量大小范圍；

LVFS＝Local_Variables_of_Function_Size，

Local_Variables_of_Function_Size為第i種工作模式下的第r個子程序組件的屬性集中的屬性，表示被調用函數局部變量大小范圍；

RAFS＝Return_Address_of_Function_Size，

Return_Address_of_Function_Size為屬性集中的屬性，表示被調用函數返回地址大小范圍；

CSF＝Code_Size_of_Function，

Code_Size_of_Function為屬性集中的屬性，表示被調用函數代碼空間大小范圍；

CallNum表示AADL模型組件v被其他任務組件調用的次數；

High表示v在樹中深度；

RS表示v的臨近子結點?？臻g總范圍；

MD表示v的工作模式；

其次，在擴展屬性集的基礎上，對AADL模型組件中的子程序組件和非子程序組件定義數據結構：

v為非子程序組件，其數據結構：

Struct_V＝{LVTS,CallNum,High,RS,MD}

v為子程序組件，其數據結構：

Struct_V＝{RAFS,LVFS,CSF,CallNum,High,MD}

步驟二、進行樹結構的構建和總?？臻g范圍的計算

以系統的AADL模型的組件為結點，組件具有的堆棧屬性為結點數據，并根據結點間包含或調用關系確定各組件在樹中的結構關系，從而構建樹；樹結構用T(E,V)表示，其中V是帶有屬性信息的樹結點集合，對于v為AADL模型組件，若v在多個模塊中調用，則賦予不同的樹結點名稱；E為樹枝集合，對于uv∈E表示兩種情況：一種是v為非子程序組件，則u包含v，u為v的父結點；第二種是v是子程序組件，則u調用v，u為v的父結點；

將子程序組件和非子程序組件作為樹中的結點，按步驟一的定義給出這兩種組件結點的數據結構；

設父結點為F，子結點集合FS＝{S₁,S₂,…,S_m,F₁，F₂，…，F_n}，FS中有m個子程序組件S₁,S₂,…,S_m，n個非子程序組件F₁,F₂,…,F_n，則F的總?？臻g計算公式為：

TotalSize＝max{MDSize_i},i＝1,2,...,N (1)

其中，N代表FS中的工作模式數目，MDSize_i表示同一種工作模式下的?？臻g大小，設第i種工作模式下有t個子程序組件，p個非子程序組件，則公式(1)中的：

其中，S_ir表示第i種工作模式下的第r個子程序組件的?？臻g大小，r＝1,2,…t；F_ij表示在第i種工作模式下第j個非子程序組件的棧空間大??；公式(2)中的S_ir和F_ij的計算公式如下：

其中，nn表示在第i種工作模式下第j個非子程序組件的臨近子結點個數，分別表示在第i種工作模式下第j個非子程序組件的第q個臨近子結點對應的LVTS、RS表示的數據信息；

其中，sn表示S_ir的調用子程序組件個數，分別表示S_ir的第i種工作模式下的第r個子程序組件的第q個臨近子結點對應的LVFS、RAFS、CSF表示數據信息；

StackAnalysis_Property中各屬性值均有各自的上下限值，將Struct_V中各參數的最小值和最大值代入式(1)至式(4)中得到系統的總?？臻g范圍[MinSize，MaxSize]。