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:
Sep. 12, 2023
Filed:
Mar. 07, 2019
Mitsubishi Electric Corporation, Tokyo, JP;
MITSUBISHI ELECTRIC CORPORATION, Tokyo, JP;
Abstract
A method () to generate test suite for a source-code (). The method comprises: a) implementing a structural analysis () of said source-code () to obtain a completed source-code () including: —parsing the source-code, —addition of annotations defining tests objectives, —generation of stubs; b) implementing at least one semantic analysis algorithm including categorizing each set of tests objectives as satisfied, impossible to satisfy or unsatisfied; c) feeding a first list () with satisfied test cases; d) feeding a second list () with test objectives impossible to satisfy, e) implementing at least one mathematical optimization algorithm () on parts corresponding to unsatisfied test objectives; —identifying test cases () that satisfy at least a part of said test objectives, —feeding said first list of set of test cases with them, —categorizing said test objectives as satisfied; f) providing a test suite comprising the two lists.