Patents by Inventor Alexander S. Kossatchev

Alexander S. Kossatchev 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 and system for forming skeletons for generating verification systems
    Patent number: 6898784
    Abstract: A verification system for a procedure interface is generated by using formal specifications of the procedure interface and generating test suites. The test suites are generated from the formal specifications and templates or skeletons which are used to generate an element of a verification system. The skeletons are generated based on decomposition of test suits.
    Type: Grant
    Filed: September 15, 2000
    Date of Patent: May 24, 2005
    Assignee: Nortel Networks Limited
    Inventors: Alexander S. Kossatchev, Alexei V. Barancev, Igor B. Burdonov, Alexei V. Demakov, Alexander K. Petrenko, Harry M. Sumar, Dmitri Galter
  • Method and system for testing behavior of procedures
    Patent number: 6698012
    Abstract: A systematic testing method of procedures is disclosed. The testing is carried out for parallel procedures separately from consecutive procedures which have no parallelism. Behavior of a group of parallel procedures to be tested in a parallel mode is specified. Based on the behavior, the group of procedures is tested using models of correct parallel behavior.
    Type: Grant
    Filed: September 15, 2000
    Date of Patent: February 24, 2004
    Assignee: Nortel Networks Limited
    Inventors: Alexander S. Kossatchev, Alexei V. Barancev, Igor B. Burdonov, Alexander K. Petrenko, Dmitri Galter
  • Method and system for describing predicates in disjuncts in procedures for test coverage estimation
    Patent number: 6697961
    Abstract: To estimate test coverage of procedure testing with functional specification of a procedure, predicates in functional branches in the procedure are described as logic expressions. The logic expressions of predicates are added to logic expressions of pre-condition of the procedure. Based on the logic expressions, functions of the functional specification of the procedure are generated and coverage during the procedure testing is estimated. In an embodiment, Disjunct Normal Form (DNF) is generated using short logic which omits calculation of an operand when another operand defines the result of the calculation. In another embodiment, Full Disjunct Normal Form (FDNF) is generated using three-sign logic.
    Type: Grant
    Filed: September 15, 2000
    Date of Patent: February 24, 2004
    Assignee: Nortel Networks Limited
    Inventors: Alexander K. Petrenko, Igor B. Burdonov, Alexander S. Kossatchev, Andrei V. Maximov, Juri L. Sazanov, Harry M. Sumar, Dmitri Galter