Introduction - If you have any usage issues, please Google them yourself
First, the experimental subjects: Formal test procedures derived 4
Second, experimental elements:
(1) According to a given problem, the establishment of pre-and post-predicate predicate.
(2) Derivation of conditional statements in accordance with the strategy, the establishment of procedures for the conditional statements.
(3) loop invariant structure, the establishment of community function.
(4) According to the derived loop strategy, the establishment of procedures for the circulation statement.
(5) goal-oriented, back to the process.
Third, the experiment was
Derivation of conditional statements in accordance with the strategy and the derived loop strategy, based on the concept of the weakest pre-conditions, a more formal way, from design requirements to achieve a step-by-step procedures derived.
Fourth, the experimental requirements:
The use of C++, the preparation of a program to achieve the factorial N.
Design of the use of loop invariants.