The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
May. 11, 2021
Filed:
Dec. 06, 2017
International Business Machines Corporation, Armonk, NY (US);
Howard Hess, Winnetka, IL (US);
Eitan Farchi, Pardes Hana, IL;
Orna Raz, Haifa, IL;
Rachel Tzoref-Brill, Haifa, IL;
Aviad Zlotnick, Mitzpeh Netofah, IL;
International Business Machines Corporation, Armonk, NY (US);
Abstract
A method, system and computer program product, the method comprising: receiving a user document describing at least a part of a system to be tested; computing a similarity measurement between the user document and documents in a document corpus, each describing at least part of a system and associated with a combinatorial model representing the at least part of the system, wherein the combinatorial model comprises a set of attributes, a respective domain for each attribute defining possible values for the attribute, and restrictions, wherein each restriction comprises at least one attribute, a respective value and a logical operator, based upon the similarity measurement, selecting selected documents from the document corpus; obtaining one or more combinatorial models corresponding to the selected documents; selecting elements from the combinatorial models; generating an initial combinatorial model for the user document, wherein said generating comprises adding the elements to the initial combinatorial model.