[發(fā)明專利]數(shù)據(jù)耦合和控制耦合自動(dòng)分析方法

有效

• 申請(qǐng)?zhí)枺?/td>: 201711043685.8
• 申請(qǐng)日: 2017-10-31
• 公開（公告）號(hào): CN107703923B
• 公開（公告）日: 2020-04-14
• 發(fā)明（設(shè)計(jì)）人: 倪紅英
• 申請(qǐng)（專利權(quán)）人: 中國航空無線電電子研究所
• 主分類號(hào): G06F11/36
• 分類號(hào): G06F11/36
• 代理公司: 上海和躍知識(shí)產(chǎn)權(quán)代理事務(wù)所(普通合伙) 31239
• 代理人: 楊慧

1.一種數(shù)據(jù)耦合和控制耦合自動(dòng)分析方法，其特征在于包含以下程序步驟：

步驟1、分析軟件源代碼，獲取潛在耦合因子，并記錄潛在耦合因子；其中，潛在耦合因子為MPC路徑上的結(jié)點(diǎn)，MPC路徑為按照更改路徑覆蓋策略對(duì)應(yīng)的路徑，更改路徑覆蓋策略為只考慮影響耦合的路徑，不考慮不影響耦合的路徑；

步驟2、分析軟件源代碼，確定程序的調(diào)用關(guān)系，沿著程序調(diào)用關(guān)系，識(shí)別MPC路徑并形成MPC路徑集合；

步驟3、識(shí)別各MPC路徑上的潛在耦合因子是否為“耦合對(duì)”；

步驟4、在軟件源代碼中出現(xiàn)“耦合對(duì)”的地方插裝標(biāo)記語句；

步驟5、在已插裝了標(biāo)記語句的程序上，執(zhí)行基于需求的測(cè)試程序，分析所插裝的標(biāo)記語句的執(zhí)行結(jié)果，生成耦合覆蓋分析報(bào)告。

2.根據(jù)權(quán)利要求1所述的一種數(shù)據(jù)耦合和控制耦合自動(dòng)分析方法，其特征在于所述步驟1包含以下程序步驟：

步驟1.1、對(duì)軟件源代碼進(jìn)行識(shí)別；

步驟1.2、對(duì)識(shí)別出的全局變量，若全局變量為簡單變量，則將簡單變量作為潛在耦合因子記錄在潛在耦合因子表中；若全局變量為組合變量，則將組合變量的每一元素作為單獨(dú)的潛在耦合因子記錄在潛在耦合因子表中；

步驟1.3、對(duì)識(shí)別出的函數(shù)定義，則分別將輸入?yún)?shù)和輸出參數(shù)作為單獨(dú)的潛在耦合因子記錄在潛在耦合因子表中；

步驟1.4、對(duì)識(shí)別出的局部變量，若該局部變量或該局部變量的變形為函數(shù)調(diào)用的實(shí)參，則將該局部變量作為潛在耦合因子記錄在潛在耦合因子表中；

步驟1.5、對(duì)識(shí)別出的數(shù)據(jù)文件或數(shù)據(jù)庫，將數(shù)據(jù)文件或數(shù)據(jù)庫的每一個(gè)元素作為一個(gè)單獨(dú)的潛在耦合因子記錄在潛在耦合因子表中。

3.根據(jù)權(quán)利要求2所述的一種數(shù)據(jù)耦合和控制耦合自動(dòng)分析方法，其特征在于所述潛在耦合因子表采用XML格式文件作為表現(xiàn)形式。

4.根據(jù)權(quán)利要求1或2或3所述的一種數(shù)據(jù)耦合和控制耦合自動(dòng)分析方法，其特征在于所述潛在耦合因子的屬性包括所在文件名稱、所處位置、潛在耦合因子名稱、類型。

5.根據(jù)權(quán)利要求1所述的一種數(shù)據(jù)耦合和控制耦合自動(dòng)分析方法，其特征在于所述步驟2包含以下程序步驟：

步驟2.1、分析軟件源代碼，形成軟件的調(diào)用關(guān)系樹；

步驟2.2、分析軟件源代碼，將模塊中的潛在耦合因子作為路徑結(jié)點(diǎn)形成MPC路徑矩陣；

步驟2.3、從調(diào)用關(guān)系樹的樹根開始，按照深度優(yōu)先策略，遍歷模塊的MPC路徑矩陣，形成自起點(diǎn)至終點(diǎn)的程序運(yùn)行的完整路徑，并記錄完整路徑；

步驟2.4、重復(fù)步驟2.3，直到所有模塊的MPC路徑都遍歷一遍，形成軟件的MPC路徑集合。

6.根據(jù)權(quán)利要求5所述的一種數(shù)據(jù)耦合和控制耦合自動(dòng)分析方法，其特征在于所述路徑結(jié)點(diǎn)的屬性包括程序文件名稱和結(jié)點(diǎn)位置。

7.根據(jù)權(quán)利要求1所述的一種數(shù)據(jù)耦合和控制耦合自動(dòng)分析方法，其特征在于所述步驟3包含以下程序步驟：

步驟3.1、沿某一MPC路徑遍歷程序；

步驟3.2、如果是對(duì)某潛在耦合因子進(jìn)行賦值操作，則先記錄該賦值操作及該潛在耦合因子的有關(guān)屬性；

步驟3.3、如果是對(duì)某潛在耦合因子進(jìn)行使用操作，則向前檢索是否有對(duì)該潛在耦合因子的賦值操作，如果有，則記錄該“耦合對(duì)”為“數(shù)據(jù)耦合對(duì)”；

步驟3.4、如果是將某潛在耦合因子用于程序執(zhí)行路徑控制，則向前檢索是否有對(duì)該潛在耦合因子的賦值操作，如果有，則記錄該“耦合對(duì)”為“控制耦合對(duì)”。

8.根據(jù)權(quán)利要求7所述的一種數(shù)據(jù)耦合和控制耦合自動(dòng)分析方法，其特征在于所述“耦合對(duì)”的屬性包括潛在耦合因子名稱、耦合類型及耦合發(fā)生的位置。