会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 8. 发明授权
    • Using cross-entropy to test executable logic code
    • 使用交叉熵测试可执行逻辑代码
    • US08056059B2
    • 2011-11-08
    • US11873447
    • 2007-10-17
    • Hana ChocklerEitan Daniel FarchiBenyamin GodlinSergey Novikov
    • Hana ChocklerEitan Daniel FarchiBenyamin GodlinSergey Novikov
    • G06F9/44G06F17/00G06F15/173
    • G06F11/3604G06F11/3676
    • A method for detecting the occurrence of rare events in an executable logic code includes assigning a first probability of a chance of traversal of one or more decision paths, in which each path connects two decision points defined by execution of the logic code. As a result of execution of the logic code, the decision paths traversed are evaluated to determine whether said traversal conforms to a predefined performance function. The performance function defines a goal to be achieved pursuant to the execution of the logic code. A second probability is assigned to the chance of traversal of at least one of said one or more decision paths to increase the likelihood that the one or more decision paths are traversed in a subsequent execution of the logic code in a closer conformity with the predefined performance function.
    • 用于检测可执行逻辑代码中的罕见事件的发生的方法包括分配一个或多个判定路径的遍历机会的第一概率,其中每个路径连接由逻辑代码的执行定义的两个决定点。 作为执行逻辑代码的结果,评估遍历的决策路径以确定所述遍历是否符合预定义的性能函数。 性能函数定义了根据逻辑代码的执行实现的目标。 第二概率被分配给遍历所述一个或多个判决路径中的至少一个的机会,以增加在随后的执行逻辑代码中以更符合预定义性能的方式遍历一个或多个判定路径的可能性 功能。
    • 9. 发明授权
    • Source code patches
    • 源代码补丁
    • US09052983B2
    • 2015-06-09
    • US13350841
    • 2012-01-16
    • Eitan Daniel FarchiAbel GordonNadav Yosef Har'ElMoran Shochat
    • Eitan Daniel FarchiAbel GordonNadav Yosef Har'ElMoran Shochat
    • G06F9/44
    • G06F8/71
    • Apparatus, process and product useful for source code patches. The computerized apparatus having a processor, the apparatus comprising: a source code obtainer for obtaining a source code of a computer program; a patch instructions obtainer for obtaining a set of source code patches instructions, wherein a first patch instructions comprise a set of modification instructions to the source code associated with a first source code patch, wherein a second patch instructions comprise a set of modification instruction to the source code associated with a second source code patch; a source code editor configured to display to a user the source code and annotations associated with applying each source code patch simultaneously; and wherein said source code editor is further configured to edit the source code in accordance with user input, wherein based on user input the first and second source code patch instructions are modified.
    • 用于源代码补丁的设备,过程和产品。 所述计算机化装置具有处理器,所述装置包括:源代码获取器,用于获得计算机程序的源代码; 用于获得一组源代码补丁指令的补丁指令获取器,其中第一补丁指令包括与第一源代码补丁相关联的源代码的一组修改指令,其中第二补丁指令包括一组修改指令, 与第二源代码补丁相关联的源代码; 源代码编辑器,被配置为向用户显示与代码片段同时应用相关联的源代码和注释; 并且其中所述源代码编辑器还被配置为根据用户输入来编辑源代码,其中基于用户输入修改第一和第二源代码补丁指令。
    • 10. 发明申请
    • Multi-Dimension Code Coverage
    • 多维码代码覆盖
    • US20080127099A1
    • 2008-05-29
    • US11466487
    • 2006-08-23
    • Shmuel UREitan Daniel Farchi
    • Shmuel UREitan Daniel Farchi
    • G06F11/36
    • G06F11/3676
    • A method for testing software under test (SUT), including selecting a type of coverage for testing the SUT, and receiving from a human operator a Boolean predicate to be used in evaluation of the SUT. In response to the type of coverage and the predicate, a test of the SUT is generated. The method also includes performing an execution of the test so as to identify elements of the SUT that belong to the selected type and that are exercised by the test. The method further includes automatically evaluating the predicate for each of the identified elements, and determining the elements exercised by the test for which the predicate evaluates to true to be covered elements of the SUT.
    • 一种用于测试测试软件(SUT)的方法,包括选择一种用于测试SUT的覆盖范围,以及从人类操作员接收用于评估SUT的布尔谓词。 响应于覆盖类型和谓词,生成SUT的测试。 该方法还包括执行测试,以便识别属于所选类型并由测试行使的SUT的元素。 该方法还包括自动评估每个识别的元素的谓词,以及确定由谓词评估为真的测试所执行的元素以被覆盖的SUT元素。