Including Emulation Patents (Class 717/134)
  • Patent number: 11985149
    Abstract: A device for verifying previous determinations from cybersecurity devices comprising a processor and a memory. The memory comprises submission analysis logic including workflow selector logic to receive the object data and process the object data to select at least one analyzer supported by the analyzer logic. The analyzer logic, in accordance with the selected analyzer(s), is configured to (i) analyze the object data for potential threats and embedded object data, (ii) generate results data based on that analysis, and (iii) pass the embedded object data back to the workflow selector for further analysis. Finally, the submission analysis logic comprises triage ticket generation logic to generate triage tickets for analyst review and alert logic to generate automatic alerts.
    Type: Grant
    Filed: March 6, 2023
    Date of Patent: May 14, 2024
    Assignee: Musarubra US LLC
    Inventors: Sai Vashisht, Rahul Khul
  • Patent number: 11972240
    Abstract: Systems and methods for mapping a location in a source code to a location in a machine code are disclosed. An identifier of the source code and an identifier of a first location of the source code are received. A marker is inserted in association with the source code based on the identifier of the first location. The source code is compiled into machine code. A second location associated with the marker is identified in the machine code. A third location is returned based on identifying the second location.
    Type: Grant
    Filed: February 17, 2022
    Date of Patent: April 30, 2024
    Assignee: Samsung Electronics Co., Ltd.
    Inventors: Ramzi Ammari, Changho Choi
  • Patent number: 11921497
    Abstract: Computerized RPA methods and systems that increase the flexibility and lower the cost with which RPA systems may be deployed are disclosed herein. In one embodiment, an RPA system and method avoids the need for preinstalled RPA software on a device employed by a user to create and/or execute software robots to perform RPA. In another embodiment, an RPA system and method provides a capability to execute software robots that may have been encoded in one or more programming languages to execute on an operating system different than that employed by a server of the RPA system.
    Type: Grant
    Filed: March 27, 2023
    Date of Patent: March 5, 2024
    Assignee: Automation Anywhere, Inc.
    Inventors: Virinchipuram J. Anand, James Dennis, Abhijit Kakhandiki
  • Patent number: 11860997
    Abstract: Methods and apparatus are disclosed for attesting integrity of a program. A method may comprise: sending to a second device a first request for validating integrity of a program on the second device; receiving a first response from the second device, wherein the first response comprises information regarding one or more tags collected during operation of the program; and attesting integrity of the program based on the first response and an expected response.
    Type: Grant
    Filed: June 26, 2018
    Date of Patent: January 2, 2024
    Assignee: Nokia Technologies Oy
    Inventors: Anmin Fu, Jingyu Feng
  • Patent number: 11635982
    Abstract: According to one embodiment, an information processing apparatus includes: a resource calculator configured to calculate a computing resource amount required to execute a test on a computer platform, the test causing an emulator to transmit data based on a communication model defined in a test scenario and causing a service to receive the data, and configured to determine allocation of the emulator for a computer on the computer platform; a first controller configured to access the computer platform to acquire the computing resource amount; and a second controller configured to configure a setting of the emulator allocated to the computer.
    Type: Grant
    Filed: August 31, 2020
    Date of Patent: April 25, 2023
    Assignee: KABUSHIKI KAISHA TOSHIBA
    Inventors: Tomonori Maegawa, Yumiko Sakai
  • Patent number: 10671515
    Abstract: A system for recording and playback of electronic event sequence utilizing a distributed ledger may be configured for: monitoring a source system; recording data regarding the source system onto a distributed ledger, the data including event data regarding electronic events occurring within the source system; constructing, from the event data of the distributed ledger, a testing dataset including event data regarding simulated electronic events; and simulating, in a testing environment, the simulated electronic events using the testing dataset. The system may be further configured for selectively cloning a section of the distributed ledger, wherein the section includes event data regarding a subset of the electronic events occurring within the source system; and reconstructing the section of the distributed ledger in the testing environment.
    Type: Grant
    Filed: November 30, 2018
    Date of Patent: June 2, 2020
    Assignee: Bank of America Corporation
    Inventor: Siten Sanghvi
  • Patent number: 10623248
    Abstract: According to one embodiment of the present invention, a system analyzes an environment specification document that specifies a proposed configuration of a full-stack environment for a computing system and that describes infrastructure, middleware, and application elements. The system correlates the environment specification document with an environment instantiated on the computing system from the environment specification document. The system determines an impact of changes in the proposed configuration on the environment instantiated on the computing system, and configures the computing system in accordance with the proposed configuration based on the determined impact. Embodiments of the present invention further include a method and computer program product for analyzing an environment specification document in substantially the same manners described above.
    Type: Grant
    Filed: October 11, 2018
    Date of Patent: April 14, 2020
    Assignee: International Business Machines Corporation
    Inventors: Saurabh Agarwal, Steven P. Barbieri, Brad L. Blancett, Michael D. Elder, Chad M. Holliday, John A. Page, Lucinio Santos-Gomez, John E. Swanke
  • Patent number: 10610771
    Abstract: A controller receives a message from a first user terminal of user terminals belonging to a chat group. In a case where the type of the message is of a normal message, the controller transmits the message to each of the user terminals. In a case where the type of the message is selection of the game icon, the controller generates a game message according to logic corresponding to the game icon and transmits the game message to each of the user terminals.
    Type: Grant
    Filed: July 10, 2019
    Date of Patent: April 7, 2020
    Assignee: Gree, Inc.
    Inventor: Yusaku Kamekawa
  • Patent number: 10135680
    Abstract: According to one embodiment of the present invention, a system analyzes an environment specification document that specifies a proposed configuration of a full-stack environment for a computing system and that describes infrastructure, middleware, and application elements. The system correlates the environment specification document with an environment instantiated on the computing system from the environment specification document. The system determines an impact of changes in the proposed configuration on the environment instantiated on the computing system, and configures the computing system in accordance with the proposed configuration based on the determined impact. Embodiments of the present invention further include a method and computer program product for analyzing an environment specification document in substantially the same manners described above.
    Type: Grant
    Filed: June 29, 2015
    Date of Patent: November 20, 2018
    Assignee: International Business Machines Corporation
    Inventors: Saurabh Agarwal, Steven P. Barbieri, Brad L. Blancett, Michael D. Elder, Chad M. Holliday, John A. Page, Lucinio Santos-Gomez, John E. Swanke
  • Patent number: 9870387
    Abstract: A method for setting transactions of multiple data objects is provided. The method includes steps of: (a) a server acquiring information on multiple data objects used for a service object, and obtaining information on data sources which are set to correspond respectively to the data objects by referring to a setting file; and (b) the server determining the multiple data objects to be used by local transactions or distributed transactions by referring to the information on the data source.
    Type: Grant
    Filed: April 28, 2016
    Date of Patent: January 16, 2018
    Assignee: TMAXSOFT. CO., LTD.
    Inventor: Jong Yun Hwang
  • Patent number: 9218566
    Abstract: Techniques are described for detecting disallowed combinations of data within a processing element. Embodiments of the invention may generally receive data to be processed using the processing element and determine whether the received data and a current working state violate one or more rules describing disallowed combinations of data. If a disallowed combination is detected, embodiments of the invention may handle the processing of the received data in an alternate way that prevents disallowed combinations of data within the processing element.
    Type: Grant
    Filed: August 20, 2010
    Date of Patent: December 22, 2015
    Assignee: International Business Machines Corporation
    Inventors: Michael J. Branson, John M. Santosuosso
  • Patent number: 9086898
    Abstract: An approach is provided for testing a change (i.e., configuration change) in a configuration of a computing environment. First configurable attributes of a user identifier (ID) of a user are determined. The user ID was received from an administrative user having an administrative user ID providing the administrative user with an authority of an administrator in the computing environment. A temporary simulation user ID (TSID) having second configurable attributes is generated so that the values of respective first and second configurable attributes are identical. The configuration change is associated with the TSID and with no other user ID. Based on the configuration change being associated with the TSID and with no other user ID, a simulation with the change in the configuration applied in the computing environment is performed. The user ID and administrative user ID are unaffected by the configuration change.
    Type: Grant
    Filed: April 11, 2014
    Date of Patent: July 21, 2015
    Assignee: International Business Machines Corporation
    Inventors: Danny Y. Chen, Fabian J. Morgan, Siddhartha Upadhyaya, Sarah V. White Eagle
  • Patent number: 9043440
    Abstract: A method is disclosed which may include analyzing communication requests in a business process between a client and a server offering a service application to be tested. The method may further include identifying a call to a web service in the analyzed communication. The method may also include determining a location of a Web Service Description Language (WSDL) file relating to the web service on a remote server and downloading the WSDL file from the determined location. A computer readable medium having stored thereon instructions for performing the method and a computer system are also disclosed.
    Type: Grant
    Filed: December 16, 2010
    Date of Patent: May 26, 2015
    Assignee: Hewlett-Packard Development Company, L.P.
    Inventors: Anna Leiba, Nir Hemed, Dmitry Markuza, Yaron Yaron, Avishai Moshka
  • Patent number: 9037552
    Abstract: A method, non-transitory computer readable medium, and apparatus for analyzing a database includes obtaining SQL code defining one or more databases, each including a plurality of objects, wherein the SQL code is stored on one or more database servers. Defects in the SQL code are identified by applying a plurality of rules to the SQL code. Information regarding each identified defect is stored. The information regarding each identified defect is selectively provided to one or more defect closing interface modules.
    Type: Grant
    Filed: March 15, 2012
    Date of Patent: May 19, 2015
    Assignee: Infosys Limited
    Inventor: Vignesh Rajaram
  • Patent number: 9037915
    Abstract: A solution is proposed for analyzing a test of a software program comprising a plurality of software components, the test comprising a plurality of test cases each one for exercising a set of corresponding exercised software components. A corresponding method comprises the steps of receiving an indication of each failed test case whose current execution has failed, retrieving a suspicion attribute of each failed test case indicative of a change to the corresponding exercised software components since a previous execution of the failed test case, retrieving a change attribute of each failed test case indicative of a change to the failed test case since the previous execution thereof, retrieving a regression attribute of each failed test case indicative of a regression of the failed test case since the previous execution thereof, and classifying each failed test case into a plurality of disjoint classes according to the corresponding suspicion attribute, change attribute and regression attribute.
    Type: Grant
    Filed: September 26, 2012
    Date of Patent: May 19, 2015
    Assignee: International Business Machines Corporation
    Inventors: Domenico D'Alterio, Glanluca Mariani, Riccardo Rossi, Antonio Secomandi
  • Patent number: 9027132
    Abstract: A system, method and computer program product are provided. In use, execution of a portion of internal code of an interface is identified. Further, in response to the execution of the portion of internal code, at least one aspect of an invocation of the interface is monitored and/or analyzed.
    Type: Grant
    Filed: September 30, 2013
    Date of Patent: May 5, 2015
    Assignee: McAfee, Inc.
    Inventor: Gregory William Dalcher
  • Patent number: 9021452
    Abstract: Systems and methods for demonstrating a replacement information management software for a computing system. The methods may include determining if existing information management software is installed in the computing system. The methods may include identifying computing devices of the computing system using information from the existing information management software. The methods may include simulating the replacement information management software with characteristics of the identified computing devices to enable a user to experience the replacement information management software prior to committing to installing the replacement information management software in the computing system. The methods may include automatically installing the replacement information management software. Other implementations are disclosed.
    Type: Grant
    Filed: February 26, 2013
    Date of Patent: April 28, 2015
    Assignee: CommVault Systems, Inc.
    Inventor: Sanjay Harakhchand Kripalani
  • Patent number: 9021008
    Abstract: Systems and methods are disclosed that facilitate the evaluation of the operation of host computing devices by utilization of targeted scripts. Each host computing device includes a local targeted script management component that interfaces with a centralized or master targeted script management component. The local targeted script management component obtains targeted scripts, causes the execution of the targeted script and can terminate the targeted script. Additionally, the local targeted script management component can collect information associated with the execution of the targeted scripts and initiate the restoration of previous state in the event that the execution of the targeted script modifies or otherwise affects the host computing device.
    Type: Grant
    Filed: August 24, 2011
    Date of Patent: April 28, 2015
    Assignee: Amazon Technologies, Inc.
    Inventors: Kolton D. Andrus, Daniel M. Vogel, Timothy M. Sehn, Aaron D. Son
  • Patent number: 9009538
    Abstract: A solution is proposed for analyzing a test of a software program comprising a plurality of software components, the test comprising a plurality of test cases each one for exercising a set of corresponding exercised software components. A corresponding method comprises the steps of receiving an indication of each failed test case whose current execution has failed, retrieving a suspicion attribute of each failed test case indicative of a change to the corresponding exercised software components since a previous execution of the failed test case, retrieving a change attribute of each failed test case indicative of a change to the failed test case since the previous execution thereof, retrieving a regression attribute of each failed test case indicative of a regression of the failed test case since the previous execution thereof, and classifying each failed test case into a plurality of disjoint classes according to the corresponding suspicion attribute, change attribute and regression attribute.
    Type: Grant
    Filed: March 5, 2013
    Date of Patent: April 14, 2015
    Assignee: International Business Machines Corporation
    Inventors: Domenico D'Alterio, Glanluca Mariani, Riccardo Rossi, Antonio Secomandi
  • Patent number: 9009674
    Abstract: A computer-based automated testing framework tests a multimedia application (such as a Flash application running in a player module) that includes one or more Flash objects by executing test scripts in an external Java-based test module that uses proxy objects in the test module to represent the Flash objects in the player module. Correspondence between the proxy object and Flash objects is maintained by translating the first test script into a command, sending the command from the external test module to the player module, interpreting the command by accessing a lookup table at the player module, and then returning a value to the external test module in response to the command.
    Type: Grant
    Filed: December 10, 2012
    Date of Patent: April 14, 2015
    Assignee: Versata Development Group, Inc.
    Inventors: Justin Haugh, Ryan Kennedy, Matt Schemmel
  • Patent number: 8997053
    Abstract: The present disclosure provides a system, method and computer program product that uses abstraction to enable the definition, development and maintenance of testing libraries for both simple and complex user interface controls. The system and method hide the granular details from the test designer while still promoting reuse. Using the system and method, designers can define a library of functionality for common controls that map 1-to-1 with visual controls, which may be re-implemented across many APIs or programming languages.
    Type: Grant
    Filed: January 14, 2011
    Date of Patent: March 31, 2015
    Assignee: Worksoft, Inc.
    Inventor: Andres Matias Yanes
  • Patent number: 8990183
    Abstract: The deep application crawling technique described herein crawls one or more applications, commonly referred to as “apps”, in order to extract information inside of them. This can involve crawling and extracting static data that are embedded within apps or resource files that are associated with the apps. The technique can also crawl and extract dynamic data that apps download from the Internet or display to the user on demand, in order to extract data. This extracted static and/or data can then be used by another application or an engine to perform various functions. For example, the technique can use the extracted data to provide search results in response to a user query entered into a search engine. Alternately, the extracted static and/or dynamic data can be used by an advertisement engine to select application-specific advertisements. Or the data can be used by a recommendation engine to make recommendations for goods/services.
    Type: Grant
    Filed: June 6, 2012
    Date of Patent: March 24, 2015
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Jie Liu, Suman Kumar Nath, Jitendra D. Padhye, Lenin Ravindranath Sivalingam
  • Publication number: 20150082289
    Abstract: A testing device for real-time testing of at least a part of a virtual electronic control unit with an electronic control unit code is provided. The testing device has a computing unit of a first type, and a computing unit of a second type. The testing of a virtual electronic control unit with electronic control unit code, which is executable on the computing unit of the second type with a second instruction set, is made possible in that a computing unit of the first type executes an emulator for emulating the computing unit of the second type and the emulator executes the electronic control unit code. The emulator also has a simulation environment interface for exchanging data and/or events with the simulation environment.
    Type: Application
    Filed: September 18, 2014
    Publication date: March 19, 2015
    Inventors: Robert LEINFELLNER, Timo KERSTAN
  • Patent number: 8977904
    Abstract: A method for generating a replayable testing script for iterative use by an automated testing utility may include recording a plurality of scripts, each script relating to a separate iteration of a transaction between a user and a tested application performed by an operator. The method may also include comparing the recorded scripts to identify a location of a data item by finding different values in a pair of corresponding locations in the recorded scripts, indicative of a dynamic data item. The method may further include generating the replayable testing script comprising one of the recorded scripts and having a variable parameter at the identified location of the dynamic data item.
    Type: Grant
    Filed: February 17, 2012
    Date of Patent: March 10, 2015
    Assignee: Hewlett-Packard Development Company, L.P.
    Inventors: Moshe Eran Kraus, Lior Manor, Amichai Nitsan, Meidan Zemer
  • Patent number: 8972944
    Abstract: A simulation environment, in one embodiment, includes a debugger server, one or more debuggers, and one or more debugger adapters. Each debugger adapter couples a corresponding debugger to the debugger server. The debugger server coordinates the run mode of the debugger adapters. Each debugger adapter controls the run mode of its corresponding debugger.
    Type: Grant
    Filed: March 14, 2013
    Date of Patent: March 3, 2015
    Assignee: Synopsys, Inc.
    Inventor: Dietmar Petras
  • Patent number: 8966447
    Abstract: In one embodiment, an automated user-level testing tool is enhanced to capture additional information about the state of the automated testing, beyond just a screenshot of the application-under-test. In another embodiment, an automated user-level testing tool is enhanced to capture testing state information for multiple points in time (referred to as “snapshots”), beyond just when the application-under-test crashes. This captured information from one execution of an automated test (one “test run”) is stored in one test log, which can then be viewed using a test log viewer. In one embodiment, the graphical user interface (GUI) for the test log viewer includes four areas: a screenshot area, a test script area, a stack trace area, and a timing area. The content shown in the screenshot area, the test script area, and the stack trace area is specific to a particular point in time during a test (e.g., a particular snapshot).
    Type: Grant
    Filed: June 20, 2011
    Date of Patent: February 24, 2015
    Assignee: Apple Inc.
    Inventors: Evan M. Hoke, Patrick R. Holley, Jonathan M. Deutsch
  • Patent number: 8954929
    Abstract: A unit testing system allows testing of multiple types of method calls using an unmodified software application module. The system dynamically copies byte code of the tested method, clones the byte code, and executes the cloned byte code. During cloning, the system instruments the code so that method calls are redirected into a system method, where the system can determine whether a mocked method should be called instead. The result is that the developer does not need to modify the original methods in order to redirect method calls to mock methods. The developer can simply reference a test module of the unit testing system and easily write tests that redirect any method they wish. Thus, the unit testing system provides a framework for building more useful unit tests that cause less interference with production-ready code.
    Type: Grant
    Filed: March 29, 2010
    Date of Patent: February 10, 2015
    Assignee: Microsoft Corporation
    Inventor: Michael J. Braude
  • Patent number: 8949433
    Abstract: Some embodiments provide a system that executes an application. During operation, the system obtains a resource list associated with the application and stores a set of resources including a native code module from the resource list through communications over a network connection, wherein the resources are stored in persistent local storage. The application then loads the application in the web browser and loads the native code module into a secure runtime environment. Next, the application executes the application independently of the network connection using the native code module and the stored resources.
    Type: Grant
    Filed: June 30, 2014
    Date of Patent: February 3, 2015
    Assignee: Google Inc.
    Inventors: Matthew Papakipos, Antoine Labour, Eric Uhrhane
  • Patent number: 8930918
    Abstract: The present invention relates to a field of evaluating the performance of a Structure Query Language (SQL) in information system. In particular, the invention proposes system and method of integration of a tool in Software Development Life Cycle (SDLC) which assures performance of SQL by estimating an execution time and remote installation of the same in a cloud based testing services. So, it can be used to detect the queries which may not perform well in the production environment.
    Type: Grant
    Filed: May 18, 2011
    Date of Patent: January 6, 2015
    Assignee: Tata Consultancy Services Limited
    Inventor: Dattatraya Mohan Tendulkar
  • Patent number: 8930917
    Abstract: A computer implemented method and apparatus for mobile application development comprises receiving at least one compiled source code file into the temporary sandbox; and testing the at least one compiled source code file in the temporary sandbox.
    Type: Grant
    Filed: May 22, 2012
    Date of Patent: January 6, 2015
    Assignee: Adobe Systems Incorporated
    Inventors: Romil Mittal, Rajorshi Ghosh Choudhury
  • Patent number: 8924943
    Abstract: A browser emulator is provided. An example browser emulator system includes a communications module to receive requests for web pages from a browser application, a document object model (DOM) interceptor to intercept an initial document object model (DOM) provided by the web application, an activator to activate a browser emulator, and a DOM manipulator to generate a modified DOM. A marked-up document that corresponds to the modified DOM includes an event interceptor that replaces JavaScript code associated with the original DOM provided by the web application.
    Type: Grant
    Filed: July 17, 2009
    Date of Patent: December 30, 2014
    Assignee: eBay Inc.
    Inventors: Pei Wang, Yitao Yao, Mark P. Palaima, Homayoun Zariv, Rajasekhar Bhogi
  • Publication number: 20140372991
    Abstract: A system, method, and computer program product are provided for simulating at least one of a virtual environment and a debugging environment to prevent unwanted code from executing. In use, at least one of a virtual environment and a debugging environment is simulated. Additionally, unwanted code is prevented from executing as a result of the simulation.
    Type: Application
    Filed: June 25, 2014
    Publication date: December 18, 2014
    Inventors: DIRK KOLBERG, LUKESH Kumar, KEVIN ANDREW GUDGION
  • Patent number: 8898522
    Abstract: A method of automating testing of a first computing system comprises identifying a plurality of system interface elements of a second computing system; determining an untested state at the first computing system of one of the identified plurality of system interface elements; determining the existence of any dependency of the one of the identified plurality of system interface elements upon another of the identified plurality of system interface elements; responsive to a finding of no the dependency, seeking in a repository a system interface element test corresponding to the one of the identified plurality of system interface elements and having an expected output according to a structure of the second computing system; and executing the system interlace element test at the first computing system.
    Type: Grant
    Filed: September 2, 2011
    Date of Patent: November 25, 2014
    Assignee: International Business Machines Corporation
    Inventors: John Robert Barker, Ian James McCloy, Daniel Gregory Mounty
  • Patent number: 8893086
    Abstract: A method includes generating a test model based on at least one of test group dependencies and test group constraints and generating a resource base. The method includes generating a cost model and generating a resource allocation plan based on the test model, the resource base, and the cost model.
    Type: Grant
    Filed: September 11, 2009
    Date of Patent: November 18, 2014
    Assignee: International Business Machines Corporation
    Inventors: Kathryn A. Bassin, Howard M. Hess, Sheng Huang, Steven Kagan, Shao C. Li, Zhong J. Li, He H. Liu, Susan E. Skrabanek, Hua F. Tan, Li Wang, Jun Zhu
  • Publication number: 20140304689
    Abstract: One embodiment involves accessing, via a first computing device, electronic content being developed in a shared development environment, wherein the shared development environment comprises the first computing device and one or more other computing devices configured to provide access to the electronic content being developed in real time. The exemplary embodiment further involves receiving, at the first computing device, a modification to the electronic content that originated at one of the one or more other computing devices, providing, for display at the first computing device, the electronic content being developed with the modification, and executing, at the first computing device, the electronic content being developed with the modification.
    Type: Application
    Filed: July 1, 2011
    Publication date: October 9, 2014
    Applicant: Adobe Systems Incorporated
    Inventor: Jason A. San Jose
  • Patent number: 8819646
    Abstract: A software unit arrangement method includes developing a standardized software-hardware abstraction software layer in a software unit. The standardized abstraction software layer includes a library of primitives that interface with the source codes of the software unit and with a real or virtual computer hardware unit. The method includes developing a real-hardware or virtual-hardware software layer in the associated computer hardware unit. The real-hardware or virtual-hardware software layer forming the portion of the computer hardware unit that interfaces with the standardized abstraction software layer and that presents real and/or virtual input/output cards performing at least the same functions as the real standard input/output cards of the real computer hardware unit.
    Type: Grant
    Filed: March 29, 2011
    Date of Patent: August 26, 2014
    Assignee: Airbus Helicopters
    Inventors: Jean-Luc Baudisson, Jean-Pierre Lebailly
  • Patent number: 8806019
    Abstract: Some embodiments provide a system that executes an application. During operation, the system obtains a resource list associated with the application and stores a set of resources including a native code module from the resource list through communications over a network connection, wherein the resources are stored in persistent local storage. The application then loads the application in the web browser and loads the native code module into a secure runtime environment. Next, the application executes the application independently of the network connection using the native code module and the stored resources.
    Type: Grant
    Filed: January 6, 2014
    Date of Patent: August 12, 2014
    Assignee: Google Inc.
    Inventors: Matthew Papakipos, Antoine Labour, Eric Uhrhane
  • Patent number: 8799874
    Abstract: Static analysis of a computer software application can be performed by applying a first level of abstraction to model a plurality of run-time objects, thereby producing a set of object abstractions. Static data-flow analysis of the computer software application can be performed using the set of object abstractions, thereby producing a first data-flow propagation graph. A data-flow bottleneck can be identified within the data-flow propagation graph. A second level of abstraction can be applied to model any of the run-time objects having in the set of object abstractions a corresponding object abstraction that is traceable to the data-flow bottleneck. The applying the second level of abstraction can decompose the corresponding object abstraction into a set of object abstractions, thereby modifying the set of object abstractions. Static data-flow analysis of the computer software application can be performed using the modified set of object abstractions.
    Type: Grant
    Filed: March 5, 2012
    Date of Patent: August 5, 2014
    Assignee: International Business Machines Corporation
    Inventors: Marco Pistoia, Omer Tripp
  • Patent number: 8789054
    Abstract: A method for verifying software includes accessing a job queue, accessing a resource queue, and assigning a job from the job queue to a resource from the resource queue if an addition is made to the a job queue or to a resource queue. The job queue includes an indication of one or more jobs to be executed by a worker node, each job indicating a portion of a code to be verified. The resource queue includes an indication of a one or more worker nodes available to verify a portion of software. The resource is selected by determining the best match for the characteristics of the selected job among the resources in the resource queue.
    Type: Grant
    Filed: November 30, 2010
    Date of Patent: July 22, 2014
    Assignee: Fujitsu Limited
    Inventors: Indradeep Ghosh, Mukul Ranjan Prasad
  • Patent number: 8789019
    Abstract: Various embodiments include at least one of systems, methods, and software to receive input configuring tests within a computing environment to expose users to standard application or website experiences or test experiences. In some embodiments, multiple tests may be configured to run orthogonally within user experiences without affecting the results of one another. Some such embodiments preserve the ability to execute certain tests in a non-orthogonal manner while other tests are allowed to execute orthogonally.
    Type: Grant
    Filed: April 22, 2013
    Date of Patent: July 22, 2014
    Assignee: eBay Inc.
    Inventors: Jasdeep Singh Sahni, Anil Madan, Deepak Seetharam Nadig, Po Cheung, Bhavesh Mistry, John Bodine, Michael Lo
  • Patent number: 8756574
    Abstract: Coverage analysis may be performed using reverse time. The coverage analysis may be based on last hit data. The last hit data may comprise a timestamp indicating a last time in which a coverage event was covered. Utilizing last hit data instead of first hit data as is known in the art enables distinction between coverage goals that were never covered and coverage goals that were not covered lately.
    Type: Grant
    Filed: September 12, 2012
    Date of Patent: June 17, 2014
    Assignee: International Business Machines Corporation
    Inventors: Avi Ziv, Laurent Fournier, Steven Mittermaier
  • Patent number: 8745599
    Abstract: A computer-implemented probabilistic pointer analysis method using SSA form comprises the steps of: evaluating a program in an SSA form comprising a target pointer to determine pointer relations between the target pointer, a plurality of aliased pointers related to the target pointer and at least a probable location of the target pointer; and generating a direct probabilistic relation between the target pointer and the at least a probable location of the target pointer according to the pointer relation.
    Type: Grant
    Filed: January 19, 2012
    Date of Patent: June 3, 2014
    Assignee: National Tsing Hua University
    Inventors: Jenq Kuen Lee, Ming Yu Hung, Yuan Shin Hwang, Peng Sheng Chen
  • Patent number: 8745601
    Abstract: Methods and systems for creating and using data structures for operating systems. In one embodiment, a method includes receiving information indicating that a first installer is being launched for a first application program and storing, in response to the receiving of the information, first data which specifies changes to an operating system (OS) data structure that is used to configure a system to allow execution of the first application program after installing the first application program, the first data being stored separately from the OS data structure. The OS data structure may be, in one embodiment, a registry for configuring a system to execute multiple applications on the system.
    Type: Grant
    Filed: July 17, 2008
    Date of Patent: June 3, 2014
    Assignee: Apple Inc.
    Inventors: Eric O. Carlson, Joshua H. Shaffer, James Mensch
  • Patent number: 8732677
    Abstract: In a system and method for recalling a state in an application, a processor may store in a memory data representing a first set of previously executed commands, the first set representing a current application state, and, for recalling a previously extant application state different than the current application state, the processor may modify the data to represent a second set of commands and may execute in sequence the second set of commands.
    Type: Grant
    Filed: January 19, 2012
    Date of Patent: May 20, 2014
    Assignee: SAP AG
    Inventor: Holger Bohle
  • Patent number: 8694966
    Abstract: An aspect of the present invention facilitates identification of test cases to be run after changes to modules of a software application. In one embodiment, a reference data is generated by inspecting the instructions (static analysis) forming the modules of the software application, with the reference data specifying a corresponding set of modules in the application that are referenced by each of the modules in the application. The reference data is then examined to find a referencing set of modules which reference any of the changed modules either as immediate reference or multi-level reference through other modules. Test cases invoking any of the modules in the referencing set are identified as suitable test cases to be run.
    Type: Grant
    Filed: March 4, 2010
    Date of Patent: April 8, 2014
    Assignee: Oracle International Corporation
    Inventor: Ravi Kant Gupta
  • Patent number: 8683450
    Abstract: Systems, methods, and media for testing software patches are provided (200). The methods include: injecting a software patch into a program (202); running multiple instances of a part of the program containing the software patch (204); obtaining outcomes of the multiple instances (208); and determining, using the outcomes, whether the software patch is executed properly (210).
    Type: Grant
    Filed: May 31, 2007
    Date of Patent: March 25, 2014
    Assignee: The Trustees of Columbia University in the City of New York
    Inventors: Angelos D. Keromytis, Stylianos Sidiroglou
  • Publication number: 20140075420
    Abstract: Methods, systems, and apparatus, including computer programs encoded on a computer storage medium, for generating hardware profiles by a software development environment. In one aspect, a method includes identifying a set of hardware features that are accessed by an application that is under development, generating one or more hardware profiles for one or more corresponding virtual devices based on the identified set of hardware features that are accessed by the application that is under development, invoking one or more of the virtual devices using the corresponding one or more hardware profiles, and installing the application on the one or more of the virtual devices.
    Type: Application
    Filed: June 4, 2012
    Publication date: March 13, 2014
    Applicant: GOOGLE INC.
    Inventor: Jean Baptiste Maurice Queru
  • Patent number: 8671319
    Abstract: An operating system independent JTAG debugging system implemented to run in a web browser. The software executing in the browser identifies the JTAG enabled components in the target system that is to be tested, and automatically downloads the latest versions of the appropriate software, JTAG drivers and configuration information from a test server.
    Type: Grant
    Filed: June 19, 2012
    Date of Patent: March 11, 2014
    Assignee: Texas Instruments Incorporated
    Inventors: Stephen Yee Shun Lau, Vikas Varshney
  • Patent number: 8661419
    Abstract: The method of the invention for preprocessing data before providing the data to a user of the data for further processing the data at the user of the data, comprising the steps of (a) selecting, by the data provider, at least one part of the data from the entire data to be provided to the user for further processing, depending on at least one give criterion which the user fulfils; (b) hiding the selected data such that despite being hidden from the user, the selected data can be further processed and/or executed after the provision.
    Type: Grant
    Filed: February 19, 2011
    Date of Patent: February 25, 2014
    Assignee: Inchron GmbH
    Inventors: Ralf Munzenberger, Matthias Dorfel
  • Patent number: 8661303
    Abstract: An operating system independent JTAG debugging system implemented to run in a web browser. The software executing in the browser identifies the JTAG enabled components in the target system that is to be tested and automatically downloads the latest versions of the appropriate software and drivers from a test server database, together with any applicable patches and software updates.
    Type: Grant
    Filed: June 19, 2012
    Date of Patent: February 25, 2014
    Assignee: Texas Instruments Incorporated
    Inventors: Stephen Yee Shun Lau, Vikas Varshney