Abstract: A system for testing middleware of applications in the N-tiered model. The test system contains test code generators, test engines to execute multiple copies of the test code and a data analyzer to analyze and present the results to a human user. The system is able to automatically generate test code to exercise components of the middleware using information about these components that would otherwise be available to the application under test. Multiple copies of the test code are executed in a synchronized fashion. Execution times of multiple events are recorded and then presented in one of several formats. With the system, an application developer can identify components that represent performance bottlenecks or can gather information on deployment properties of individual components that can be used to enhance the performance of the application under test.

Abstract: A method of using a computer to analyze an extended finite state machine model of a system includes receiving at least one requirement expression, determining at least one path of states and transitions through the model, evaluating at least one of the requirement expressions based on at least one of the determined paths through the model to determine whether the path satisfies the requirement expression, and generating a report based on the evaluating.

Abstract: The present invention provides a method to automate the validation of dynamic data presented over telecommunications paths. The invention utilizes continuous speaker-independent speech recognition together with a process known generally as natural language recognition to reduce dynamic utterances to machine encoded text without requiring a prior training phase. Further, when configured by the end user to do so, the test system will convert common examples of dynamic speech, such as numbers, dates, times, and currency utterances into their usual textual representation. This eliminates the limitation that all tested utterances need to be known by the test system in advance of the test. By converting the dynamic utterances to machine encoded text, the invention facilitates automated validation of the data so converted, by allowing its use as input into an automated system which can indepent source of the dynamic data and access an validate the data.