Patents by Inventor Andrew P. Silverman

Andrew P. Silverman 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).

  • Patent number: 5313616
    Abstract: A method for verifying the conformance of an application program to a set of system rules characterized by the development of a conformance database, the performance of a static analysis of the application program to determine whether the application program is in static conformance with the conformance database and the performance of a dynamic analysis of the application program to determine whether the application program is in dynamic conformance with the conformance database. The static analysis produces a graph of the basic blocks of the application program and analyzes the graph for conformance to system rules, dead code and coverage metrics. The dynamic analysis adds a small amount of monitoring code into an executable application program which monitors the application program as it is exercised in a test harness. The monitoring code produces a log database which can be analyzed for run-time non-conformities of the application program.
    Type: Grant
    Filed: September 18, 1990
    Date of Patent: May 17, 1994
    Assignee: 88Open Consortium, Ltd.
    Inventors: David C. Cline, Andrew P. Silverman, Farrell W. Wymore