Method for automatically creating a behavior pattern of a computer program for model-based testing techniques

A server for creating a behavior pattern of a computer program, the server comprising:

• a storage that holds a computer program comprising at least one source code with a plurality of program operations arranged in a logical succession, the computer program comprising a web service and the program operations comprising web service operations, wherein the server performs the operations of:
• analyzing the computer program;
• inferring annotations based on the analysis to define inferred annotations, each inferred annotation referencing at least one of the web service operations, the storage holding the inferred annotations;
• adding the inferred annotations to the computer program to define an annotated computer program;
• and
• a modeling tool configured to automatically read the inferred annotations and generate a dynamic state chart diagram of the annotated computer program based on the inferred annotations by arranging the inferred annotations according to the logical succession of the program operations, the dynamic state chart diagram representing the behavior pattern and being configured to be represented using a representing unit.

A network system comprising:

• a storage that holds a web service comprising at least one source code with a plurality of web service operations arranged in a logical succession, wherein the server performs the operations of:
• analyzing the web service;
• inferring annotations based on the analysis to define inferred annotations, each inferred annotation referencing at least one of the web service operations, the storage holding the inferred annotations;
• adding the inferred annotations to the web service to define an annotated web service;
• and
• a modeling tool running on a processing unit and configured to automatically read the inferred annotations and generate a dynamic state chart diagram of the annotated web service based on the inferred annotations by arranging the inferred annotations according to the logical succession of the web service operations, the dynamic state chart diagram representing behavior pattern and being configured to be represented using a representing unit.

A computer program product tangibly embodied in a non-transitory computer-readable storage medium and comprising instructions that when executed by a processor perform a method for creating a dynamic state chart diagram of a computer program, the method comprising:

• analyzing a computer program comprising at least one source code with a plurality of program operations arranged in a logical succession, the computer program comprising a web service and the program operations comprising web service operations;
• inferring annotations based on the analysis to define inferred annotations, each inferred annotation referencing at least one of the web service operations;
• adding the inferred annotations to the computer program to define an annotated computer program;
• reading the inferred annotations in the annotated computer program;
• generating a dynamic state chart diagram of the annotated computer program based on the inferred annotations by arranging the inferred annotations according to the logical succession of the program operations;
• and
• providing the dynamic state chart diagram to a representing unit, the dynamic state chart diagram representing the behavior pattern and being configured to be represented using the representing unit.