Patents by Inventor Michael L. Fredman

Michael L. Fredman 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 automatically generating efficient test cases for systems having interacting elements
    Patent number: 5542043
    Abstract: Our method and system for enumerating a minimal number of test cases for systems with interacting elements operates relationships between the elements and the number of characteristics evaluated for each element. In our inventive method as executed in a computer system, the user enters values for each of the elements and then defines relationships between the elements. Our method then enumerates a table of test cases for each relationship between elements using deterministic procedures, when applicable, and random procedures when the deterministic procedures are not applicable. After a table of test cases is generated for each of the relation, our inventive method combines relationships into a single table of test cases.
    Type: Grant
    Filed: October 11, 1994
    Date of Patent: July 30, 1996
    Assignee: Bell Communications Research, Inc.
    Inventors: David M. Cohen, Siddhartha R. Dalal, Michael L. Fredman, Gardner C. Patton