Patents by Inventor Marat Boshernitsan
Marat Boshernitsan 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: 10713069Abstract: A method to emulate a system represented by one or more of hardware portions and software portions is described. The method comprises determining whether a subset of the one or more hardware portions and software portions have been tested, and identifying whether the system has performed to a specification based on the testing. The method further comprising, when the system has not performed to the specification, determining one or more of the hardware and software portions to update for retesting.Type: GrantFiled: April 18, 2016Date of Patent: July 14, 2020Assignee: SYNOPSYS, INC.Inventors: Marat Boshernitsan, Scott McPeak, Andreas Kuehlmann, Roger H. Scott, Andy Chou, Kit Transue
-
Patent number: 10496524Abstract: A Remote Test Separation (RTS) system comprising an original software product instrumented for testing and a shared memory accessible to the original software product, the shared memory including a plurality of coverage counters. The RTS system further comprising an agent, capable of accessing the shared memory, the agent to read the plurality of coverage counters, the agent to read the plurality of coverage counters at an end of a test, and write coverage data to another memory. The RTS system runs a plurality of tests without interruption, and generates coverage data associated with a plurality of sequential tests and records the associations between lines of code and an associated test.Type: GrantFiled: December 23, 2016Date of Patent: December 3, 2019Assignee: Synopsys, Inc.Inventors: Jonathan Clark, Darren Kennedy, Sylvain François, Marc Rambert, Scott McPeak, Marat Boshernitsan
-
Patent number: 9836390Abstract: A method is provided to evaluate impact of a change to code of a depended upon component of a system stored in a computer readable storage device, upon a dependent component of the system, the method comprising: identifying a dependency relationship between a first component stored in a computer readable storage device and a second component stored in the computer readable storage device; in response to a determination that the second component depends upon the first component, configuring a computer system to obtain a first property evaluation corresponding to the first component; and in response to obtaining the first property evaluation corresponding to the first component, configuring the computer system to associate the first property evaluation with the second component, and obtain a second property evaluation corresponding to the second component, wherein the second component is associated with the first property evaluation.Type: GrantFiled: May 11, 2015Date of Patent: December 5, 2017Assignee: Synopsys, Inc.Inventors: Marat Boshernitsan, Andreas Kuehlmann, Scott McPeak, Philip Chong, Tobias Welp
-
Publication number: 20170192878Abstract: A Remote Test Separation (RTS) system comprising an original software product instrumented for testing and a shared memory accessible to the original software product, the shared memory including a plurality of coverage counters. The RTS system further comprising an agent, capable of accessing the shared memory, the agent to read the plurality of coverage counters, the agent to read the plurality of coverage counters at an end of a test, and write coverage data to another memory. The RTS system runs a plurality of tests without interruption, and generates coverage data associated with a plurality of sequential tests and records the associations between lines of code and an associated test.Type: ApplicationFiled: December 23, 2016Publication date: July 6, 2017Inventors: Jonathan Clark, Darren Kennedy, Sylvain François, Marc Rambert, Scott McPeak, Marat Boshernitsan
-
Patent number: 9612943Abstract: A method is provided to prioritize testing of computer program code comprising: determining first test coverages of items within a first source code version for multiple tests; storing in a non-transitory storage device, a first history that indicates the determined first test coverages of the items within the first source code version; identifying occurrences of the items within a second source code version; determining first weights associated with tests, wherein a respective weight associated with a respective test is indicative of a respective number of respective items within the second source code version that are covered by the respective associated test according to the first history; and prioritizing the multiple respective tests based at least in part upon the determined first weights.Type: GrantFiled: September 26, 2013Date of Patent: April 4, 2017Assignee: Synopsys, Inc.Inventors: Marat Boshernitsan, Andreas Kuehlmann
-
Publication number: 20170017506Abstract: A method to emulate a system represented by one or more of hardware portions and software portions is described. The method comprises determining whether a subset of the one or more hardware portions and software portions have been tested, and identifying whether the system has performed to a specification based on the testing. The method further comprising, when the system has not performed to the specification, determining one or more of the hardware and software portions to update for retesting.Type: ApplicationFiled: April 18, 2016Publication date: January 19, 2017Inventors: Marat Boshernitsan, Scott McPeak, Andreas Kuehlmann, Roger H. Scott, Andy Chou, Kit Transue, Kenneth S. McElvain, Igor L. Markov
-
Patent number: 9317399Abstract: A method is provided to evaluate tests of computer program code comprising: configuring a computer to produce, in a computer readable storage device, a code filter to indicate one or more respective portions of the computer program code to respectively either omit from or to include in a determination of adequacy of results; and comparing test results with the computer program code with the one or more respective portions filtered using the code filter to respectively either omit the respective portions from or include the respective portions in the determination as indicated by the code filter.Type: GrantFiled: March 15, 2013Date of Patent: April 19, 2016Assignee: Synopsys, Inc.Inventors: Marat Boshernitsan, Scott McPeak, Andreas Kuehlmann, Roger H. Scott, Andy C. Chou, Kit Transue
-
Publication number: 20150317236Abstract: A method is provided method to evaluate impact of a change in code of a depended upon component of a system stored in a non-transitory computer readable storage device, upon a dependent component of the system, the method comprising: identifying a dependency relationship between a first component stored in a storage device and a second component stored in the storage device; in response to a determination that the second component depends upon the first component, configuring a computer system to obtain a first property evaluation corresponding to the first component; and in response to obtaining the first property evaluation corresponding to the first component, configuring the computer system to associate the first property evaluation with the second component, and determine a second property evaluation corresponding to the second component, is the second component being associated with the first property evaluation.Type: ApplicationFiled: May 11, 2015Publication date: November 5, 2015Inventors: Marat Boshernitsan, Andreas Kuehlmann, Scott McPeak, Philip Chong, Tobias Welp
-
Patent number: 9032376Abstract: A method is provided to evaluate impact of a change in code of a depended upon component of a system stored in a computer readable storage device, upon a dependent component of the system, the method comprising: identifying a dependency relationship between a first component stored in a computer readable storage device and a second component stored in the computer readable storage device; in response to a determination that the second component depends upon the first component, configuring a computer system to obtain a first property evaluation corresponding to the first component; and in response to obtaining the first property evaluation corresponding to the first component, configuring the computer system to associate the first property evaluation with the second component, and obtain a second property evaluation corresponding to the second component, wherein the second component is associated with the first property evaluation.Type: GrantFiled: September 26, 2013Date of Patent: May 12, 2015Assignee: Synopsys, Inc.Inventors: Marat Boshernitsan, Andreas Kuehlmann, Scott McPeak, Philip Chong, Tobias Welp
-
Publication number: 20150007140Abstract: A method is provided to prioritize testing of computer program code comprising: determining first test coverages of items within a first source code version for multiple tests; storing in a non-transitory storage device, a first history that indicates the determined first test coverages of the items within the first source code version; identifying occurrences of the items within a second source code version; determining first weights associated with tests, wherein a respective weight associated with a respective test is indicative of a respective number of respective items within the second source code version that are covered by the respective associated test according to the first history; and prioritizing the multiple respective tests based at least in part upon the determined first weights.Type: ApplicationFiled: September 26, 2013Publication date: January 1, 2015Applicant: Coverity, Inc.Inventors: Marat Boshernitsan, Andreas Kuehlmann
-
Publication number: 20140130020Abstract: A method is provided method to evaluate impact of a change in code of a depended upon component of a system stored in a non-transitory computer readable storage device, upon a dependent component of the system, the method comprising: identifying a dependency relationship between a first component stored in a storage device and a second component stored in the storage device; in response to a determination that the second component depends upon the first component, configuring a computer system to obtain a first property evaluation corresponding to the first component; and in response to obtaining the first property evaluation corresponding to the first component, configuring the computer system to associate the first property evaluation with the second component, and determine a second property evaluation corresponding to the second component, is the second component being associated with the first property evaluation.Type: ApplicationFiled: September 26, 2013Publication date: May 8, 2014Applicant: Coverity, Inc.Inventors: Marat Boshernitsan, Andreas Kuehlmann, Scott McPeak, Philip Chong, Tobias Welp
-
Publication number: 20140096113Abstract: A method is provided to evaluate tests of computer program code comprising: configuring a computer to produce, in a computer readable storage device, a code filter to indicate one or more respective portions of the computer program code to respectively either omit from or to include in a determination of adequacy of results; and comparing test results with the computer program code with the one or more respective portions filtered using the code filter to respectively either omit the respective portions from or include the respective portions in the determination as indicated by the code filter.Type: ApplicationFiled: March 15, 2013Publication date: April 3, 2014Inventors: Andreas Kuehlmann, Marat Boshernitsan
-
Patent number: 7127704Abstract: In response to programmer input of a trigger token, a program editor creates a pair of boundary tokens encapsulating an embedded lexical context and positions an insertion point within the embedded lexical context. The operations on the embedded lexical context are preferably performed using an embeddable sub-editor specialized to the task at hand. Since boundary tokens are generated in pairs, stability of lexical boundaries is enforced. Accordingly, stable implementations of certain desirable behaviors, including language-oriented advanced program typography that is robust to user edits, are facilitated using the invented techniques.Type: GrantFiled: August 27, 2001Date of Patent: October 24, 2006Assignee: Sun Microsystems, Inc.Inventors: Michael L. Van De Vanter, Marat Boshernitsan
-
Publication number: 20020100016Abstract: In response to programmer input of a trigger token, a program editor creates a pair of boundary tokens encapsulating an embedded lexical context and positions an insertion point within the embedded lexical context. The operations on the embedded lexical context are preferably performed using an embeddable sub-editor specialized to the task at hand. Since boundary tokens are generated in pairs, stability of lexical boundaries is enforced. Accordingly, stable implementations of certain desirable behaviors, including language-oriented advanced program typography that is robust to user edits, are facilitated using the invented techniques.Type: ApplicationFiled: August 27, 2001Publication date: July 25, 2002Applicant: Sun Microsystems, Inc.Inventors: Michael L. Van De Vanter, Marat Boshernitsan