Patents by Inventor Michael Corning

Michael Corning 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).

  • Publication number: 20060184918
    Abstract: An exemplary computer-implementable method includes receiving a test specification document file for a software product wherein the test specification document file includes mark-up language, calling for storage of the test specification document file in a test database, parsing the mark-up language, creating test information for manual test variations based at least in part on the parsing of the mark-up language, outputting a list of at least some of the manual test variations, receiving manual test result information based on execution of at least one of the manual test variations on the software product and calling for storage of the manual test result information in the test database. Various other exemplary methods, devices, systems, etc., are also disclosed.
    Type: Application
    Filed: February 11, 2005
    Publication date: August 17, 2006
    Applicant: Microsoft Corporation
    Inventors: Steven Rosaria, Barry Webberlet, Michael Corning, Roger Porter, Glenn LaVigne
  • Publication number: 20060075305
    Abstract: Disclosed is a method for using source code to create the models used in model-based testing. After exploring the intended behavior of a software package, a test engineer writes source code to model that intended behavior. The source code is compiled into a model, and the model is automatically analyzed to generate numerous test scripts that can exercise the behavior of the software package. When the tests are run, their results are compared against intended behaviors, and discrepancies are used to correct the software package (or to correct the source-code model if it was prepared incorrectly). The model coding, test generation, test execution, and comparison steps are repeated as often as necessary to thoroughly test the software package. In some embodiments, the test scripts generated by the model are written in XML (Extensible Markup Language), allowing the easy integration of the test scripts with a number of XML-based tools.
    Type: Application
    Filed: October 1, 2004
    Publication date: April 6, 2006
    Applicant: Microsoft Corporation
    Inventors: Henry Robinson, Michael Corning