[發(fā)明專利]一種基于擴(kuò)展?fàn)顟B(tài)機(jī)圖的測(cè)試用例自動(dòng)產(chǎn)生方法

無(wú)效

• 申請(qǐng)?zhí)枺?/td>: 201310034738.5
• 申請(qǐng)日: 2013-04-25
• 公開（公告）號(hào): CN103198012A
• 公開（公告）日: 2013-07-10
• 發(fā)明（設(shè)計(jì)）人: 謝崢;羅永貴;宋建龍;伍國(guó)斌;李?yuàn)瑯?lè)
• 申請(qǐng)（專利權(quán)）人: 李?yuàn)瑯?lè)
• 主分類號(hào): G06F11/36
• 分類號(hào): G06F11/36
• 代理公司: 暫無(wú)信息
• 代理人: 暫無(wú)信息

技術(shù)領(lǐng)域

本發(fā)明涉及一種基于擴(kuò)展?fàn)顟B(tài)機(jī)圖的測(cè)試用例自動(dòng)產(chǎn)生方法，屬于集成電路功能驗(yàn)證的技術(shù)領(lǐng)域。

背景技術(shù)

現(xiàn)有的集成電路功能驗(yàn)證方法主要通過(guò)限制性隨機(jī)驗(yàn)證完成大部分應(yīng)用場(chǎng)景的模擬。對(duì)于很難在隨機(jī)情況中產(chǎn)生的邊角情況由驗(yàn)證工程師手工編寫，并通過(guò)原有的驗(yàn)證平臺(tái)加載到被測(cè)設(shè)計(jì)中，這時(shí)邊角情況種類的完全性、產(chǎn)生的復(fù)雜度、與現(xiàn)有驗(yàn)證平臺(tái)的兼容性都直接影響到了驗(yàn)證成本。

驗(yàn)證工程師會(huì)根據(jù)狀態(tài)機(jī)的狀態(tài)點(diǎn)和狀態(tài)之間的轉(zhuǎn)移功能是否被覆蓋到來(lái)決定手工編寫的測(cè)試案例的內(nèi)容，以達(dá)到兩者覆蓋率的完整。狀態(tài)機(jī)圖中只標(biāo)注了狀態(tài)和其之間的轉(zhuǎn)移連線，狀態(tài)內(nèi)部的各種情況沒有進(jìn)行圖形標(biāo)注，致使邊角情況的制造困難。

在狀態(tài)機(jī)圖上的遍歷研究中，最優(yōu)解的查找往往比較復(fù)雜，根據(jù)功能驗(yàn)證的特性，少量的重復(fù)減少大量的計(jì)算是更實(shí)用的方案。而且僅對(duì)簡(jiǎn)單的狀態(tài)的遍歷，對(duì)其他覆蓋率指標(biāo)和一些邊角情況的功能測(cè)點(diǎn)效果不明顯。

隨機(jī)加手工的方法產(chǎn)生的測(cè)試用例集合整體效率并不高，因?yàn)槠渲袦y(cè)試用例的針對(duì)性不強(qiáng)，對(duì)某些覆蓋的重復(fù)測(cè)試過(guò)多，影響相同覆蓋率下仿真軟件的運(yùn)行時(shí)間。為解決高覆蓋率且高效的測(cè)試用例的產(chǎn)生問(wèn)題，甚至是對(duì)于某些指標(biāo)的全覆蓋率和最高效問(wèn)題，本專利將提出一種擴(kuò)展的狀態(tài)機(jī)模型，配以低復(fù)雜度的遍歷方法和測(cè)試用例產(chǎn)生方法，完成高效高覆蓋率測(cè)試用例的自動(dòng)產(chǎn)生。

現(xiàn)有根據(jù)狀態(tài)序列產(chǎn)生測(cè)試信號(hào)的方法，僅考慮當(dāng)前運(yùn)行周期輸入信號(hào)對(duì)狀態(tài)轉(zhuǎn)移的影響，對(duì)復(fù)雜狀態(tài)機(jī)，特別是由內(nèi)部變量引起的狀態(tài)轉(zhuǎn)移，現(xiàn)有方法無(wú)法滿足。

發(fā)明內(nèi)容

本發(fā)明要解決的主要技術(shù)問(wèn)題是，提供一種擴(kuò)展的狀態(tài)機(jī)圖及其構(gòu)建方法，在此基礎(chǔ)上提供對(duì)應(yīng)的遍歷方法和測(cè)試用例的自動(dòng)生成方法。

為解決上述技術(shù)問(wèn)題，本發(fā)明采用的技術(shù)方案如下：

一種擴(kuò)展的狀態(tài)機(jī)圖及其構(gòu)建方法：

1.狀態(tài)集合、狀態(tài)轉(zhuǎn)移集合、狀態(tài)轉(zhuǎn)移條件集合分別用帶有狀態(tài)名的圓圈、帶箭頭的曲線、曲線上轉(zhuǎn)移條件的文字表示。

2.收集并分類每個(gè)狀態(tài)中涉及的輸入信號(hào)、內(nèi)部變量、輸出信號(hào)、輸出函數(shù)。

3.對(duì)于每個(gè)狀態(tài)中的每個(gè)輸出函數(shù)，收集和記錄實(shí)現(xiàn)該輸出函數(shù)對(duì)輸入信號(hào)和內(nèi)部變量的要求，以及該輸出函數(shù)輸出時(shí)所影響的內(nèi)部變量與輸出信號(hào)。

4.將每個(gè)狀態(tài)中的每個(gè)輸出函數(shù)，按照輸出后的下一狀態(tài)分類。即該狀態(tài)的狀態(tài)扇出數(shù)目為輸出函數(shù)的分類數(shù)目。

5.在每個(gè)狀態(tài)圓圈中，構(gòu)建影響輸出函數(shù)選擇，由輸入信號(hào)和內(nèi)部變量取值約束構(gòu)成的，具有優(yōu)先級(jí)先后順序的路徑圖。

進(jìn)一步地，狀態(tài)圓圈中的路徑圖，其特征在于，每個(gè)狀態(tài)有幾種下一狀態(tài)，就有幾個(gè)路徑終點(diǎn)，即該狀態(tài)的狀態(tài)扇出數(shù)。該路徑圖上的每一條路徑都由一個(gè)統(tǒng)一的起點(diǎn)出發(fā)，路經(jīng)該狀態(tài)所有輸入信號(hào)和內(nèi)部變量，最后匯聚到這幾個(gè)終點(diǎn)中的一個(gè)上，形成一條完整的路徑。該起點(diǎn)由該狀態(tài)的扇入狀態(tài)轉(zhuǎn)移曲線的終點(diǎn)匯合而成。每一條連接到終點(diǎn)的路徑都對(duì)應(yīng)著一種輸出函數(shù)的選擇。從起點(diǎn)走到終點(diǎn)的一條完整路徑，表示了如果要走到最后連接終點(diǎn)的線路所表示的輸出函數(shù)，需要經(jīng)過(guò)一路上各相關(guān)輸入信號(hào)和內(nèi)部變量的約束，隨后通過(guò)終點(diǎn)對(duì)應(yīng)的狀態(tài)轉(zhuǎn)移曲線，進(jìn)入下一個(gè)狀態(tài)。

更進(jìn)一步地，狀態(tài)圓圈中的路徑圖，其特征在于，在路徑上標(biāo)注通過(guò)該路徑時(shí)對(duì)輸入信號(hào)和內(nèi)部變量相關(guān)的約束條件，包括與多個(gè)信號(hào)或多個(gè)變量相關(guān)的組合約束條件，并且同一條路徑上相同的約束條件可以合并。同一個(gè)狀態(tài)圓圈中的各輸出函數(shù)的選取條件可能會(huì)存在重疊，根據(jù)設(shè)計(jì)中判斷輸出函數(shù)選擇的實(shí)際判斷條件的優(yōu)先級(jí)從上到下排列，高優(yōu)先級(jí)的選擇條件自動(dòng)從低優(yōu)先級(jí)的選擇條件中減掉，使每條完整路徑上的約束條件不會(huì)重疊。

在擴(kuò)展的狀態(tài)機(jī)圖上遍歷的方法：

1)計(jì)算并保存狀態(tài)機(jī)圖上任意一個(gè)狀態(tài)到另一個(gè)狀態(tài)中間經(jīng)過(guò)的最少狀態(tài)路徑，即任意兩狀態(tài)間的最短路徑。從一個(gè)狀態(tài)到另一個(gè)狀態(tài)，如果是不可達(dá)的，最短路徑則為無(wú)限大。進(jìn)入第二步。

2)如果從復(fù)位后的初始狀態(tài)存在到某一個(gè)狀態(tài)的最短路徑是不可達(dá)，停止該方法，打印狀態(tài)機(jī)設(shè)計(jì)錯(cuò)誤信息，否則進(jìn)入第三步。

3)統(tǒng)計(jì)每一個(gè)狀態(tài)到其每種下一個(gè)狀態(tài)可能通過(guò)的路徑圖中的路徑種類。并將種類數(shù)標(biāo)記在該狀態(tài)到其下一狀態(tài)的狀態(tài)轉(zhuǎn)移連線上。

4)創(chuàng)建一條路徑，增加到遍歷路徑集合中，以復(fù)位后的初始狀態(tài)節(jié)點(diǎn)作為起始節(jié)點(diǎn)，進(jìn)入第5步。