Methods Or Tools To Render Software Testable (epo) Patents (Class 714/E11.219)
-
Patent number: 11947444Abstract: Embodiments may provide techniques that may provide more accurate and actionable alerts by cloud workload security systems so as to improve overall cloud workload security. For example, in an embodiment, a method may be implemented in a computer system comprising a processor, memory accessible by the processor, and computer program instructions stored in the memory and executable by the processor, and the method may comprise generating performance and security information relating to a software system during development of the software system, generating performance and security information relating to the software system during deployed operation of the software system, matching the performance and security information generated during development of the software system with the performance and security information generated during deployed operation of the software system to determine performance and security alerts to escalate, and reporting the escalated performance and security alerts.Type: GrantFiled: November 6, 2020Date of Patent: April 2, 2024Assignee: International Business Machines CorporationInventors: Fady Copty, Omri Soceanu, Gilad Ezov, Ronen Levy
-
Publication number: 20110258490Abstract: A checking system is described for determining whether a component is thread safe in the course of interacting with two or threads in a client environment. The checking system uses a manual, automatic, or semi-automatic technique to generate a test. The checking system then defines a set of coarse-grained observations for the test, in which the component is assumed to exhibit linearizability when interacting with threads. The set of coarse-grained observations may include both complete and “stuck” histories. The checking system then generates a set of fine-grained observations for the tests; here, the checking system makes no assumptions as to the linearizability of the component. The checking system identifies potential linearizability errors as those entries in the set of fine-grained observations that have no counterpart entries in the set of coarse-grained observations. The checking system may rely on a stateless model checking module to perform its functions.Type: ApplicationFiled: April 20, 2010Publication date: October 20, 2011Applicant: Microsoft CorporationInventors: Sebastian C. Burckhardt, Christopher W. Dern, Madanlal S. Musuvathi, Roy P. Tan
-
Publication number: 20100299129Abstract: A method, system and computer program product for determining the reliability of a software system. Test data inputs are utilized to simulate conditions under which software is executed. One or more test data inputs replace variables in a first algorithm and a second algorithm. The first algorithm and the second algorithm determine a first test parameter and a second test parameter, respectively. The first test parameter and second test parameters are transmitted to a third algorithm along with selected test data inputs. The third algorithm evaluates the input of the first test parameter, second test parameter and selected test data inputs, and calculates the projected number of users for the software. The projected number of users for the software is output to facilitate optimal usage of the software system.Type: ApplicationFiled: May 19, 2009Publication date: November 25, 2010Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventor: Wanjun Wang
-
Publication number: 20100205582Abstract: Techniques are provided for testing one or more applications across multiple operating systems (OSs) using virtualization. A device includes a virtualization application and a dispatcher. The virtualization application allows a plurality of guest OSs to execute on a device. The dispatcher is configured to cause a particular file to be stored in a particular location. Each guest OS includes a listener that detects when a file is stored in the particular location. When the listener of each guest OS detects that the particular file is stored in the particular location, the guest OS is configured to perform one or more tasks associated with the particular file. Each guest OS is configured to generate output in response to performing the one or more tasks. The dispatcher is further configured to analyze the output from each of the guest OSs.Type: ApplicationFiled: February 9, 2009Publication date: August 12, 2010Inventor: Yue Liu
-
Publication number: 20100083048Abstract: A mitigation enablement module for a computer that improves application reliability. When performing memory management operations, the mitigation enablement module and associated memory manager selectively use mitigations that are intended to prevent an application bug from cause an application error. The memory manager may selectively apply mitigations for each of one or more applications based on the likelihood that such mitigations are successful at preventing bugs from causing application errors. The likelihood is determined from historical information on whether the mitigations, when applied, prevented bugs from causing memory operations that could cause application errors. This historical information can be gathered on a single computer over multiple invocations of the application or may be aggregated from multiple computers, each invoking the application.Type: ApplicationFiled: September 26, 2008Publication date: April 1, 2010Applicant: Microsoft CorporationInventors: Silviu C. Calinoiu, David Grant, Anthony J. Lorelli, Pavan Kasturi, William Campbell
-
Publication number: 20100083047Abstract: Techniques for performing memory management to mitigate memory errors. In accordance with the principles described herein, a memory management module may be implemented that acts in different modes of operation for each of one or more software modules issuing requests for performance of memory operations to the memory management module. In one mode of operation, one or more mitigation actions may be performed by the memory management module in addition to or instead of the memory operation requested by the calling software module, such that the memory operations are performed in accordance with the mitigation actions. These mitigation actions may serve to reduce a likelihood of a memory error negatively affecting the calling software module. In another mode of operation, the memory management module performs memory operations as requested, without performing mitigation actions.Type: ApplicationFiled: September 26, 2008Publication date: April 1, 2010Applicant: Microsoft CorporationInventors: Silviu C. Calinoiu, David Grant, Anthony J. Lorelli, Pavan Kasturi, William Campbell
-
Publication number: 20100037100Abstract: A software testing system operative to test a software application comprising a plurality of software components, at least some of which are highly coupled hence unable to support a dependency injection, each software component operative to perform a function, the system comprising apparatus for at least partially isolating, from within the software application, at least one highly coupled software component which performs a given function, and apparatus for testing at least the at least partially isolated highly coupled software component.Type: ApplicationFiled: September 20, 2007Publication date: February 11, 2010Applicant: TYPEMOCK LTD.Inventor: Eli Lopian
-
Publication number: 20090164849Abstract: A terminal apparatus diagnoses a status of operation of software with the execution of a plurality of diagnostic programs so as to diagnose contents established for the software related to a plurality of functional blocks of the terminal apparatus. The terminal apparatus includes a storage device, a controller, and a display device. The storage device stores the plurality of diagnostic programs that are each provided in advance with a class identification in order of descending priority thereof. The controller is configured to: update a class identification in the order of priority; read out a diagnostic program associated with the class identification from the storage device at each time of updating; and cause the diagnostic program to be executed. The display device displays a code indicating a result of a diagnosis as a result of the execution of the diagnostic program.Type: ApplicationFiled: December 22, 2008Publication date: June 25, 2009Applicant: OPTiM CORPORATIONInventor: Shunji SUGAYA
-
Publication number: 20090094486Abstract: A system and method for providing randomly-generated test cases for a set of interfaces of a piece of software are disclosed. A test case generator is initialized with parameter arrays Sp with cardinality mp and a prime number qp. For each independent parameter p of each of the set of interfaces, a test case number t is generated. A test case is then generated based on the values for each independent parameter p and based on t and Sp, mp, and qp.Type: ApplicationFiled: October 5, 2007Publication date: April 9, 2009Inventors: Stefan Dipper, Peter John
-
Publication number: 20090006898Abstract: Embodiments of the invention concern a method for transmitting digital messages through a microprocessor monitoring circuit of specific type and integrated to a microprocessor, each message including an identifier and consisting of several groups of successive and juxtaposed bits divided into segments. The method consists in successively transmitting segments associated with a first group corresponding to the identifier and comprising a fixed number of bits; with second groups, at least one of the second group comprising a fixed number of bits depending on the type of monitoring circuit, the number of other second groups being independent of the type of monitoring circuit; with a third group comprising a number of bits greater than one; and with fourth groups comprising each a number of bits greater than one, the number of fourth groups depending on the identifier and on the type of monitoring circuit.Type: ApplicationFiled: July 1, 2008Publication date: January 1, 2009Inventor: Laurent Regnier
-
Publication number: 20080086660Abstract: Methods and apparatuses enable generating test content for test system from an executed transaction of an execution system. The data resulting from the execution of the transaction in the execution system is accessed and used to generate test content for a test case. The test case can include the transaction data unmodified, or the transaction data can be modified and stored as the test content. The test system executes the test case to generate a result, and the result can be compared against what is expected based on the test content.Type: ApplicationFiled: October 8, 2007Publication date: April 10, 2008Inventor: Marcus Wefers