Abstract: This invention provides a method, computer program and system for updating of a model of a system under test for use in model-based testing. In one embodiment, the system includes a rules engine, a comparator and a message dictionary. The rules engine runs an action against the system under test and runs the action against a model under test. The comparator compares an output from the system under test with a corresponding output from the model under test, wherein the output from the model under test is selected from one of a plurality of output message records. The dictionary engine updates the output message record by changing the message record if the output of the model under test is different from the output of the system under test. If the output message record is empty, the dictionary engine adds an output message record based on the system under test.

Abstract: This invention provides a method, computer program and system for updating of a model of a system under test for use in model-based testing. In one embodiment, the system includes a rules engine, a comparator and a message dictionary. The rules engine runs an action against the system under test and runs the action against a model under test. The comparator compares an output from the system under test with a corresponding output from the model under test, wherein the output from the model under test is selected from one of a plurality of output message records. The dictionary engine updates the output message record by changing the message record if the output of the model under test is different from the output of the system under test. If the output message record is empty, the dictionary engine adds an output message record based on the system under test.

Abstract: This invention provides a method, computer program and system for updating a model of a system under test for use in model-based testing. In one embodiment, the system includes a rules engine, a comparator and a message dictionary. The rules engine runs an action against the system under test and runs the action against a model under test. The comparator compares an output from the system under test with a corresponding output from the model under test, wherein the output from the model under test is selected from one of a plurality of output message records. The dictionary engine updates the output message record by changing the message record if the output of the model under test is different from the output of the system under test. If the output message record is empty, the dictionary engine adds an output message record based on the system under test.

Abstract: A method and system are provided for testing a graphical user (GUI) (204). The method includes applying a test step (208, 222) to a GUI under test (204) and finding a control in the GUI under test (204) to which the test step is to be applied. A model (210) is built dynamically of representations of the contents of the GUI under test (204) as a new control is found. The method includes finding a collection of dependent controls and representing the collection of controls in the GUI model (210) as a generalised pattern of the controls. The method applies a test step to the model (210) simultaneously with the GUI under test (204) and compares the results of the test step from the GUI under test (204) and from the model (210). If a test step is applied to the model and it is determined that a representation of the control to which the test step is to be applied is not provided in the model (210), a building rule (212) is executed to add a representation of the control to the model (210).

Abstract: A method and system are provided for testing a graphical user interface (GUI). The method includes providing a pattern of a collection of generalized interface object types, searching an interface or a model of an interface for instances of collections of interface objects matching the pattern, and identifying a control provided by the interface represented by the collection of interface object types and its location in the interface hierarchy. A pattern includes a first generalized object type and a second generalized object type with a specified relative position in the interface to the first object type.

Abstract: A method and apparatus for concurrency testing within a model-based testing environment is provided. One implementation involves concurrency testing within a model-based software system testing environment, by receiving concurrent test service requests; duplicating a model representing software under test, based on the number of requests; sending the concurrent requests to each of the duplicated models sequentially but in different orders; storing the outcomes of each of the models; comparing the outcomes from the models to the outcome from the software system under test; and if all comparisons fail, then indicating test failure.

Abstract: This invention provides a method, computer program and system for updating of a model of a system under test for use in model-based testing. In one embodiment, the system includes a rules engine, a comparator and a message dictionary. The rules engine runs an action against the system under test and runs the action against a model under test. The comparator compares an output from the system under test with a corresponding output from the model under test, wherein the output from the model under test is selected from one of a plurality of output message records. The dictionary engine updates the output message record by changing the message record if the output of the model under test is different from the output of the system under test. If the output message record is empty, the dictionary engine adds an output message record based on the system under test.

Abstract: A method and system are provided for testing a graphical user (GUI) (204). The method includes providing a pattern (230) of a collection of generalised interface object types and searching an interface (204) or a model (210) of an interface for instances of collections of interface objects matching the pattern (230). Identifying a control provided by the interface (204) represented by the collection of interface object types and its location in the interface hierarchy. A pattern (230) includes a first generalised object type and a second generalised object type with a specified relative position in the interface (204) to the first object type.

Abstract: A method and system are provided for testing a graphical user (GUI) (204). The method includes applying a test step (208, 222) to a GUI under test (204) and finding a control in the GUI under test (204) to which the test step is to be applied. A model (210) is built dynamically of representations of the contents of the GUI under test (204) as a new control is found. The method includes finding a collection of dependent controls and representing the collection of controls in the GUI model (210) as a generalised pattern of the controls. The method applies a test step to the model (210) simultaneously with the GUI under test (204) and compares the results of the test step from the GUI under test (204) and from the model (210). If a test step is applied to the model and it is determined that a representation of the control to which the test step is to be applied is not provided in the model (210), a building rule (212) is executed to add a representation of the control to the model (210).

Abstract: A system for recording for reuse, at least one test event and at least one associated response. A testing program sends one or more test events (e.g. button click) to a component (e.g. a web browser software application) and receives an associated response from the component (e.g. associated button is clicked). A tracing program stores test events and responses in a trace file and an analyser program analyses the file and creates “situations” of test events and associated responses. If required, the situations are further processed by an extractor program, which extracts surplus test events that are not required in order to produce an associated response. This extracting process produces a minimum set of test events, and the minimum sets and associated response are stored for reuse.