Patents by Inventor Jan Chaloupka

Jan Chaloupka has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Detect application defects by correlating contracts in application dependencies
    Patent number: 10083029
    Abstract: An example method of detecting incompatibility between an application and an application dependency includes identifying a first set of contracts exposed in a first version of an application dependency. Each contract includes a symbol and a corresponding signature. The example method also includes comparing the first set of contracts to a corresponding second set of contracts exposed in a second version of the application dependency. The example method further includes determining, based on the comparing, whether the first set of contracts matches the second set of contracts. If the first set of contracts matches the second set of contracts, an indication that the second set of contracts is compatible with the application is provided. If the first set of contracts does not match the second set of contracts, an indication that the second set of contracts is not compatible with the application is provided.
    Type: Grant
    Filed: November 9, 2016
    Date of Patent: September 25, 2018
    Assignee: Red Hat, Inc.
    Inventors: Pavel Odvody, Fridolin Pokorny, Jan Chaloupka
  • DETECT APPLICATION DEFECTS BY CORRELATING CONTRACTS IN APPLICATION DEPENDENCIES
    Publication number: 20180129494
    Abstract: An example method of detecting incompatibility between an application and an application dependency includes identifying a first set of contracts exposed in a first version of an application dependency. Each contract includes a symbol and a corresponding signature. The example method also includes comparing the first set of contracts to a corresponding second set of contracts exposed in a second version of the application dependency. The example method further includes determining, based on the comparing, whether the first set of contracts matches the second set of contracts. If the first set of contracts matches the second set of contracts, an indication that the second set of contracts is compatible with the application is provided. If the first set of contracts does not match the second set of contracts, an indication that the second set of contracts is not compatible with the application is provided.
    Type: Application
    Filed: November 9, 2016
    Publication date: May 10, 2018
    Inventors: Pavel Odvody, Fridolin Pokorny, Jan Chaloupka