Programming Pearls/Column4

Contents

1. Writing Correct Programms

1.1. The shallange of binary search
1.2. Writing the Program
1.3. Understanding the Program
1.4. Principles
1.5. The Roles of Program Verification

1. Writing Correct Programms ¶

For writing correct programms.
- Problem Definition.
- Algorithm Design.
- Data Structure Selection.

1.1. The shallange of binary search ¶

100�� 페�� Binary search�� . ��? 90��트�� Binary search�� 한��.
�� .

1.2. Writing the Program ¶

�� Binary search �� .

1.3. Understanding the Program ¶

�� correctness�� 판��하�� 해, �� assert�� .
Loop�� correctness
- Initialization
- Preservation
- Termintion
�� 한��한�� Loop�� 해 corret한�� 하�� .

1.4. Principles ¶

Verification�� 한 general한 principles�� 하�� .
- Assertions : ��, ��, �� 태�� 해��. assertion�� 확히 ��해��.
- Sequential Control Structures : �� . �� assertion�� . �� 하��하�� 행��황�� 크할�� .
- Selection Control Structures : �� . �� , 확��히 �� assertion�� .
- Iteration Control Structures : �� 했��, ��화, ��, �� 확��한�� 크해��한��.
- Functions : precondition - 함�� 할 �� -�� postcondition - 함�� 할 �� -�� 해��.(...) ��한 �� "Programming by contract"�� 한��.

1.5. The Roles of Program Verification ¶

�� verification�� Test Case��.
�� 하�� 하�� correctness�� .

ProgrammingPearls

last modified 2021-02-07 05:24:03
Processing time 0.0135 sec