Method and system for forming skeletons for generating verification systems
First Claim
Patent Images
1. A method for forming a skeleton tool usable for generating a test suite for a verification system for verifying a Procedure Interface Under Test (PIUT), the method comprising the steps of:
- decomposing existing test suites, the test suites having automatically generated components and manually developed components and being written in its test suite implementation language;
defining one or more standard schemes of procedure testing based on the decomposition of the test suites;
providing a skeleton description for each scheme in a skeleton definition language adapted to function as a directive for control of a transformation of the skeleton description into a skeleton tool; and
transforming the skeleton description for each scheme into a skeleton tool for generating the test suite of the scheme, wherein said transforming is controlled by said skeleton definition language.
6 Assignments
0 Petitions
Accused Products
Abstract
A verification system for a procedure interface is generated by using formal specifications of the procedure interface and generating test suites. The test suites are generated from the formal specifications and templates or skeletons which are used to generate an element of a verification system. The skeletons are generated based on decomposition of test suits.
91 Citations
25 Claims
-
1. A method for forming a skeleton tool usable for generating a test suite for a verification system for verifying a Procedure Interface Under Test (PIUT), the method comprising the steps of:
-
decomposing existing test suites, the test suites having automatically generated components and manually developed components and being written in its test suite implementation language;
defining one or more standard schemes of procedure testing based on the decomposition of the test suites;
providing a skeleton description for each scheme in a skeleton definition language adapted to function as a directive for control of a transformation of the skeleton description into a skeleton tool; and
transforming the skeleton description for each scheme into a skeleton tool for generating the test suite of the scheme, wherein said transforming is controlled by said skeleton definition language. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16)
-
-
17. A system for forming a skeleton tool usable for generating a test suite for a verification system for verifying a Procedure Interface Under Test (PIUT), the system comprising:
-
a decomposer for decomposing test suites, the test suites having automatically generated components and manually developed components and being written in its test suite implementation language, the decomposed test suites being used to define one or more standard schemes of procedure testing;
a skeleton describer for providing a skeleton description for each scheme in a skeleton definition language adapted to function as a directive for control of a transformation of the skeleton description into a skeleton tool; and
a skeleton transformer for transforming the skeleton description for each scheme into a skeleton tool for generating the test suite of the scheme, wherein the skeleton definition language controls the transforming. - View Dependent Claims (18, 19, 20, 21, 22)
-
-
23. A method for generating test suite sources for a verification system for verifying a Procedure Interface Under Test (PIUT), the method comprising steps of:
-
decomposing existing test suites, the test suites having automatically generated components and manually developed components and being written in its test suit implementation language;
defining one or more standard schemes of procedure testing based on the decomposition of the test suites;
providing a skeleton description for each scheme in a skeleton definition language adapted to function as a directive for control of a transformation of the skeleton description into a skeleton tool;
transforming the skeleton description for each scheme into a skeleton tool for generating the test suite of the scheme, wherein said transforming is controlled by said skeleton definition language;
generating a test suite template by executing the skeleton tool using a specification of the PIUT; and
filling the test suite template using manually written parts of the test suite to generate test suite sources. - View Dependent Claims (24)
-
-
25. A method for forming a skeleton tool usable for generating a test suite for a verification system for verifying a Procedure Interface Under Test (PIUT), the method comprising the steps of:
-
decomposing existing test suites, the test suites having automatically generated components and manually developed components and being written in its test suite implementation language;
defining one or more standard schemes of procedure testing based on the decomposition of the test suites;
providing a skeleton description for each scheme in a skeleton definition language adapted to function as a directive for control of a transformation of the skeleton description into a skeleton tool; and
transforming the skeleton description for each scheme into a skeleton tool for generating the test suite of the scheme, wherein said transforming is controlled by said skeleton definition language;
wherein;
the decomposing step includes;
a step of identifying an invariant test suite part written in the test suite implementation language; and
a step of identifying a manually-developed component of the test suite; and
the skeleton description providing step includes;
a step of creating an invariant test suite description based on the identified invariant test suite part; and
a step of creating a slot descriptor describing a slot for receiving a component corresponding to the identified manually-developed component of the test suite; and
the defining step includes;
a step of separating procedure testing into different types, each type corresponding to each standard scheme, based on dependency of parameters; and
a step of separating procedure testing into different types, each type corresponding to each standard scheme, based on sequences of testing of a group of procedures.
-
Specification