Patents Assigned to CERTESS
  • Publication number: 20070266351
    Abstract: The invention relates to a method and system for evaluating computer program tests by means of mutation analysis. The inventive method comprises the execution (F7) of mutated programs (Pj) with the insertion (F1) of mutations (Mj) and the identification (F12) of mutated programs (Pj) which, with a pre-determined test (Tk), provide a result (RTkj) identical to a pre-determined result (RTkD). A series (Uj) of relevant tests is selected (F4) for each mutation (Mj) from a plurality of tests (Tk). A mutation (Mj) ranking system (Cm) can be determined (F6) with the application (F6) of at least a first simplicity criterion to the selected series (Uj) of tests. The mutated programs (Pj) are subsequently executed (F7) according to the mutation (Mj) ranking (Cm) order. Each mutated program (Pj) is executed with the tests (Tk) from the associated series (Uj) of tests. In addition, the method can comprise the programming and activation of a programmable circuit.
    Type: Application
    Filed: July 12, 2005
    Publication date: November 15, 2007
    Applicant: CERTESS
    Inventor: Mark Hampton