1. A method for testing a computer code including contracts, the method comprising:
analyzing the contracts included in the computer code;
combining information from the computer code and information from analyzed contracts to create relevant inputs for unit test cases;
executing the unit test cases with the generated relevant inputs; and
suppressing expected errors based on the analyzed contract information.
2. The method of claim 1, wherein the computer code comprises JAVA programming language.
3. The method of claim 1, wherein the computer code comprises Java Server Pages programming language.
4. The method of claim 1, further comprising reporting any violation in functioning of the contracts on a display monitor.
5. The method of claim 1, further comprising altering program execution when a violation in functioning of the contracts is found.
6. The method of claim 1, further comprising automatically generating the unit test cases.
7. The method of claim 6, wherein automatically generating unit test cases comprises generating automatic stubs.
8. The method of claim 1, further comprising regression testing of the computer code.
9. The method of claim 8, wherein the regression testing step comprises:
determining first outcomes for the generated unit test cases;
re-executing the generated unit test cases;
determining second outcomes for the re-tested unit test cases;
checking the second outcomes against the first outcomes; and
reporting a regression error when the second outcomes do not match the first outcomes.
10. The method of claim 1, further comprising storing the generated test cases for future use.
11. The method of claim 1, further comprising a graphical user interface (GUI) for accepting user’s input.
12. The method of claim 11, further comprising reporting any violation in functioning of the contracts in the GUI.
13. The method of claim 11, wherein reporting any violation comprises reporting only the portion of the computer code that violates proper functioning of the contracts.
14. The method of claim 1, wherein the computer code includes a plurality of classes and components, and further comprising:
verifying proper functioning of the plurality of classes and components
compiling the verified plurality of classes and components;
responsive to the analyzing contracts, generating a second plurality of classes each with extra bytecodes that describe how the respective class is expected to function;
integrating the second plurality of classes with a system under test;
executing the system under test;
monitoring the system under test while being executed; and
detecting any contract violation of the integrated plurality of classes.
15. The method of claim 1, wherein the computer code is source code.
16. A method for testing a class in a computer code including software contracts, the method comprising:
analyzing contract information of the computer code;
automatically generating stubs to cover permissible branches of the contracts included in the computer code responsive to the analyzed contract information;
instrumenting the class with the generated stubs;
executing the computer code with the instrumented class; and
suppressing expected errors responsive to the analyzed contract information.
17. The method of claim 16, further comprising altering the computer code execution if any violation in functioning of the class is found.
18. A computer readable storage medium having stored thereon a set of instructions including instructions for testing a computer code including software contracts, the instructions, when executed by a computer, cause the computer to perform the steps of:
analyzing the contracts included in the computer code;
combining information from the computer code and information from analyzed contracts to create relevant inputs for unit test cases;
executing the unit test cases with the generated relevant inputs; and
suppressing expected errors based on the analyzed contract information.
19. The computer readable medium of claim 18, wherein the computer code is source code.
20. The computer readable medium of claim 18, further including instructions for automatically generating the unit tests including stubs.
The claims below are in addition to those above.
All refrences to claim(s) which appear below refer to the numbering after this setence.
1. A convertible with a top that can be opened and stowed, the top comprising:
a rear window frame and at least two surface bows disposed in front of said rear window frame in a direction of travel of the convertible when the top is closed;
said at least two surface bows including a first surface bow and a second surface bow disposed between said first surface bow;
said rear window frame and said at least two surface bows, when the top is closed, forming a continuous roof contour together with said rear window frame; and
a coupling linkage for effecting a relative movement of said surface bows with respect to said rear window frame, said coupling linkage being configured to effect, at a beginning of opening the top, movement of said second surface bow downward relative to said first surface bow and relative to said rear window frame out of the roof contour, said coupling linkage having a displacement device for an active relative movement of said second surface bow with respect to said rear window frame and said first surface bow.
2. The convertible according to claim 1, wherein said displacement device has a piston-cylinder unit.
3. The convertible according to claim 1, wherein:
said coupling linkage has a triple-jointed bar with one end mounted rotatably on a rear end of said second surface bow and another end mounted rotatably on said coupling member;
said coupling linkage has an articulated plate rotatably mounted at a front end of said second surface bow and rotatably mounted on said coupling member; and
a connecting member has one end articulated at a toggle joint of said triple-jointed bar and another end articulated manner at said articulated plate.
4. The convertible according to claim 3, wherein said connecting member and said displacement device are articulated at a common point at said articulated plate.
5. The convertible according to claim 3, wherein said displacement device and said triple-jointed bar are articulated at a common point at said coupling member.
6. The convertible according to claim 3, wherein:
said connecting member and said displacement device are articulated at a common point at said articulated plate; and
said displacement device and said triple-jointed bar are articulated at a common point at said coupling member.