Evaluation of Software based on Review History
    6.
    发明申请
    Evaluation of Software based on Review History 有权
    基于评审历史的软件评估

    公开(公告)号:US20090249299A1

    公开(公告)日:2009-10-01

    申请号:US12058779

    申请日:2008-03-31

    IPC分类号: G06F11/36

    CPC分类号: G06F11/3676

    摘要: A computer-implemented method for software processing includes obtaining review information pertaining to reviews that have been conducted on respective locations in software code. The review information is processed so as to assign to at least some of the locations respective priorities, which are indicative of respective likelihoods that the locations contain program faults. The at least some of the locations are presented to a user via an output device in accordance with the assigned priorities.In another disclosed method, a given location in the software code is detected as critical based on the review information. The detected critical location is indicated to the user.

    摘要翻译: 用于软件处理的计算机实现的方法包括获得与在软件代码中的相应位置进行的评论有关的审查信息。 处理审查信息以便分配至少一些位置相应的优先级,其指示位置包含程序故障的相应可能性。 根据分配的优先级,经由输出设备将至少一些位置呈现给用户。 在另一公开的方法中,基于审查信息,检测到软件代码中的给定位置是至关重要的。 检测到的关键位置向用户指示。

    Evaluation of software based on review history
    7.
    发明授权
    Evaluation of software based on review history 有权
    基于审查历史评估软件

    公开(公告)号:US08423960B2

    公开(公告)日:2013-04-16

    申请号:US12058779

    申请日:2008-03-31

    IPC分类号: G06F9/44 G06F9/45

    CPC分类号: G06F11/3676

    摘要: A method for software processing in which software locations are assigned priorities indicative of respective likelihoods that the locations contain program faults, based on review information pertaining to reviews that have been conducted on respective locations in software code. In some methods, a software location is detected to be critical based on the priorities.

    摘要翻译: 一种用于软件处理的方法,其中基于与在软件代码中的各个位置进行的评论相关的审查信息,为软件位置分配优先级,指示各个位置包含程序故障的可能性。 在一些方法中,基于优先级,检测到软件位置是至关重要的。

    Using cross-entropy to test executable logic code
    8.
    发明授权
    Using cross-entropy to test executable logic code 失效
    使用交叉熵测试可执行逻辑代码

    公开(公告)号:US08056059B2

    公开(公告)日:2011-11-08

    申请号:US11873447

    申请日:2007-10-17

    IPC分类号: G06F9/44 G06F17/00 G06F15/173

    CPC分类号: G06F11/3604 G06F11/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.

    摘要翻译: 用于检测可执行逻辑代码中的罕见事件的发生的方法包括分配一个或多个判定路径的遍历机会的第一概率,其中每个路径连接由逻辑代码的执行定义的两个决定点。 作为执行逻辑代码的结果,评估遍历的决策路径以确定所述遍历是否符合预定义的性能函数。 性能函数定义了根据逻辑代码的执行实现的目标。 第二概率被分配给遍历所述一个或多个判决路径中的至少一个的机会,以增加在随后的执行逻辑代码中以更符合预定义性能的方式遍历一个或多个判定路径的可能性 功能。

    Source code patches
    9.
    发明授权
    Source code patches 有权
    源代码补丁

    公开(公告)号:US09052983B2

    公开(公告)日:2015-06-09

    申请号:US13350841

    申请日:2012-01-16

    IPC分类号: G06F9/44

    CPC分类号: 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.

    摘要翻译: 用于源代码补丁的设备,过程和产品。 所述计算机化装置具有处理器,所述装置包括:源代码获取器,用于获得计算机程序的源代码; 用于获得一组源代码补丁指令的补丁指令获取器,其中第一补丁指令包括与第一源代码补丁相关联的源代码的一组修改指令,其中第二补丁指令包括一组修改指令, 与第二源代码补丁相关联的源代码; 源代码编辑器,被配置为向用户显示与代码片段同时应用相关联的源代码和注释; 并且其中所述源代码编辑器还被配置为根据用户输入来编辑源代码,其中基于用户输入修改第一和第二源代码补丁指令。

    Multi-Dimension Code Coverage
    10.
    发明申请
    Multi-Dimension Code Coverage 失效
    多维码代码覆盖

    公开(公告)号:US20080127099A1

    公开(公告)日:2008-05-29

    申请号:US11466487

    申请日:2006-08-23

    IPC分类号: G06F11/36

    CPC分类号: 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元素。