Patents by Inventor Marek Kucharski
Marek Kucharski 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).
-
Patent number: 9697109Abstract: Method for generating dynamically configurable test doubles for software testing includes: detecting functions or methods invocations in a source code under test; collecting information about parameters and return types of one or more of original functions and original methods that are invoked by the source code under test, generating test doubles using source code with alternative definitions based on collected information; instrumenting the source code under test to replace the calls to one or more of original functions and methods with calls to the generated test doubles; and dynamically configuring runtime behavior of the generated test doubles, where all input parameters and return values of the one or more of original functions and original methods are provided to respective retrieved trigger objects by passing said input parameters and return values as arguments to function calls.Type: GrantFiled: May 11, 2015Date of Patent: July 4, 2017Assignee: Parasoft CorporationInventors: Marek Kucharski, Elizabeth Kolawa, Piotr Pepek, Patrycjusz Franczak, Jakub Labenski, Miroslaw Zielinski
-
Patent number: 9672481Abstract: A computer implemented method for monitoring an overall health of a software project. The method includes: providing a plurality of business process checkers; storing a plurality of criteria, wherein each of the plurality of criteria measures an aspect of the software project process; storing an upper bound parameter and a lower bound parameter for each business process checker; assimilating data from one or more data sources related to aspects of the software project process; calculating, by each business process checker, a score for each criterion responsive to said upper bound and lower bound parameters and said data from said one or more data sources; calculating an overall health score for the software project from each calculated score for each criterion; and displaying an indication of the overall health of the software project responsive to the calculated overall health score.Type: GrantFiled: October 20, 2010Date of Patent: June 6, 2017Assignee: Parasoft CorporationInventors: Adam K. Kolawa, Sang Uk Seong, Marek Kucharski, Neel Deepak Gandhi, Wayne P. Ariola, Jr., William C. McCusker, III, Jason R. Schadewald, Daniel J. Dominguez
-
Publication number: 20150378880Abstract: Method for generating dynamically configurable test doubles for software testing includes: detecting functions or methods invocations in a source code under test; collecting information about parameters and return types of one or more of original functions and original methods that are invoked by the source code under test, generating test doubles using source code with alternative definitions based on collected information; instrumenting the source code under test to replace the calls to one or more of original functions and methods with calls to the generated test doubles; and dynamically configuring runtime behavior of the generated test doubles, where all input parameters and return values of the one or more of original functions and original methods are provided to respective retrieved trigger objects by passing said input parameters and return values as arguments to function calls.Type: ApplicationFiled: May 11, 2015Publication date: December 31, 2015Inventors: Marek Kucharski, Elizabeth Kolawa, Piotr Pepek, Patrycjusz Franczak, Jakub Labenski, Miroslaw Zielinski
-
Patent number: 8732676Abstract: A method and system for testing a computer software system based on execution paths including: executing the computer program to obtain an execution path in the computer software; recording the execution path; modifying variables in the recorded execution path to create one or more perturbed paths; analyzing the one or more perturbed paths to detect potential errors; and generating unit tests for the one or more perturbed paths having the detected potential errors. The created test units may then be executed to test the computer software.Type: GrantFiled: August 29, 2008Date of Patent: May 20, 2014Assignee: Parasoft CorporationInventors: Adam K. Kolawa, Marek Kucharski
-
Patent number: 8032863Abstract: A system and method for collecting and correlating information about development of a computer software, including software tools reports. The system and method provides overview of entire software development lifecycle, provides decision support engine for project management, allows estimation of project timelines based upon empirical data, allows evaluation of project quality based upon empirical data, and correlates information from previous projects to estimate progress of current project (confidence factors). The system and method for collecting and correlating information about development of a computer software include collecting data from a plurality of software tools during each point in lifecycle of the computer software; storing the collected data in a database; and correlating the stored collected data to monitor the development of the computer software.Type: GrantFiled: November 17, 2005Date of Patent: October 4, 2011Assignee: Parasoft CorporationInventors: Adam K. Kolawa, Wendell T. Hicken, Arthur R. Hicken, Marek Kucharski, Marek Michal Pilch
-
Patent number: 8001532Abstract: A method and system for generating source code-based test cases for a remote application. The method and system include storing a table including mapping between user-inputs and a corresponding source code fragment; recording user's actions in the remote application by a test tool; accessing the table to locate corresponding source code fragments for the recorded user's actions; retrieving the corresponding source code fragments to generate source code-based test cases; compiling the source code-based test cases; and executing the compiled source code-based test cases outside of the test tool.Type: GrantFiled: November 9, 2006Date of Patent: August 16, 2011Assignee: Parasoft CorporationInventors: Nathan Michael Jakubiak, Marek Kucharski
-
Patent number: 7904802Abstract: A method and system for efficient code review performed during the software development. The method and system include storing information about a plurality of authors and reviewers; detecting code to be reviewed by analyzing a code repository with respect to recent code modifications; creating a code review invitation according to the stored information about a plurality of authors and reviewers; distributing the code review invitation to a respective reviewer; recording comments for review code from the respective reviewer; measuring coverage of the reviewed code; applying metrics to the code review invitations and the comments; measuring code review characteristics based on the applied metrics.Type: GrantFiled: November 13, 2006Date of Patent: March 8, 2011Assignee: Parasoft CorporationInventors: Adam K. Kolawa, Marek Kucharski
-
Patent number: 7900193Abstract: A system and method for identifying errors in a computer software include: identifying a potential problem in the computer software; triggering a portion of the computer software by the identified potential problem; determining a control flow graph and a data flow graph for the triggered portion of the computer software originating at the identified potential problem; and analyzing the control flow graph and the data flow graph to verify that the identified potential problem is an actual error. The potential problem may be identified using test tools such as a static analysis tool or a unit test tool.Type: GrantFiled: November 7, 2006Date of Patent: March 1, 2011Assignee: Parasoft CorporationInventors: Adam K. Kolawa, Marek Kucharski
-
Publication number: 20090254541Abstract: A computer system representing user preferences in an N-dimensional preference topography and making recommendations based on such topography. The preference topography depicts user ratings of products in a recommendation database. Each product is represented by a product vector associated with N objectively measurable characteristics. The user rating of a product, therefore, represents the user's preference for the particular combination of the N objectively measurable characteristics making up the product. In making a recommendation of products to the user, the system assigns a rating to each product in the recommendation database based on the preference topography. The system then selects a plurality of maximally unique choices from the rated products for recommendation to the user. These maximally unique choices are calculated to be as diverse from one another as possible but still to the user's liking.Type: ApplicationFiled: December 24, 2008Publication date: October 8, 2009Inventors: Adam K. Kolawa, Wendell Hicken, Marek Kucharski
-
Patent number: 7596778Abstract: In one embodiment, the present invention is a method for automatically preventing errors in computer software. The method includes storing the computer software in a code repository; executing a plurality of software verification tools to verify the computer software, wherein each of the plurality of software verification tools automatically generates one or more test cases; generating verification results responsive to executing the plurality of software verification tools and the automatically generated test cases; processing the verification results for generating an objective criterion of quality of the computer software; and customizing the scope of one or more of the plurality of verification tools responsive to the objective criterion of quality of the computer software.Type: GrantFiled: July 3, 2003Date of Patent: September 29, 2009Assignee: Parasoft CorporationInventors: Adam K. Kolawa, Wendell T. Hicken, Arthur R. Hicken, Marek Kucharski, Gary Alan Brunnell
-
Publication number: 20090234712Abstract: A computer system representing user preferences in an N-dimensional preference topography and making recommendations based on such topography. The preference topography depicts user ratings of products in a recommendation database. Each product is represented by a product vector associated with N objectively measurable characteristics. The user rating of a product, therefore, represents the user's preference for the particular combination of the N objectively measurable characteristics making up the product. In making a recommendation of products to the user, the system assigns a rating to each product in the recommendation database based on the preference topography. The system then selects a plurality of maximally unique choices from the rated products for recommendation to the user. These maximally unique choices are calculated to be as diverse from one another as possible but still to the user's liking.Type: ApplicationFiled: March 10, 2009Publication date: September 17, 2009Inventors: Adam K. Kolawa, Wendell Hicken, Marek Kucharski
-
Publication number: 20060123389Abstract: A system and method for collecting and correlating information about development of a computer software, including software tools reports. The system and method provides overview of entire software development lifecycle, provides decision support engine for project management, allows estimation of project timelines based upon empirical data, allows evaluation of project quality based upon empirical data, and correlates information from previous projects to estimate progress of current project (confidence factors). The system and method for collecting and correlating information about development of a computer software include collecting data from a plurality of software tools during each point in lifecycle of the computer software; storing the collected data in a database; and correlating the stored collected data to monitor the development of the computer software.Type: ApplicationFiled: November 17, 2005Publication date: June 8, 2006Inventors: Adam Kolawa, Wendell Hicken, Arthur Hicken, Marek Kucharski, Marek Pilch
-
Publication number: 20060026048Abstract: A computer system representing user preferences in an N-dimensional preference topography and making recommendations based on such topography. The preference topography depicts user ratings of products in a recommendation database. Each product is represented by a product vector associated with N objectively measurable characteristics. The user rating of a product, therefore, represents the user's preference for the particular combination of the N objectively measurable characteristics making up the product. In making a recommendation of products to the user, the system assigns a rating to each product in the recommendation database based on the preference topography. The system then selects a plurality of maximally unique choices from the rated products for recommendation to the user. These maximally unique choices are calculated to be as diverse from one another as possible but still to the user's liking.Type: ApplicationFiled: September 26, 2005Publication date: February 2, 2006Inventors: Adam Kolawa, Wendell Hicken, Marek Kucharski
-
Publication number: 20060020614Abstract: A computer system representing user preferences in an N-dimensional preference topography and making recommendations based on such topography. The preference topography depicts user ratings of products in a recommendation database. Each product is represented by a product vector associated with N objectively measurable characteristics. The user rating of a product, therefore, represents the user's preference for the particular combination of the N objectively measurable characteristics making up the product. In making a recommendation of products to the user, the system assigns a rating to each product in the recommendation database based on the preference topography. The system then selects a plurality of maximally unique choices from the rated products for recommendation to the user. These maximally unique choices are calculated to be as diverse from one another as possible but still to the user's liking.Type: ApplicationFiled: September 26, 2005Publication date: January 26, 2006Inventors: Adam Kolawa, Wendell Hicken, Marek Kucharski
-
Publication number: 20050015675Abstract: In one embodiment, the present invention is a method for automatically preventing errors in computer software. The method includes storing the computer software in a code repository; executing a plurality of software verification tools to verify the computer software, wherein each of the plurality of software verification tools automatically generates one or more test cases; generating verification results responsive to executing the plurality of software verification tools and the automatically generated test cases; processing the verification results for generating an objective criterion of quality of the computer software; and customizing the scope of one or more of the plurality of verification tools responsive to the objective criterion of quality of the computer software.Type: ApplicationFiled: July 3, 2003Publication date: January 20, 2005Inventors: Adam Kolawa, Wendell Hicken, Arthur Hicken, Marek Kucharski, Gary Brunnell
-
Patent number: 6806893Abstract: User input buttons are displayed as part of a graphical user interface by showing the buttons as multiple oval shapes and including shading and highlighting to indicate different states of the buttons. The buttons appear to the user as three dimensional simulated mechanical buttons because of the shape, shading, and temporal states used to represent them. States of the buttons include inactive, active, entered and pressed, each state having its own bitmap image to represent it on the computer display.Type: GrantFiled: August 4, 1998Date of Patent: October 19, 2004Assignee: Parasoft CorporationInventors: Adam K. Kolawa, Wendell T. Hicken, Marek Kucharski, Janusz Haka
-
Patent number: D503179Type: GrantFiled: April 18, 2002Date of Patent: March 22, 2005Assignee: Parasoft CorporationInventors: Adam K. Kolawa, Wendell T. Hicken, Janusz Haka, Marek Kucharski