https://mediawiki.zeropage.org/index.php?action=history&feed=atom&title=ProgrammingPearls%2FColumn4 2026-05-15T06:20:47Z Revision history for this page on the wiki MediaWiki 1.39.8 https://mediawiki.zeropage.org/index.php?title=ProgrammingPearls/Column4&diff=37616&oldid=prev 2021-02-07T05:24:03Z

<p></p> <p><b>New page</b></p><div>__TOC__<br /> <br /> == Writing Correct Programms ==<br /> * For writing correct programms.<br /> ** Problem Definition.<br /> ** Algorithm Design.<br /> ** Data Structure Selection.<br /> <br /> === The shallange of binary search ===<br /> * 100명의 프로페셔널 프로그래머들에게 Binary search를 짜보라고 시켰다. 결과는? 90퍼센트의 사람은 버그 있는 Binary search를 짰다고 한다.<br /> * 이 칼럼의 이야기는 여기서부터 이어져 나간다.<br /> <br /> === Writing the Program ===<br /> * 그냥 Binary search 만들어 가는 과정을 보여주고 있다.<br /> <br /> === Understanding the Program ===<br /> * 프로그램의 correctness를 판별하기 위해, 프로그램의 중간중간에 assert를 집어넣고 있다.<br /> * Loop에서의 correctness<br /> ** Initialization<br /> ** Preservation<br /> ** Termintion<br /> * 프로그램을 한줄한줄씩 따라 내려가면서 Loop에서는 위의 원칙을 적용해 corret한가를 검사하고 있다.<br /> <br /> === Principles ===<br /> * Verification을 위한 general한 principles을 제공하고 있다.<br /> ** Assertions : 입력, 변수, 출력간의 관계는 프로그램의 상태를 묘사해준다. assertion은 그들의 관계를 정확히 말해준다.<br /> ** Sequential Control Structures : 이 문장 다음에 저 문장. 그 사이에 assertion을 집어넣는다. 그럼 프로그램 문장 하나하나의 각각의 진행상황을 체크할수가 있다.<br /> ** Selection Control Structures : 조건문에서 쓰인다. 각각의 조건마다, 확실히 맞다는 assertion을 집어넣어준다.<br /> ** Iteration Control Structures : 위에서도 말했듯이, 초기화, 유지, 종료조건이 확실한가를 체크해야한다.<br /> ** Functions : precondition - 함수 시작 전에 보장되어야 할 조건 -과 postcondition - 함수 끝날때에 보장되어야 할 조건 -을 명시해준다.(...) 이러한 방법을 &quot;Programming by contract&quot;라 한다.<br /> <br /> === The Roles of Program Verification ===<br /> * 가장 많이 쓰는 verification방법은 Test Case이다.<br /> * &#039;&#039;&#039;코드를 간결하게 유지하는 것은 대개 correctness의 열쇠가 된다.&#039;&#039;&#039;<br /> <br /> ----<br /> [[ProgrammingPearls]]<br /> </div>

imported>Unknown