Claims Analysis
Total Claims: 25
Claim 1
Independent Claim
162 words
A method of functionally testing distributed, component-based software comprising the steps of: modeling dynamic behavior of a plurality of components using a plurality of Unified Modeling Language-based state machine representations; creating a plurality of normalized Unified Modeling Language-based state machine representations by converting the Unified Modeling Language based state machine representations into a normalized representation; creating a global behavioral model by combining the normalized Unified Modeling Language based state machine representations; mapping the global behavioral model to a Test Specification Language (TSL) test design; processing the Test Specification Language test design in a Test Design Environment to produce a plurality of Interface Test Language (ITL) test cases; mapping the ITL test cases to object-oriented code using an ITL compiler; generating a plurality of sink objects defined in an IDL file using a sink generator; and generating an executable test driver including a plurality of executable test cases using code from a test harness library and the object-oriented code using an object-oriented compiler.
Claim 2
Independent Claim
162 words
A method of functionally testing distributed, component-based software comprising the steps of: modeling dynamic behavior of a plurality of components using a plurality of Unified Modeling Language-based state machine representations; creating a plurality of normalized Unified Modeling Language-based state machine representations by converting the Unified Modeling Language based state machine representations into a normalized representation; creating a global behavioral model by combining the normalized Unified Modeling Language based state machine representations; mapping the global behavioral model to a Test Specification Language (TSL) test design; processing the Test Specification Language test design in a Test Design Environment to produce a plurality of Interface Test Language (ITL) test cases; mapping the ITL test cases to object-oriented code using an ITL compiler; generating a plurality of sink objects defined in an IDL file using a sink generator; and generating an executable test driver including a plurality of executable test cases using code from a test harness library and the object-oriented code using an object-oriented compiler.
Claim 3
Dependent Claim
20 words
The method of claim 1 , further comprising the step of executing the test cases with a test control center.
Claim 4
Dependent Claim
36 words
The method of claim 1 , wherein the Unified Modeling Language-based state machine representation includes a plurality of states and transitions for defining all possible states and changes of state a component achieves during its lifetime.
Claim 5
Dependent Claim
32 words
The method of claim 1 , wherein the normalized Unified Modeling Language-based state machine representation includes a Unified Modeling Language-based state machine representation having one send event or receive event per transition.
Claim 6
Dependent Claim
24 words
The method of claim 1 , wherein the normalized Unified Modeling Language-based state machine representation is defined using an enhanced Unified Modeling Language notation.
Claim 7
Dependent Claim
37 words
The method of claim 1 , further comprising the step of defining one or more subsystems including components, by a user to specify an order in which components are to be combined in the global behavioral model.
Claim 8
Dependent Claim
25 words
The method of claim 1 , wherein the global behavioral model is composed by applying an enhanced version of an incremental composition and reduction algorithm.
Claim 9
Independent Claim
157 words
A system for functionally testing distributed, component-based software, comprising: a plurality of normalized Unified Modeling Language-based state machine representations constructed by converting a plurality of components modeled by a plurality of Unified Modeling Language-based state machine representations into a normalized representation; a global behavioral model constructed by combining the normalized Unified Modeling Language based state machine representations, the global behavioral model being mapped to a Test Specification Language (TSL) test design; means for processing the Test Specification Language test design in a Test Design Environment to produce a plurality of Interface Test Language (ITL) test cases; means for mapping the ITL test cases to object-oriented code using an ITL compiler; means for generating a plurality of sink objects defined in an IDL file using a sink generator; and means for generating an executable test driver including a plurality of executable test cases using code from a test harness library and the object-oriented code using a object-oriented compiler.
Claim 10
Independent Claim
157 words
A system for functionally testing distributed, component-based software, comprising: a plurality of normalized Unified Modeling Language-based state machine representations constructed by converting a plurality of components modeled by a plurality of Unified Modeling Language-based state machine representations into a normalized representation; a global behavioral model constructed by combining the normalized Unified Modeling Language based state machine representations, the global behavioral model being mapped to a Test Specification Language (TSL) test design; means for processing the Test Specification Language test design in a Test Design Environment to produce a plurality of Interface Test Language (ITL) test cases; means for mapping the ITL test cases to object-oriented code using an ITL compiler; means for generating a plurality of sink objects defined in an IDL file using a sink generator; and means for generating an executable test driver including a plurality of executable test cases using code from a test harness library and the object-oriented code using a object-oriented compiler.
Claim 11
Dependent Claim
17 words
The system of claim 8 , further comprising a test control center for executing the test cases.
Claim 12
Dependent Claim
36 words
The system of claim 8 , wherein the Unified Modeling Language-based state machine representation includes a plurality of states and transitions for defining all possible states and changes of state a component achieves during its lifetime.
Claim 13
Dependent Claim
32 words
The system of claim 8 , wherein the normalized Unified Modeling Language-based state machine representation includes a Unified Modeling Language-based state machine representation having one send event or receive event per transition.
Claim 14
Dependent Claim
24 words
The system of claim 8 , wherein the normalized Unified Modeling Language-based state machine representation is defined using an enhanced Unified Modeling Language notation.
Claim 15
Dependent Claim
34 words
The system of claim 8 , further comprising one or more subsystems including components defined by a user to specify an order in which components are to be combined in the global behavioral model.
Claim 16
Dependent Claim
25 words
The system of claim 8 , wherein the global behavioral model is composed by applying an enhanced version of an incremental composition and reduction algorithm.
Claim 17
Dependent Claim
24 words
The system of claim 8 , wherein the test driver includes one or more sink objects for receiving responses from the component under test.
Claim 18
Dependent Claim
182 words
A program storage device readable by machine, tangibly embodying a program of instructions executable by the machine to perform method steps for functionally testing distributed, component-based software , the method steps comprising: modeling dynamic behavior of a plurality of components using a plurality of Unified Modeling Language-based state machine representations; creating a plurality of normalized Unified Modeling Language-based state machine representations by converting the Unified Modeling Language based state machine representations into a normalized representation; creating a global behavioral model by combining the normalized Unified Modeling Language based state machine representations; mapping the global behavioral model to a Test Specification Language (TSL) test design; processing the Test Specification Language test design in a Test Design Environment to produce a plurality of Interface Test Language (ITL) test cases; mapping the ITL test cases to object-oriented code using an ITL compiler; generating a plurality of sink objects defined in an IDL file using a sink generator; and generating an executable test driver including a plurality of executable test cases using code from a test harness library and the object-oriented code using a object-oriented compiler.
Claim 19
Dependent Claim
182 words
A program storage device readable by machine, tangibly embodying a program of instructions executable by the machine to perform method steps for functionally testing distributed, component-based software , the method steps comprising: modeling dynamic behavior of a plurality of components using a plurality of Unified Modeling Language-based state machine representations; creating a plurality of normalized Unified Modeling Language-based state machine representations by converting the Unified Modeling Language based state machine representations into a normalized representation; creating a global behavioral model by combining the normalized Unified Modeling Language based state machine representations; mapping the global behavioral model to a Test Specification Language (TSL) test design; processing the Test Specification Language test design in a Test Design Environment to produce a plurality of Interface Test Language (ITL) test cases; mapping the ITL test cases to object-oriented code using an ITL compiler; generating a plurality of sink objects defined in an IDL file using a sink generator; and generating an executable test driver including a plurality of executable test cases using code from a test harness library and the object-oriented code using a object-oriented compiler.
Claim 20
Dependent Claim
22 words
The program storage device of claim 16 , further comprising the step of executing the test cases with a test control center.
Claim 21
Dependent Claim
38 words
The program storage device of claim 16 , wherein the Unified Modeling Language-based state machine representation includes a plurality of states and transitions for defining all possible states and changes of state a component achieves during its lifetime.
Claim 22
Dependent Claim
34 words
The program storage device of claim 16 , wherein the normalized Unified Modeling Language-based state machine representation includes a Unified Modeling Language-based state machine representation having one send event or receive event per transition.
Claim 23
Dependent Claim
26 words
The program storage device of claim 16 , wherein the normalized Unified Modeling Language-based state machine representation is defined using an enhanced Unified Modeling Language notation.
Claim 24
Dependent Claim
39 words
The program storage device of claim 16 , further comprising the step of defining one or more subsystems including components, by a user to specify an order in which components are to be combined in the global behavioral model.
Claim 25
Dependent Claim
27 words
The program storage device of claim 16 , wherein the global behavioral model is composed by applying an enhanced version of an incremental composition and reduction algorithm.