专利名称
主分类
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 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果7个,建议您升级VIP下载更多相关专利
  • [发明专利]一种面向高MC/DC的符号执行方法-CN202310366027.1在审
  • 张智轶;蔡煌莉;周玉倩;黄志球 - 南京航空航天大学
  • 2023-04-07 - 2023-07-04 - G06F11/36
  • 本发明公开了一种面向高MC/DC的符号执行方法,通过获取Java程序的程序依赖关系,提取方法所需的分支依赖关系生成“result.txt”文件;根据分支依赖关系和分支语句当前的MC/DC分数进行路径选择,采用深度优先搜索算法遍历Java程序的路径;每当进行路径探索时,记录各个分支语句的短路位置,对应的操作数栈和Java字节码等等;探索路径结束后,对短路位置进行赋值,并进行路径筛选;针对需要进行路径约束求解的路径,将分支语句上的短路位置转化为相应的约束表达式再进行路径约束求解,生成测试用例,并更新分支语句的相关信息;直至所有路径遍历结束,或Java程序中所有分支语句的MC/DC分数达到100%,则结束执行,输出所生成的测试用例,以此实现一种面向高MC/DC的符号执行方法。
  • 一种面向mcdc符号执行方法

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

钻瓜专利网在线咨询

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

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