专利名称
主分类
A 农业
B 作业;运输
C 化学;冶金
D 纺织;造纸
E 固定建筑物
F 机械工程、照明、加热
G 物理
H 电学
专利下载VIP
公布日期
2023-10-24 公布专利
2023-10-20 公布专利
2023-10-17 公布专利
2023-10-13 公布专利
2023-10-10 公布专利
2023-10-03 公布专利
2023-09-29 公布专利
2023-09-26 公布专利
2023-09-22 公布专利
2023-09-19 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果5个,建议您升级VIP下载更多相关专利
  • [发明专利]一种基于可疑语句变异的错误定位方法-CN202310461924.0在审
  • 程实;詹广生;李治贤;宗烜逸;陈晓勇 - 南通大学
  • 2023-04-26 - 2023-08-15 - G06F11/36
  • 本发明为一种基于可疑语句变异的错误定位方法,包括以下步骤:S1、测试目标程序P:对给定的程序P执行测试套件TS,获得覆盖率信息和测试用例执行结果,即通过PASS或失败FAIL;S2、生成可疑语句S:借助SBFL技术中的错误定位公式计算程序语句的可疑度值,生成可疑语句排序列表;S3、生成变异体m:选择合适的变异算子mo,借助Proteum变异工具为可疑语句S的每个变异点生成变异体;S4、测试变异体m:使用同一个测试套件TS测试所有生成的变异体并记录测试用例的执行结果:测试结果从通过变为失败的测试用例数和从失败变为通过的测试用例数;S5、计算可疑度指标R:将TS对P的测试结果与TS对所有变异体m的测试结果进行比较,计算可疑度指标R,报告错误语句。
  • 一种基于可疑语句变异错误定位方法
  • [发明专利]一种基于模型检测的反例故障定位方法-CN202210583746.4在审
  • 程实;詹广生;李治贤;王浩任;吴佳骏;高欣欣;于梦;文万志 - 南通大学
  • 2022-05-25 - 2022-08-23 - G06F11/07
  • 本发明公开了一种基于模型检测的反例故障定位方法,主要用于解决使用声明性语言编写的模型中的故障定位问题,包括如下步骤:S1、定义有限状态机FSM规范,FSM规范定义两只类型的签名:State和FSM;S2、构建模型;S3、获取反例cex和满意实例sat:输入带有违反断言的模型,使用All Analyzer检查模型中的断言NoStopTransition获取反例ces;然后用sat求解器PSAT找到一个满足断言属性并尽可能接近反例ces的满意实例sat;S4、实例差异分析Diff Analyzer:确定反例cex和满意实例sat之间的关系和原子并对差异进行分析;S5、可疑表达式排序:计算布尔节点和关系节点的可疑分数分配给可疑表达式并进行排序。本发明对实例之间的差异进行研究分析,进行反例定位,可以快速有效的对声明性模型进行故障定位。
  • 一种基于模型检测反例故障定位方法

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

400-8765-105周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top