[發明專利]一種功能覆蓋率的全遍歷方法在審
| 申請號: | 201711057127.7 | 申請日: | 2017-11-01 |
| 公開(公告)號: | CN107844396A | 公開(公告)日: | 2018-03-27 |
| 發明(設計)人: | 朱思良;周強 | 申請(專利權)人: | 上海華虹集成電路有限責任公司 |
| 主分類號: | G06F11/263 | 分類號: | G06F11/263;G06F11/36 |
| 代理公司: | 暫無信息 | 代理人: | 暫無信息 |
| 地址: | 201203 上海市浦東*** | 國省代碼: | 上海;31 |
| 權利要求書: | 查看更多 | 說明書: | 查看更多 |
| 摘要: | |||
| 搜索關鍵詞: | 一種 功能 覆蓋率 遍歷 方法 | ||
1.一種功能覆蓋率的全遍歷方法,其特征在于,包含:
a)定義基本功能覆蓋率點,通過表格的方法,排除無意義的交叉功能覆蓋率集合,找到有意義的交叉的功能覆蓋率集合。
b)互相交叉的功能覆蓋率集合再次與基本功能覆蓋率點交叉,通過表格來找到更進一步,有意義的功能點集合。
c)不斷遞歸調用b的方法,更進一步的功能覆蓋率集合,直到無法進一步,可以確定所有功能點集合都被遍歷。
2.如權利要求1所述的方法,其特征在于:定義基本功能覆蓋率點為覆蓋率分析的出發條件,決定了交叉功能覆蓋率集合的最大值。
3.如權利要求1所述的方法,其特征在于:排除無意義的交叉功能覆蓋率集合為約束條件,決定了有忽略的交叉功能覆蓋率集合數量。
該專利技術資料僅供研究查看技術是否侵權等信息,商用須獲得專利權人授權。該專利全部權利屬于上海華虹集成電路有限責任公司,未經上海華虹集成電路有限責任公司許可,擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作,請聯系【客服】
本文鏈接:http://www.szxzyx.cn/pat/books/201711057127.7/1.html,轉載請聲明來源鉆瓜專利網。
- 上一篇:一種鋼卷尺示值誤差檢定裝置
- 下一篇:基于服裝定制的特體測量尺





