Including Emulation Patents (Class 717/134)
-
Patent number: 12135634Abstract: A computer system may receive a user input associated with a source code file via a first user interface displayed a first computing device, where the source code file comprising source code of a software application. The computer system may then obtain a tracing configuration based on the user input, where the tracing configuration comprises a line number of the source code and a variable within the source code. Next, the computer system may set a breakpoint in the source code at the line number using the tracing configuration, and then trace the variable during execution of the source code, where the tracing comprises determining a value of the variable using the breakpoint in the source code and creating a call stack based on the execution of the source code. The computer system may then store the value of the variable and the call stack in a log.Type: GrantFiled: February 27, 2023Date of Patent: November 5, 2024Assignee: SAP SEInventors: Umesh K, Jovin Jijo
-
Patent number: 11985149Abstract: 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: GrantFiled: March 6, 2023Date of Patent: May 14, 2024Assignee: Musarubra US LLCInventors: Sai Vashisht, Rahul Khul
-
Patent number: 11972240Abstract: 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: GrantFiled: February 17, 2022Date of Patent: April 30, 2024Assignee: Samsung Electronics Co., Ltd.Inventors: Ramzi Ammari, Changho Choi
-
Patent number: 11921497Abstract: 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: GrantFiled: March 27, 2023Date of Patent: March 5, 2024Assignee: Automation Anywhere, Inc.Inventors: Virinchipuram J. Anand, James Dennis, Abhijit Kakhandiki
-
Patent number: 11860997Abstract: 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: GrantFiled: June 26, 2018Date of Patent: January 2, 2024Assignee: Nokia Technologies OyInventors: Anmin Fu, Jingyu Feng
-
Patent number: 11635982Abstract: 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: GrantFiled: August 31, 2020Date of Patent: April 25, 2023Assignee: KABUSHIKI KAISHA TOSHIBAInventors: Tomonori Maegawa, Yumiko Sakai
-
Patent number: 10671515Abstract: 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: GrantFiled: November 30, 2018Date of Patent: June 2, 2020Assignee: Bank of America CorporationInventor: Siten Sanghvi
-
Patent number: 10623248Abstract: 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: GrantFiled: October 11, 2018Date of Patent: April 14, 2020Assignee: International Business Machines CorporationInventors: 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: 10610771Abstract: 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: GrantFiled: July 10, 2019Date of Patent: April 7, 2020Assignee: Gree, Inc.Inventor: Yusaku Kamekawa
-
Patent number: 10135680Abstract: 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: GrantFiled: June 29, 2015Date of Patent: November 20, 2018Assignee: International Business Machines CorporationInventors: 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: 9870387Abstract: 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: GrantFiled: April 28, 2016Date of Patent: January 16, 2018Assignee: TMAXSOFT. CO., LTD.Inventor: Jong Yun Hwang
-
Patent number: 9218566Abstract: 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: GrantFiled: August 20, 2010Date of Patent: December 22, 2015Assignee: International Business Machines CorporationInventors: Michael J. Branson, John M. Santosuosso
-
Patent number: 9086898Abstract: 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: GrantFiled: April 11, 2014Date of Patent: July 21, 2015Assignee: International Business Machines CorporationInventors: Danny Y. Chen, Fabian J. Morgan, Siddhartha Upadhyaya, Sarah V. White Eagle
-
Patent number: 9043440Abstract: 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: GrantFiled: December 16, 2010Date of Patent: May 26, 2015Assignee: Hewlett-Packard Development Company, L.P.Inventors: Anna Leiba, Nir Hemed, Dmitry Markuza, Yaron Yaron, Avishai Moshka
-
Patent number: 9037915Abstract: 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: GrantFiled: September 26, 2012Date of Patent: May 19, 2015Assignee: International Business Machines CorporationInventors: Domenico D'Alterio, Glanluca Mariani, Riccardo Rossi, Antonio Secomandi
-
Patent number: 9037552Abstract: 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: GrantFiled: March 15, 2012Date of Patent: May 19, 2015Assignee: Infosys LimitedInventor: Vignesh Rajaram
-
Patent number: 9027132Abstract: 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: GrantFiled: September 30, 2013Date of Patent: May 5, 2015Assignee: McAfee, Inc.Inventor: Gregory William Dalcher
-
Patent number: 9021452Abstract: 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: GrantFiled: February 26, 2013Date of Patent: April 28, 2015Assignee: CommVault Systems, Inc.Inventor: Sanjay Harakhchand Kripalani
-
Patent number: 9021008Abstract: 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: GrantFiled: August 24, 2011Date of Patent: April 28, 2015Assignee: Amazon Technologies, Inc.Inventors: Kolton D. Andrus, Daniel M. Vogel, Timothy M. Sehn, Aaron D. Son
-
Patent number: 9009674Abstract: 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: GrantFiled: December 10, 2012Date of Patent: April 14, 2015Assignee: Versata Development Group, Inc.Inventors: Justin Haugh, Ryan Kennedy, Matt Schemmel
-
Patent number: 9009538Abstract: 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: GrantFiled: March 5, 2013Date of Patent: April 14, 2015Assignee: International Business Machines CorporationInventors: Domenico D'Alterio, Glanluca Mariani, Riccardo Rossi, Antonio Secomandi
-
Patent number: 8997053Abstract: 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: GrantFiled: January 14, 2011Date of Patent: March 31, 2015Assignee: Worksoft, Inc.Inventor: Andres Matias Yanes
-
Patent number: 8990183Abstract: 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: GrantFiled: June 6, 2012Date of Patent: March 24, 2015Assignee: Microsoft Technology Licensing, LLCInventors: Jie Liu, Suman Kumar Nath, Jitendra D. Padhye, Lenin Ravindranath Sivalingam
-
Publication number: 20150082289Abstract: 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: ApplicationFiled: September 18, 2014Publication date: March 19, 2015Inventors: Robert LEINFELLNER, Timo KERSTAN
-
Patent number: 8977904Abstract: 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: GrantFiled: February 17, 2012Date of Patent: March 10, 2015Assignee: Hewlett-Packard Development Company, L.P.Inventors: Moshe Eran Kraus, Lior Manor, Amichai Nitsan, Meidan Zemer
-
Patent number: 8972944Abstract: 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: GrantFiled: March 14, 2013Date of Patent: March 3, 2015Assignee: Synopsys, Inc.Inventor: Dietmar Petras
-
Patent number: 8966447Abstract: 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: GrantFiled: June 20, 2011Date of Patent: February 24, 2015Assignee: Apple Inc.Inventors: Evan M. Hoke, Patrick R. Holley, Jonathan M. Deutsch
-
Patent number: 8954929Abstract: 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: GrantFiled: March 29, 2010Date of Patent: February 10, 2015Assignee: Microsoft CorporationInventor: Michael J. Braude
-
Patent number: 8949433Abstract: 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: GrantFiled: June 30, 2014Date of Patent: February 3, 2015Assignee: Google Inc.Inventors: Matthew Papakipos, Antoine Labour, Eric Uhrhane
-
Patent number: 8930917Abstract: 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: GrantFiled: May 22, 2012Date of Patent: January 6, 2015Assignee: Adobe Systems IncorporatedInventors: Romil Mittal, Rajorshi Ghosh Choudhury
-
Patent number: 8930918Abstract: 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: GrantFiled: May 18, 2011Date of Patent: January 6, 2015Assignee: Tata Consultancy Services LimitedInventor: Dattatraya Mohan Tendulkar
-
Patent number: 8924943Abstract: 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: GrantFiled: July 17, 2009Date of Patent: December 30, 2014Assignee: eBay Inc.Inventors: Pei Wang, Yitao Yao, Mark P. Palaima, Homayoun Zariv, Rajasekhar Bhogi
-
Publication number: 20140372991Abstract: 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: ApplicationFiled: June 25, 2014Publication date: December 18, 2014Inventors: DIRK KOLBERG, LUKESH Kumar, KEVIN ANDREW GUDGION
-
Patent number: 8898522Abstract: 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: GrantFiled: September 2, 2011Date of Patent: November 25, 2014Assignee: International Business Machines CorporationInventors: John Robert Barker, Ian James McCloy, Daniel Gregory Mounty
-
Patent number: 8893086Abstract: 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: GrantFiled: September 11, 2009Date of Patent: November 18, 2014Assignee: International Business Machines CorporationInventors: 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: 20140304689Abstract: 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: ApplicationFiled: July 1, 2011Publication date: October 9, 2014Applicant: Adobe Systems IncorporatedInventor: Jason A. San Jose
-
Patent number: 8819646Abstract: 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: GrantFiled: March 29, 2011Date of Patent: August 26, 2014Assignee: Airbus HelicoptersInventors: Jean-Luc Baudisson, Jean-Pierre Lebailly
-
Patent number: 8806019Abstract: 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: GrantFiled: January 6, 2014Date of Patent: August 12, 2014Assignee: Google Inc.Inventors: Matthew Papakipos, Antoine Labour, Eric Uhrhane
-
Patent number: 8799874Abstract: 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: GrantFiled: March 5, 2012Date of Patent: August 5, 2014Assignee: International Business Machines CorporationInventors: Marco Pistoia, Omer Tripp
-
Patent number: 8789054Abstract: 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: GrantFiled: November 30, 2010Date of Patent: July 22, 2014Assignee: Fujitsu LimitedInventors: Indradeep Ghosh, Mukul Ranjan Prasad
-
Patent number: 8789019Abstract: 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: GrantFiled: April 22, 2013Date of Patent: July 22, 2014Assignee: eBay Inc.Inventors: Jasdeep Singh Sahni, Anil Madan, Deepak Seetharam Nadig, Po Cheung, Bhavesh Mistry, John Bodine, Michael Lo
-
Patent number: 8756574Abstract: 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: GrantFiled: September 12, 2012Date of Patent: June 17, 2014Assignee: International Business Machines CorporationInventors: Avi Ziv, Laurent Fournier, Steven Mittermaier
-
Patent number: 8745599Abstract: 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: GrantFiled: January 19, 2012Date of Patent: June 3, 2014Assignee: National Tsing Hua UniversityInventors: Jenq Kuen Lee, Ming Yu Hung, Yuan Shin Hwang, Peng Sheng Chen
-
Patent number: 8745601Abstract: 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: GrantFiled: July 17, 2008Date of Patent: June 3, 2014Assignee: Apple Inc.Inventors: Eric O. Carlson, Joshua H. Shaffer, James Mensch
-
Patent number: 8732677Abstract: 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: GrantFiled: January 19, 2012Date of Patent: May 20, 2014Assignee: SAP AGInventor: Holger Bohle
-
Patent number: 8694966Abstract: 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: GrantFiled: March 4, 2010Date of Patent: April 8, 2014Assignee: Oracle International CorporationInventor: Ravi Kant Gupta
-
Patent number: 8683450Abstract: 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: GrantFiled: May 31, 2007Date of Patent: March 25, 2014Assignee: The Trustees of Columbia University in the City of New YorkInventors: Angelos D. Keromytis, Stylianos Sidiroglou
-
Publication number: 20140075420Abstract: 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: ApplicationFiled: June 4, 2012Publication date: March 13, 2014Applicant: GOOGLE INC.Inventor: Jean Baptiste Maurice Queru
-
Patent number: 8671319Abstract: 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: GrantFiled: June 19, 2012Date of Patent: March 11, 2014Assignee: Texas Instruments IncorporatedInventors: Stephen Yee Shun Lau, Vikas Varshney
-
Patent number: 8661303Abstract: 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: GrantFiled: June 19, 2012Date of Patent: February 25, 2014Assignee: Texas Instruments IncorporatedInventors: Stephen Yee Shun Lau, Vikas Varshney