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.0123 sec