Patent application number | Description | Published |
20080276226 | DEVICE, METHOD AND COMPUTER PROGRAM PRODUCT FOR EVALUATING A DEBUGGER SCRIPT - A method for evaluating a debugger script, the method includes: (i) receiving a debugger script that includes a first debugger breakpoint that is associated with a certain program line number; and determining a validity of the first debugger breakpoint in response to a comparision between expected content associated with the first debugger breakpoint and between an actual content of at least a portion of a certain program line group that comprises a certain program line identified by the certain program line number. | 11-06-2008 |
20090106737 | Using Cross-entropy to Test Executable Logic Code - 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. | 04-23-2009 |
20090106740 | Replay of program executions using cross-entropy - A method for replay of program executions using cross-entropy is provided. The method comprises identifying a first sequence of decision points, wherein the first sequence represents a first execution of a logic code; identifying a second sequence of decision points, wherein the second sequence represents a second execution of the logic code; computing a distance between the first and second executions; and minimizing the distance between the first and second executions using cross-entropy, in response to determining that the second execution is not within a predetermined threshold distance of the first execution. | 04-23-2009 |
20090249298 | Evaluation of Software based on Change History - A method for software processing includes obtaining change information, which records changes that have been performed in respective locations in software code. The change 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 in accordance with the assigned priorities. | 10-01-2009 |
20110126173 | VERIFYING SYNCHRONIZATION COVERAGE IN LOGIC CODE - A computer implemented system and method for measuring synchronization coverage for one or more concurrently executed threads is provided. The method comprises updating an identifier of a first thread to comprise an operation identifier associated with a first operation, in response to determining that the first thread has performed the first operation; associating the identifier of the first thread with one or more resources accessed by the first thread; and generating a synchronization coverage model by generating a relational data structure of said one or more resources, wherein a resource is associated with at least the identifier of the first thread and an identifier of a second thread identifier, such that the second thread waits for the first thread before accessing said resource. | 05-26-2011 |
20110225103 | EFFICIENCY OF COMPUTER MODELING AND ANALYSIS OF COMPLEX PROCESSES - A system and method for constructing and analyzing a graphical representation of a complex process comprises steps and means for receiving input of content related to the complex process; processing said input to identify entities and actions instrumental in the execution of the complex process; constructing a graphical representation of the process as a network comprising first nodes, representing decision points, second nodes representing primary stakeholders and actions providing direct input to decision making points, and leaves representing secondary stakeholders providing indirect input to decision making points; and applying at least one analytic approach for evaluating the decision points of the graphical representation of the process. | 09-15-2011 |
20110238613 | COMPARING DATA SERIES ASSOCIATED WITH TWO SYSTEMS TO IDENTIFY HIDDEN SIMILARITIES BETWEEN THEM - A method that includes: sampling a plurality of parameters associated with a first and a second system to yield a first and a second set of data series, respectively, each data series being associated with samples of a respective parameter; applying, for each two respective data series, a transformation associated with a specified order selected from a plurality of ordered transformations, such that the selected transformation is applied repeatedly to at least one of the two respective data series, wherein, in each repeated application, the transformation is assigned with a different value of a transformation parameter; determining, for each parameter, a one of the plurality of transformation parameters for which the correlation level of the two respective time series is above a specified value; and repeating the applying and the determining with a transformation that is associated with a higher order of the ordered transformations. | 09-29-2011 |
20120331449 | DEVICE, METHOD AND COMPUTER PROGRAM PRODUCT FOR EVALUATING A DEBUGGER SCRIPT - A method for evaluating a debugger script, the method includes: (i) receiving a debugger script that includes a first debugger breakpoint that is associated with a certain program line number; and determining a validity of the first debugger breakpoint in response to a comparison between expected content associated with the first debugger breakpoint and between an actual content of at least a portion of a certain program line group that comprises a certain program line identified by the certain program line number. | 12-27-2012 |
20130185696 | MANIPULATING SOURCE CODE PATCHES - A computerized apparatus, a computer-implemented method and a computer program product for manipulating source code patches. The apparatus comprising a processor that is configured to: obtain a source code patch comprising plurality of source code modification instructions with respect to a source code and to automatically split the source code patch into plurality of sub-patches, wherein applying the plurality of sub-patches on the source code in an order is equivalent to applying the source code patch. | 07-18-2013 |
20130185697 | SOURCE CODE PATCHES - 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. | 07-18-2013 |
20130247062 | VERIFYING SYNCHRONIZATION COVERAGE IN LOGIC CODE - A computer implemented system and method for measuring synchronization coverage for one or more concurrently executed threads is provided. The method comprises updating an identifier of a first thread to comprise an operation identifier associated with a first operation, in response to determining that the first thread has performed the first operation; associating the identifier of the first thread with one or more resources accessed by the first thread; and generating a synchronization coverage model by generating a relational data structure of said one or more resources, wherein a resource is associated with at least the identifier of the first thread and an identifier of a second thread identifier, such that the second thread waits for the first thread before accessing said resource. | 09-19-2013 |
20130283258 | Techniques for Objective Assessment and Improvement of Software Quality - Techniques for quantifying and improving consumability of software bundles are provided. In one aspect, a method for quantifying a consumability of a software bundle is provided which includes the following steps. Constituent software products of the bundle are identified. Software components an installation of which is a pre-requirement for an installation of the software products are identified. Software units an installation of which is a pre-requirement for an installation of the software components are identified. Dependency graphs are created for the software components. The dependency graphs for the components are merged to create dependency graphs for the products. The dependency graphs for the products are merged to create a dependency graph for the bundle. The dependency graph for the bundle is used to quantify the consumability of the bundle. | 10-24-2013 |