[发明专利]一种基于数据流和状态机的模型覆盖率分析统计方法在审
| 申请号： | 202310540000.X | 申请日： | 2023-05-15 |
| 公开（公告）号： | CN116627806A | 公开（公告）日： | 2023-08-22 |
| 发明（设计）人： | 黄丽桃;王彦芳;高栋栋;陈睿;江云松;张小龙;杨帆 | 申请（专利权）人： | 北京轩宇信息技术有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 暂无信息 | 代理人： | 暂无信息 |
| 地址： | 101300 北京市顺义*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 一种基于数据流和状态机的模型覆盖率分析统计方法，包括步骤一，分析数据流和状态机模型；步骤二，条件关键点分析；步骤三，生成模型代码；步骤四，执行及覆盖率分析；所述步骤一中，对于数据流模型进行遍历：根据输出节点获取以其为终止节点的有向边；根据有向边查找其起始节点；重复上述两步，直至找到节点满足以下条件：没有其作为终止节点的有向边；遍历过程中，遍历到的每个节点都作为一个基本块；本发明通过分析模型的基本块和关键点，并基于分析结果对模型生成代码并插桩，在仿真后对基本块覆盖情况和条件覆盖情况进行统计分析，该方法已经在真实程序中进行了验证，可以计算出基本块覆盖率和条件覆盖率。 | ||
| 搜索关键词： | 一种 基于 数据流 状态机 模型 覆盖率 分析 统计 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京轩宇信息技术有限公司，未经北京轩宇信息技术有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202310540000.X/，转载请声明来源钻瓜专利网。
