Patents Examined by Xi D Chen
  • Patent number: 9507694
    Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for generating normalized analysis artifacts for a source code base. One of the methods includes receiving a request to perform an analysis of a collection of source code files in a particular file system, wherein each source code file in the particular file system has a respective associated original file path. One or more normalized analysis artifacts are generated for the collection of source code files, including applying a file path transformation function to the original file path of each source code file referenced by the analysis artifacts to generate a normalized file path for the source code file, wherein each reference in the normalized analysis artifacts to a particular source code file uses the normalized file path for the particular source code file instead of the original file path for the particular source code file.
    Type: Grant
    Filed: October 30, 2015
    Date of Patent: November 29, 2016
    Assignee: Semmle Limited
    Inventors: Julian Tibble, Pavel Avgustinov
  • Patent number: 9477583
    Abstract: A computer implemented method and system including techniques for developing and executing automated test cases are described herein. In one embodiment, a test case automation tool provides functionality for defining an automated test set and associated test cases within a testing user interface without the use of scripting languages or compiled programming. The definition of each test case may occur within a testing user interface, including displaying and receiving user selection of available methods for testing; displaying user parameter fields and receiving user parameter values in response for testing; abstracting parameter types in the user parameter values; and generating XML-format definitions of the test case. The test case automation tool may then execute the selected methods of the software application using parameters provided in the XML-format definitions, and return testing results of the test case execution.
    Type: Grant
    Filed: September 19, 2014
    Date of Patent: October 25, 2016
    Assignee: CA, Inc.
    Inventor: Hari Kiran Maddela
  • Patent number: 9477459
    Abstract: A server, terminal device, and a non-transitory data storage medium for supporting wireless terminal devices of a cellular network for implementing program updates are described. The server includes a memory, a processor which receives instructions from the memory for execution, programs utilized in the wireless terminal devices, a receiver, and a transmitter. The receiver is configured to receive a message from a wireless terminal device requesting installation of a program to the wireless terminal device. The installation is caused by a change of an activated use profile of the wireless terminal device to another use profile, when the wireless terminal device is in an operating state with power on. The activated use profile and the another use profile include dissimilar lists of programs required in certain use situations of a user. The transmitter is configured to send the program to the wireless terminal device as an over-the-air message.
    Type: Grant
    Filed: January 24, 2013
    Date of Patent: October 25, 2016
    Assignee: CAPRICODE OY
    Inventor: Tapio Rauma
  • Patent number: 9471294
    Abstract: Extension patterns are deployed to core deployment patterns stored in a first software repository. An event relating to registration of a component is detected. In response to detecting the event, a tool registry can be queried to identify one or more extension deployment patterns for use with one or more core deployment patterns. Based upon the query, one or more extension deployment components can be retrieved from a second software repository. The one or more extension deployment components can be deployed on top of one or more instances of the one or more core deployment patterns.
    Type: Grant
    Filed: August 21, 2014
    Date of Patent: October 18, 2016
    Assignee: International Business Machines Corporation
    Inventors: Alberto Giammaria, Christopher A. Peters, Thomas Spatzier
  • Patent number: 9471340
    Abstract: Embodiments relate to a global entry point and a local entry point for a callee function. An aspect includes executing, by a processor, a function call from a calling function to the callee function. Another aspect includes, based on the function call being a direct and external function call, entering the callee function at the global entry point and executing prologue code in the callee function that calculates and stores a table of contents (TOC) value for the callee function in a TOC register. Another aspect includes, based on the function call being a direct and local function call, entering the callee function at the local entry point, wherein entering the callee function at the local entry point skips the prologue code. Another aspect includes, based on the function call being an indirect function call, entering the callee function at the global entry point and executing the prologue code.
    Type: Grant
    Filed: September 11, 2014
    Date of Patent: October 18, 2016
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Michael K. Gschwind, Ulrich Weigand
  • Patent number: 9465721
    Abstract: A tracing and debugging system may take a snapshot of an application in response to an event, and may continue executing the program after the snapshot is captured. The snapshot may be stored and retrieved later in a debugging tool where a programmer may browse the snapshot or the snapshot may have some other analysis performed. The snapshot may contain a subset of the state of the application, such as call stacks, portions of source code, the values of local and global variables, and various metadata. The snapshot may be defined in a snapshot configuration that may include an event description and data to be collected.
    Type: Grant
    Filed: August 19, 2013
    Date of Patent: October 11, 2016
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Charles D. Garrett, Alexander G. Gounares
  • Patent number: 9465600
    Abstract: A method and apparatus for dynamic retrieval of installation packages when installing software is described herein. In one embodiment, a process can be provided to determine a specific installation package to be installed for software having one or more packages to be installed. A repository can be automatically identified from a plurality of repositories from which to obtain the specific installation package, based on priority criteria. The priority criteria can be based on dynamically changing parameters. The specific installation package can be obtained from the identified repository.
    Type: Grant
    Filed: February 11, 2014
    Date of Patent: October 11, 2016
    Assignee: Apple Inc.
    Inventors: Jack Matthew, John R. Chang
  • Patent number: 9454467
    Abstract: A method of mining test coverage data includes: at a device having one or more processors and memory: sequentially processing each of a plurality of coverage data files that is generated by executing the program using a respective test input of a plurality of test inputs, where the processing of each current coverage data file extracts respective execution counter data from the current coverage data file; after processing each current coverage data file, determining whether the respective execution counter data extracted from the current coverage data file includes a predetermined change relative to the respective execution counter data extracted from previously processed coverage data files; and in response to detecting the predetermined change for the current coverage data file, including the respective test input used to generate the current coverage data file in a test input collection for testing the program.
    Type: Grant
    Filed: August 12, 2014
    Date of Patent: September 27, 2016
    Assignee: TENCENT TECHNOLOGY (SHENZHEN) COMPANY LIMITED
    Inventor: Yunjia Wu
  • Patent number: 9438542
    Abstract: Embodiments of the present invention provide methods, computer program products, and systems for linking selected messages in electronic message threads. In one embodiment, related messages are identified and graphic elements associated with a first message are displayed on a user interfaces. Responsive to receiving a user interaction with the graphical element, a second message can be viewed, where the second message either responds to the first message or is responded to by the first message. Displaying graphical elements associated with related messages can eliminate potential confusion between users in group messages.
    Type: Grant
    Filed: December 22, 2015
    Date of Patent: September 6, 2016
    Assignee: International Business Machines Corporation
    Inventors: Xiang Chen, Bin Gu, Cheng Fang Wang, Wumi Zhong, Jia Zou
  • Patent number: 9430210
    Abstract: A method and an apparatus for integrating Java software into a mobile terminal are provided. The method includes: installing and resolving Java software configured with an extended attribute to obtain contact data corresponding to the extended attribute; and adding an option for starting the Java software to the user interface of the mobile terminal according to the contact data, where the contact data includes the location and format of the added option for the Java software, and the data of the application entry of the Java software.
    Type: Grant
    Filed: July 9, 2012
    Date of Patent: August 30, 2016
    Assignee: Huawei Device Co., Ltd.
    Inventor: Qiang Gan
  • Patent number: 9417872
    Abstract: A computer-readable recording medium stores a program for causing an apparatus to execute an address managing process including: associating information that identifies a branch destination routine of a branch instruction with a jump instruction in which a relative address to the branch destination routine, and generating the associated information and jump instruction in a branch destination management entry on a memory; setting a relative address to a position of the jump instruction that corresponds to the information that identifies the branch destination routine of the branch instruction, as a branch destination relative address of the branch instruction; and changing the jump destination of the jump instruction that corresponds to the information that identifies the branch destination routine, to a relative address to a position of the branch destination routine of the movement destination, with reference to the branch destination management entry when the branch destination routine is moved.
    Type: Grant
    Filed: June 4, 2013
    Date of Patent: August 16, 2016
    Assignee: FUJITSU LIMITED
    Inventor: Masafumi Hashiguchi
  • Patent number: 9411715
    Abstract: A system, method, and computer program product for optimizing thread stack memory allocation is disclosed. The method includes the steps of receiving source code for a program, translating the source code into an intermediate representation, analyzing the intermediate representation to identify at least two objects that could use a first allocated memory space in a thread stack memory, and modifying the intermediate representation by replacing references to a first object of the at least two objects with a reference to a second object of the at least two objects.
    Type: Grant
    Filed: December 12, 2012
    Date of Patent: August 9, 2016
    Assignee: NVIDIA Corporation
    Inventors: Adriana Maria Susnea, Vinod Grover, Sean Youngsung Lee
  • Patent number: 9411642
    Abstract: When a computing system is running at a lower clock rate, in response to an event that triggers the computing system to increase the clock rate, a list of threads pending execution by the computing system is accessed. The list includes a thread that, when executed, causes the clock rate to increase. That thread is selected and executed before any other thread in the list is executed.
    Type: Grant
    Filed: January 17, 2014
    Date of Patent: August 9, 2016
    Assignee: NVIDIA CORPORATION
    Inventors: Yogish Sadashiv Kulkarni, Li Li, Vikas Ashok Jain
  • Patent number: 9396095
    Abstract: A method of verifying software may include receiving a portion of a software program that includes multiple functions. The method may also include clustering the functions into two or more clusters of functions and generating a symbolic driver for each of the clusters of functions such that multiple symbolic drivers are generated. The clusters of functions may be symbolically executed using the symbolic drivers to generate concrete test cases for the functions in the clusters. In response to the coverage of the symbolic execution of the clusters of functions being less than a particular coverage or a number of the concrete test cases being more than a particular number of concrete test cases, the method may include re-clustering the functions.
    Type: Grant
    Filed: May 15, 2014
    Date of Patent: July 19, 2016
    Assignee: FUJITSU LIMITED
    Inventors: Maarten Wiggers, Hiroaki Yoshida
  • Patent number: 9396005
    Abstract: A system computer storage medium for plug-in management and control is described. The system performs control on the plug-ins in system or application software by utilizing a plug-in list module and a plug-in function controlling module. The control includes activation and deactivation of the plug-ins, and enables reminding, receiving messages, etc. Plug-ins are managed in a uniform and standardized way in a program.
    Type: Grant
    Filed: September 16, 2014
    Date of Patent: July 19, 2016
    Assignee: Tencent Technology (Shenzhen) Company Limited
    Inventors: Tianqing Huang, Wa Ye, Yuehai Chen, Yuan Zhao, Yuxuan Zhang, Runjia Huang, Qing Huang, Junchao Chen, Runda Cai
  • Patent number: 9389986
    Abstract: The present invention extends to methods, systems, and computer program products for identifying impacted tests from statically collected data. In general, static dependency data, possibly augmented with some dynamic data, is used to find an appropriate set of impacted tests for code changes. In some embodiments, static dependency analysis is used to identify tests impacted by a code change. Heuristics can be used to assist with identifying an appropriate set of impacted tests to run for a code change. Dynamic data can be used to augment static dependency data to identify more optimal sets of impacted tests to run for a code change.
    Type: Grant
    Filed: May 6, 2013
    Date of Patent: July 12, 2016
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Arun Mathew Abraham, Haiying Xu, Jun Su, Peter Gerard Provost, Jing Fan, Jean-Marc Prieur
  • Patent number: 9383973
    Abstract: Code suggestion technique embodiments are presented that improve the productivity of a programmer by assisting in both the writing of code and in debugging the code as it is being written. In general, this is accomplished by automating a search of a database of the past work and problem solving activities of programmers to make suggestion to a programmer currently writing code. For example, as a programmer enters code, suggested ways of finishing a line or code section are presented based on how previous programmers finished a similar line or code section. Another example involves a programmer who encounters an error message while writing code. In such a case, the programmer is provided with a suggested fix or fixes, based on the actions taken by previous developers when encountering a similar problem.
    Type: Grant
    Filed: June 29, 2011
    Date of Patent: July 5, 2016
    Assignee: MICROSOFT TECHNOLOGY LICENSING, LLC
    Inventors: Nicolas Villar, James Scott, Stephen Hodges, Albrecht Schmidt
  • Patent number: 9370721
    Abstract: Systems and methods for creating a playable video game, or playable video game levels, from a model, typically a two-dimensional work of hand-drawn art. A set of software modules processes a digital image of the static model to translate its component elements into video game elements in a level file, which may then be played using a game driver.
    Type: Grant
    Filed: May 8, 2014
    Date of Patent: June 21, 2016
    Assignee: Pixel Press Technology, LLC
    Inventors: Robin Rath, John Haney
  • Patent number: 9369867
    Abstract: Generally, this disclosure describes devices, methods and systems and for securely updating software on a mobile platform using trusted hardware based authentication. The device may include an image update module configured to receive a software update image from an update server, the image update module executing at an operating system (OS) level; a critical component database configured to identify critical software components associated with the secure operation of the device; a secure update application module configured to verify the inclusion of the critical software components in the software update image prior to installation of the software update image on the device; and a trusted execution environment (TEE) configured to restrict control access and data access to the secure update application module and the critical component database, the restriction enforced against the OS and against modules executing at the OS level.
    Type: Grant
    Filed: June 29, 2012
    Date of Patent: June 14, 2016
    Assignee: Intel Corporation
    Inventors: Gyan Prakash, Jiphun C. Satapathy
  • Patent number: 9358924
    Abstract: A system and methods are disclosed for providing integrated software development environment for the design, verification and validation of advanced automotive safety systems. The system allows automotive software to be developed on a host computer using a collection of computer programs running simultaneously as processes and synchronized by a central process. The software disclosed uses separate synchronized processes, permitting signals from disparate sources to be generated by a simulation running on the host computer or from actual sensors and data bus signals coming from and going to actual vehicle hardware which is connected to their bus counterparts in the host computer on a real-time basis. The methods provide a data model that first extends the capabilities of the physical data model and then translates, gates, optimizes, fuses, filters and manages the physical representation of the logical model into a state estimation of the situation around the vehicle.
    Type: Grant
    Filed: May 7, 2010
    Date of Patent: June 7, 2016
    Assignee: EAGLE HARBOR HOLDINGS, LLC
    Inventors: Dan Alan Preston, Joseph David Preston, Kenneth Schofield, Thomas August Manos