一种断言代码生成方法、装置、设备及介质
实质审查的生效
摘要

本申请公开了一种断言代码生成方法、装置、设备及介质,该方法包括:获取自然语言描述,并解析自然语言描述,确定与自然语言描述对应的预定义自然语言场景以及相应的用户配置参数;基于预定义自然语言场景与预设映射表,确定与预定义自然语言场景对应的目标断言场景;从预设配置模板库中查询与目标断言场景对应的用于构建断言代码的目标配置模板;将用户配置参数填充至目标配置模板,以生成与自然语言描述对应的目标断言代码。由此可见,本申请提出了一种将自然语言描述转换成断言代码的方法,通过该方法可以在不学习断言描述的情况下获得需要的断言代码,使得断言验证不再需要学习复杂的断言描述,降低了学习成本,提高了验证效率。

基本信息
专利标题 :
一种断言代码生成方法、装置、设备及介质
专利标题(英):
暂无
公开(公告)号 :
CN114385132A
申请号 :
CN202111594357.3
公开(公告)日 :
2022-04-22
申请日 :
2021-12-23
授权号 :
暂无
授权日 :
暂无
发明人 :
朱雷杨静
申请人 :
山东云海国创云计算装备产业创新中心有限公司
申请人地址 :
山东省济南市中国(山东)自由贸易试验区济南片区浪潮路1036号浪潮科技园S01楼35层
代理机构 :
北京集佳知识产权代理有限公司
代理人 :
薛晨光
优先权 :
CN202111594357.3
主分类号 :
G06F8/30
IPC分类号 :
G06F8/30  G06F8/73  G06F16/2455  G06F40/186  
IPC结构图谱
G
G部——物理
G06
计算;推算或计数
G06F
电数字数据处理
G06F8/00
软件工程设计
G06F8/30
创建或生成源代码
法律状态
2022-05-10 :
实质审查的生效
IPC(主分类) : G06F 8/30
申请日 : 20211223
2022-04-22 :
公开
注:本法律状态信息仅供参考,即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
  • 联系电话
    电话:023-6033-8768
    QQ:1493236332
  • 联系 Q Q
    电话:023-6033-8768
    QQ:1493236332
  • 关注微信
    电话:023-6033-8768
    QQ:1493236332
  • 收藏
    电话:023-6033-8768
    QQ:1493236332