Patents by Inventor Mounib Mekhilef

Mounib Mekhilef 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).

  • Method of automatically formulating test cases for verifying at least part of a piece of software
    Patent number: 8612171
    Abstract: A method of automatic formulation by a computer of test cases for verifying at least one function of a piece of software in relation to a specification including requirements relating input values and output values of the software, the method including the steps of: distinguishing combinatorial requirements and sequential requirements; modeling combinatorial requirements by a truth table and sequential requirements by a finite state machine to obtain a modeled specification; establishing an operation matrix relating the input values of the software with a probability of them being in succession and a transition time between them; selecting the successions of input values to be tested by performing a Monte Carlo draw on the operation matrix; determining a test case including test rows relating each selected succession with the output values expected given the modeled specification; stopping the determination process when the test case being determined makes it possible to reach a predetermined threshold for
    Type: Grant
    Filed: May 19, 2009
    Date of Patent: December 17, 2013
    Assignee: Johnson Controls Technology Company
    Inventors: Roy Awedikian, Bernard Yannou, Philippe Lebreton, Line Bouclier, Mounib Mekhilef
  • METHOD OF AUTOMATICALLY FORMULATING TEST CASES FOR VERIFYING AT LEAST PART OF A PIECE OF SOFTWARE
    Publication number: 20110184689
    Abstract: A method of automatic formulation by a computer of test cases for verifying at least one function of a piece of software in relation to a specification including requirements relating input values and output values of the software, the method including the steps of: distinguishing combinatorial requirements and sequential requirements; modeling combinatorial requirements by a truth table and sequential requirements by a finite state machine to obtain a modeled specification; establishing an operation matrix relating the input values of the software with a probability of them being in succession and a transition time between them; selecting the successions of input values to be tested by performing a Monte Carlo draw on the operation matrix; determining a test case including test rows relating each selected succession with the output values expected given the modeled specification; stopping the determination process when the test case being determined makes it possible to reach a predetermined threshold for
    Type: Application
    Filed: May 19, 2009
    Publication date: July 28, 2011
    Inventors: Roy Awedikian, Bernard Yannou, Philippe Lebreton, Line Bouclier, Mounib Mekhilef