-
公开(公告)号:CN107783763A
公开(公告)日:2018-03-09
申请号:CN201710908702.3
申请日:2017-09-29
申请人: 乐蜜有限公司
发明人: 田昊
IPC分类号: G06F8/41
摘要: 本发明实施例提供了一种应用程序生成方法、装置、服务器和可读存储介质。该方法应用于服务器,该方法包括:获得待生成APP的文字描述信息,作为目标文字描述信息;将目标文字描述信息输入至预先训练的语义识别模型,得到目标文字描述信息的语义,作为目标语义;其中,语义识别模型用于:识别APP的文字描述信息的语义;获取目标语义对应的预设功能代码;调用预设的集成开发环境对预设功能代码进行编译;对编译后的预设功能代码进行打包,得到待生成APP的安装包。应用本发明实施例,可以降低应用程序的生成成本,并缩短应用程序的生成周期。
-
公开(公告)号:CN106681786A
公开(公告)日:2017-05-17
申请号:CN201710005782.1
申请日:2017-01-05
申请人: 南京大学
IPC分类号: G06F9/45
摘要: 本发明的自动合成常用循环的摘要并生成程序规约的方法,包括步骤:1.生成待验证程序的抽象语法树;2.分析步骤1生成的抽象语法树来生成程序语句的摘要;3.对步骤2中生成的摘要进行分析生成程序语句的规约;4.对步骤3中生成的规约进行验证,从而辅助证明待验证程序的性质。本发明通过将操作常用数据结构的循环语句转换为一系列抽象的赋值语句,有效地对这类循环语句进行了抽象,使得可以使用赋值语句的分析方法来分析循环语句。本发明根据语句的摘要所生成的程序规约有效地描述了程序的性质,尤其是程序执行前后程序状态之间的关系,这些规约高效地辅助了程序的验证过程,提高程序验证的自动化程度和效率,减轻验证人员的负担。
-
公开(公告)号:CN105210035A
公开(公告)日:2015-12-30
申请号:CN201480004086.3
申请日:2014-01-03
申请人: 微软技术许可有限责任公司
发明人: J·P·帕森斯 , J·J·达菲 , G·S·凯岑伯格 , A·D·布罗姆菲尔德 , Y·罗岑菲尔德
IPC分类号: G06F9/45
摘要: 通过指定表示资源的引用的寿命来提高系统编程中的安全性的语言扩展。根据语言扩展,寿命以这样的方式引用特定作用域,其中编译器生成将引用的寿命强制执行为基于特定作用域的寿命(例如,不比其长)的计算机可执行指令。相应地,可以预先指定资源寿命具有特定作用域。这会帮助执行资源管理,因为典型的受管理的语言程序可以允许资源无限制地存在。此外,由于资源具有定义的有限寿命,因此,它们可以更方便地在栈上(而不是在对上)被分配,以便更有效的处理。
-
公开(公告)号:CN105164642A
公开(公告)日:2015-12-16
申请号:CN201480014378.5
申请日:2014-03-11
申请人: 微软技术许可有限责任公司
发明人: J·J·达菲 , J·P·帕森斯 , C·S·戈登 , A·D·布罗姆菲尔德 , M·塔耶费尔 , D·A·巴尔托落梅奥 , M·巴尼特
IPC分类号: G06F9/45
CPC分类号: G06F8/41 , G06F8/436 , G06F8/52 , G06F9/45512 , G06F9/54
摘要: 前端编译器将源代码编译成中间代码,该中间代码之后被编译成二进制代码。源代码定义执行作用域并包括合同。当在执行作用域的运行时遇到合同时,对该执行作用域的进一步执行以与该合同相关联的断言是否为真作为条件。前端编译器操作以便保留合同从而使该合同在语义上继续被结构化,以使得可以从中间语言代码去除该断言。该合同可因此继续被合同的语义分析所理解。因此,该断言可以被操作中间代码的静态分析工具理解。
-
公开(公告)号:CN102597961A
公开(公告)日:2012-07-18
申请号:CN201080050828.8
申请日:2010-07-30
申请人: 国际商业机器公司
IPC分类号: G06F11/00
CPC分类号: G06F11/3684 , G06F8/433 , G06F8/436 , G06F11/3608
摘要: 一种用于分析关于存储器模型(M)的测试程序(P)的方法和系统,包括将测试程序预处理为中间形式,以及将所述测试程序的中间形式转换(204)为关系逻辑表示。将所述关系逻辑表示与存储器模型(M)组合(206),以产生合法性公式。在搜索所述存储器模型的空间或者所述合法性公式的核心上计算(208)界限的集合。求解(212)由所述合法性公式和所述界限的集合定义的关系可满足性问题,以判定所述测试程序的合法轨迹或者调试所述存储器模型。
-
公开(公告)号:CN109491658A
公开(公告)日:2019-03-19
申请号:CN201710812384.0
申请日:2017-09-11
申请人: 高德信息技术有限公司
IPC分类号: G06F8/41
摘要: 本发明公开了一种计算机可执行代码数据的生成方法及装置,涉及计算机技术领域,主要目的在于将自然语言生成计算机可执行代码数据,减少对专业技术人员的依赖,提高计算机应用的开发和使用效率,降低计算机应用的开发成本。本发明主要技术方案包括:获取描述语言,所述描述语言至少包括自然语言文字及标点符号,所述标点符号用于分隔自然语言文字以及表示自然语言文字之间的运算关系;对所述描述语言包括的自然语言文字及标点符号进行编译,得到所述描述语言对应的可执行计算机代码。本发明主要应用于计算机可执行代码数据生成的过程中。
-
公开(公告)号:CN107391222A
公开(公告)日:2017-11-24
申请号:CN201710693064.8
申请日:2017-08-14
申请人: 广东工业大学
IPC分类号: G06F9/45
摘要: 本发明公开了一种过程可视化的代码执行方法及装置,该方法的步骤包括:编写用于分析代码执行过程中产生的相关参数信息的分析规则;获取源代码,对源代码进行编译并根据分析规则得到编译过程中的相关参数信息;对相关参数信息进行可视化展示。可见,本方法在代码编译的同时增加了获取代码执行过程中状态的相关参数信息的操作,并且展示给用户。因此,用户可以在对于代码执行的过程有更直观的了解,进而能够更加准确有效进行程序的调试,降低了程序调试的成本以及调试的时间开销,并且提高了用户应用开发或编程学习的体验感。此外,过程可视化的代码执行装置同样具有上述效果。
-
公开(公告)号:CN105408872A
公开(公告)日:2016-03-16
申请号:CN201380078502.X
申请日:2013-08-28
申请人: 株式会社日立制作所
IPC分类号: G06F11/36
CPC分类号: G06F11/3608 , G06F8/40 , G06F8/427 , G06F8/436 , G06F8/4436 , G06F8/72
摘要: 通过符号执行进行针对由人工实施的重构的等价性验证时,能够不使计算量爆发,而迅速地进行。在验证源代码的等价性时,进行基于解析源代码而得的结构图的结构比较的验证和符号执行的验证这两种验证。并且,在通过基于结构图的结构比较能够判定为结构一致的情况下,不进行符号执行。此外,在进行基于结构比较的验证前,对于重构前后的各个源代码,根据对每个重构模式决定的正规化信息对结构图进行正规化,在重构正当时,调整为结构一致。并且,对将重构前后的各个结构图进行抽象化而得的图进行符号执行来进行验证,由此限定进行符号执行的位置。
-
公开(公告)号:CN107678749A
公开(公告)日:2018-02-09
申请号:CN201710912586.2
申请日:2017-09-29
申请人: 深圳市山龙智控有限公司
IPC分类号: G06F8/41
摘要: 本发明公开一种基于结构化语言编程的转码方法及装置,应用于机器人中,其中,该基于结构化语言编程的转码方法包括:获取控制机器人运行的源程序;对源程序进行扫描处理,以对源程序进行词法分析得到最小语法单元,以及组合若干最小语法单元形成字符串并进行语法分析得到中间代码;对源程序进行二次扫描处理形成记录有中间代码的符号表,并对符号表的符号进行语义分析生成结构体目标代码,以控制机器人的运动控制模块。本发明的技术方案能够将机器人的源程序转成结构化的目标代码,便于用户编译,学习成本低,同时能够提高控制器的处理效率。
-
公开(公告)号:CN105408872B
公开(公告)日:2017-11-24
申请号:CN201380078502.X
申请日:2013-08-28
申请人: 株式会社日立制作所
IPC分类号: G06F11/36
CPC分类号: G06F11/3608 , G06F8/40 , G06F8/427 , G06F8/436 , G06F8/4436 , G06F8/72
摘要: 通过符号执行进行针对由人工实施的重构的等价性验证时,能够不使计算量爆发,而迅速地进行。在验证源代码的等价性时,进行基于解析源代码而得的结构图的结构比较的验证和符号执行的验证这两种验证。并且,在通过基于结构图的结构比较能够判定为结构一致的情况下,不进行符号执行。此外,在进行基于结构比较的验证前,对于重构前后的各个源代码,根据对每个重构模式决定的正规化信息对结构图进行正规化,在重构正当时,调整为结构一致。并且,对将重构前后的各个结构图进行抽象化而得的图进行符号执行来进行验证,由此限定进行符号执行的位置。
-
-
-
-
-
-
-
-
-