| Patent application number | Description | Published |
|---|
| 20080244536 | EVALUATING STATIC ANALYSIS RESULTS USING CODE INSTRUMENTATION - A computer-implemented method for evaluating software code includes receiving from a static analysis of the software code a warning indicating a respective location in the software code of a potential bug and a possible execution path leading to the potential bug. Responsively to the warning, instrumentation is added to the code at one or more locations along the execution path. Upon executing the instrumented code, an output is generated, responsively to the instrumentation, indicating that the execution path was traversed while executing the instrumented code. | 10-02-2008 |
| 20080255813 | Probabilistic regression suites for functional verification - Methods, apparatus and systems are provided that enable the generation of random regression suites for verification of a hardware or software design to be formulated as optimization problems. Solution of the optimization problems using probabilistic methods provides information on which set of test specifications should be used, and how many tests should be generated from each specification. In one mode of operation regression suites are constructed that use the minimal number of tests required to achieve a specific coverage goal. In another mode of operation regression suites are constructed so as to maximize task coverage when a fixed number of tests are run or within a fixed cost. | 10-16-2008 |
| 20080256393 | DETECTING UNEXPECTED IMPACT OF SOFTWARE CHANGES USING COVERAGE ANALYSIS - A computer-implemented method for evaluating software code includes measuring a first coverage of a test applied to the software code and then making a modification in a first section of the software code. A second coverage of the test applied to the software code is measured after making the modification. A difference is identified between the first coverage and the second coverage in a second section of the software code, which is separate from the first section and was not modified since the first coverage was measured, and an indication of the difference is output. | 10-16-2008 |
| 20090055813 | Method for Enabling Profile-Based Call Site Tailor-ing Using Profile Gathering of Cloned Functions - Methods and systems for computer program optimization utilize function cloning in program code, such as post-linked code. Each function call is directed to a different cloned version of the called function. Conventional profiling methods such as hardware event sampling, basic block profiling, and edge profiling may then be applied to the modified program code to obtain call path-based, clone-specific profile data. The profile data can be further exploited to optimize the program code. | 02-26-2009 |
| 20090113399 | Device, System and Method of Debugging Computer Programs - Device, system, and method of debugging computer programs. For example, a method for debugging computer programs includes: locating a bug in a computer program based on a first score corresponding to a first instrumentation location of the computer program and a second score corresponding to a second instrumentation location of the computer program. | 04-30-2009 |
| 20090113400 | Device, System and method of Profiling Computer Programs - Device, system, and method of profiling computer programs. For example, a method for profiling computer programs includes: profiling a program statement associated with a machine-readable comment indicating an expectation by a programmer of a runtime behavior of the program statement. | 04-30-2009 |
| 20090319833 | Software Quality Assessment based on Semantic Similarities - A method for software processing includes accepting quality information, which includes names of elements of software code and respective quality indications regarding tested acceptability of the elements. The names are processed to extract a list of substrings that occur in the names. Respective metrics are assigned to the substrings responsively to the quality indications of the elements in whose names the substrings occur. At least some of the substrings are presented to a user in accordance with the assigned metrics. | 12-24-2009 |
| 20100046375 | Congestion Control Using Application Slowdown - A computer-implemented method is provided, including monitoring one or more parameters of a computer system that executes one or more service requester processes that issue service requests to one or more service provider processes. A congestion in the system is detected by analyzing the parameters. Upon identifying at least one of the service requester processes as contributing to the congestion, execution of the at least one of the service requester processes is slowed. Other embodiments are also described. | 02-25-2010 |
| 20100050161 | Detecting Locking Discipline Violations on Shared Resources - Detecting locking discipline violations on shared resources. For example, a method of detecting locking discipline violations of shared resources of a computing platform, by a testing process to be executed concurrently with one or more other processes on said computing platform, the testing process comprising: locking a shared resource of said computing platform; reading a value of the shared resource; locally storing the value of the shared resource; rereading the value of the shared resource after a predefined time period; and generating a locking discipline violation report if the value of said shared resource as reread by said rereading is different from the value of said resource as locally stored by said locally storing. | 02-25-2010 |
| 20100088107 | PROVIDING CUSTOMIZED MEDICAL INFORMATION - Techniques for providing temporally-based information to a medical practitioner are provided. The techniques include obtaining temporally-based information, wherein the information comprises medical information derived from the medical practitioner and one or more other medical practitioners, customizing the information for the medical practitioner, wherein customizing the information comprises using one or more diagnoses from the medical practitioner and one or more diagnoses from the one or more other medical practitioners made during a selected temporal period, and providing the information to the medical practitioner. Techniques are also provided for providing temporally-based medical information to an individual. | 04-08-2010 |
| 20100262866 | CROSS-CONCERN CODE COVERAGE ASSESSMENT - A method for software processing includes extracting from software code under test respective items of meta-information pertaining to elements of the software code and receiving respective quality data regarding the elements of software code. The quality data and meta-information are processed in a computer so as to assign respective metrics to the items of the meta-information responsively to the quality data regarding the elements of the software code to which the items pertain. At least some of the meta-information is presented to a user in accordance with the assigned metrics. | 10-14-2010 |
| 20100274520 | CREATION OF TEST PLANS - Test plan to be utilized in a testing phase may be generated based on an initial test plan. A functional coverage model may be derived from the initial test plan. Modifications to the test plan may be automatically determined based on predetermined rules and parameters. Restrictions over possible combinations of values may be determined based on analysis of uncovered test activities in the initial test plan. Restrictions may be determined based on values of test activities in the initial test plan. Restrictions and modifications determined according to the disclosed subject matter may be indicated to a user for confirmation thereof. | 10-28-2010 |
| 20100275062 | Functional Coverage Using Combinatorial Test Design - A generator generates tests to improve functional coverage. A functional coverage of a first set of tests is examined in respect to a functional coverage model. The functional coverage model is transformed to a combinatorial model. The coverage measurements are used to refine the combinatorial model. The combinatorial model is utilized to generate a second set of tests that have a different functional coverage than the first set of tests. The second set of tests is utilized to examine quality of a tested system. | 10-28-2010 |
| 20110010272 | Facilitating Simulated Purchases of Items by Virtual Representations of Participants in Computer-Based Simulations - A method for facilitating simulated purchases by virtual representations of participants in computer-based simulations of items outside of the context of computer-based simulations, the method including receiving a simulated payment for an item for purchase, where the simulated payment is associated with a virtual representation of a participant in a computer-based simulation, where the item is available for purchase outside of the context of the simulation, and where the simulated payment is received outside of the context of the simulation, and providing a description of the item to a process of the simulation, where the description is provided subsequent to receiving the simulated payment, where and the description is provided in association with the virtual representation. | 01-13-2011 |
