[發明專利]一種由流程圖自動產生覆蓋率代碼的方法及裝置在審
| 申請號: | 201210171703.1 | 申請日: | 2012-05-29 |
| 公開(公告)號: | CN102722610A | 公開(公告)日: | 2012-10-10 |
| 發明(設計)人: | 謝崢;羅永貴;李姮樂;宋建龍;伍國斌 | 申請(專利權)人: | 李姮樂 |
| 主分類號: | G06F17/50 | 分類號: | G06F17/50 |
| 代理公司: | 暫無信息 | 代理人: | 暫無信息 |
| 地址: | 518055 廣東省*** | 國省代碼: | 廣東;44 |
| 權利要求書: | 查看更多 | 說明書: | 查看更多 |
| 摘要: | |||
| 搜索關鍵詞: | 一種 流程圖 自動 產生 覆蓋率 代碼 方法 裝置 | ||
1.一種由流程圖自動產生覆蓋率代碼的方法,其特征在于包括:
收集處理框中的覆蓋點并產生覆蓋率代碼的方法,以處理框中所描述的系統中各模塊在該處理框中執行的動作為功能覆蓋點,以對應該動作定義的事件的表征信號作為覆蓋條件,產生覆蓋率代碼;
收集判斷框中的覆蓋點并產生覆蓋率代碼的方法,以判斷框中所描述的判定條件中的變量為依據劃分的場景作為功能覆蓋點,以判定條件中的變量所代表的系統中的參數或模塊動作處理后的結果值作為覆蓋條件,產生覆蓋率代碼;
收集組合覆蓋點并產生覆蓋率代碼的方法,以每一條從起始點到終止點路徑上出現的所有判斷框中描述的判定條件交叉組合后對應的場景作為功能覆蓋點,以判定條件中的變量取值的交叉組合作為覆蓋條件,產生覆蓋率代碼;
收集序列覆蓋點并產生覆蓋率代碼的方法,以每一條從起始點到終止點路徑上出現的所有處理框代表的有序動作序列作為功能覆蓋點,以有序動作序列對應的有序事件的表征信號作為覆蓋條件,產生覆蓋率代碼;
收集帶約束條件的序列覆蓋點并產生覆蓋率代碼的方法,以每一條從起始點到終止點路徑上出現的所有處理框代表的有序動作序列和其中穿插的判斷框代表的判定條件作為功能覆蓋點,以有序動作序列對應的有序事件的表征信號以及判定條件中規定的變量取值作為覆蓋條件,產生覆蓋率代碼。
2.如權利要求1所述的產生覆蓋率代碼的方法,其特征在于,所述收集處理框中的覆蓋點并產生覆蓋率代碼的方法包括:
讀取流程圖中的所有元素。讀取過程從起始點出發,到終止點結束,遍歷整張流程圖的所有元素;
收集每一個處理框中系統各模塊產生的動作;
合并相同模塊中相同的動作;
對每一個動作定義一個對應的事件;
收集每一個事件的信號表征描述;
以系統各模塊的動作所表示的功能作為功能覆蓋點,以其被定義的對應事件的表征信號作為覆蓋條件,產生覆蓋率代碼。
3.如權利要求1所述的產生覆蓋率代碼的方法,其特征在于,所述收集判斷框中的覆蓋點并產生覆蓋率代碼的方法包括:
讀取流程圖中的所有元素,讀取過程從起始點出發,到終止點結束,遍歷整張流程圖的所有元素;
收集每一個判斷框中的判斷條件,判斷條件包含系統中的參數或模塊動作處理后的結果值,即判斷條件中的變量,以及其可能的取值范圍和類型信息;
根據判定條件完成場景劃分,場景是系統在工作于不同處理步驟時對應的系統參數或處理結果的值或類型的安排;
合并相同變量值或相同變量組合值對應的場景;
以每一個被劃分的場景所表示的功能作為功能覆蓋點,以對應場景判斷條件中定義的變量值或變量的組合值作為覆蓋條件,產生覆蓋率代碼。
4.如權利要求1所述的產生覆蓋率代碼的方法,其特征在于,所述收集組合覆蓋點并產生覆蓋率代碼的方法包括:
讀取流程圖中的所有元素,讀取過程從起始點出發,到終止點結束,遍歷整張流程圖的所有元素;
收集每一個判斷框中的判斷條件,判斷條件包含系統中的參數或模塊動作處理后的結果值,即判斷條件中的變量,以及其可能的取值范圍和類型信息;
根據判定條件完成場景劃分,場景是系統在工作于不同處理步驟時對應的系統參數或處理結果的值或類型的安排;
按照流程圖中每一條從起始點到終止點路徑上的判斷框出現的順序,依次將各判斷框中根據判定條件劃分的場景交叉組合,形成組合場景表示的功能覆蓋點,路徑中如果出現循環,預定循環上限;
以每一個組合場景所表示的功能作為功能覆蓋點,以對應組合場景判斷條件中定義的變量取值的組合形式作為覆蓋條件,產生覆蓋率代碼。
5.如權利要求1所述的產生覆蓋率代碼的方法,其特征在于,所述收集序列覆蓋點并產生覆蓋率代碼的方法包括:
讀取流程圖中的所有元素,讀取過程從起始點出發,到終止點結束,遍歷整張流程圖的所有元素;
收集流程圖中每一條從起始點到終止點路徑上的處理框中的動作,路徑中如果出現循環,預定循環上限;
對每一個動作定義一個對應的事件;
收集每一個事件的信號表征描述;
為每一條路徑發生的有序動作序列所表示的功能作為功能覆蓋點,以其對應的有序事件序列的表征信號作為覆蓋條件,產生覆蓋率代碼。
該專利技術資料僅供研究查看技術是否侵權等信息,商用須獲得專利權人授權。該專利全部權利屬于李姮樂,未經李姮樂許可,擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作,請聯系【客服】
本文鏈接:http://www.17sss.com.cn/pat/books/201210171703.1/1.html,轉載請聲明來源鉆瓜專利網。
- 上一篇:一種用于術后傷口清洗的護理液
- 下一篇:一種遠程實驗室仿真控制系統





