program executing actions when a category among a predefined set of categories is
activated, a method is disclosed for automatically verifying the performance of said program,
the steps of said method comprising: specifying inputs under which the program should be
tested; associating said inputs with conditions within categories in the program, each said
condition comprising at least one response which could be given if said condition is …