[김도형]

안녕하세요, 수강생 여러분.

숙제 5 채점이 완료되었습니다. 이의제기는 다음주 화요일(12/12)까지 받습니다.

(수정: 현재 이의제기를 반영하여 점수가 수정되었습니다.)

채점 기준은 한 문제당 10점 만점으로, 나머지로 1129를 가질 수 있는 변수들이 올바르게 포함되었느냐입니다. (테스트케이스 아래 주석은 해당 변수의 목록입니다)

예를 들어, x := 1100; y := 29; z := x+y; w := readInt에서 분석기는 w, z가 1129를 나머지로 가질 수 있음을 올바르게 파악해야 합니다.

만일 w, z 중 어느 하나라도 그렇지 않다면 오답(X)이며, w, z를 포함하되 그 이상의 변수가 포함될 경우 하나까지는 정답으로 치며(O), 그 이상은 절반 점수인 5점(Δ)으로 하였습니다.

X: {w}
Δ: {x, y, z, w}
O: {w, z}, {x, w, z}

또한 구현에서 정적 분석기가 아니라 실제 실행 이후 그 결과를 분석해 출력하는 방식으로 구현한 경우, 문제의 조건에 맞지 않기 때문에 0점 처리하였습니다.

실제로 마지막 테스트 케이스는 실제 실행 시 무한 루프가 돌도록 되어 있어 정적 분석을 진행할 수 없습니다.

(다만 일부 분석기의 경우 readInt에서 실제로 입력을 받도록 구현되어 있어, 다른 부분에서 문제가 없을 경우 이 부분은 임의로 TOP으로 설정한 뒤 채점하였습니다)

시간 초과는 기존 과제와 마찬가지로 30초를 기준으로 하였습니다.

* 채점에 사용한 테스트케이스를 다 올려놓았습니다.

* 채점에 쓰인 심볼의 의미는 다음과 같습니다.
O는 정답, X는 오답, E는 예외 발생, C는 컴파일 에러, T는 시간초과를 의미합니다. 물론, 예외를 내는 것이 정답인 테스트케이스의 경우, 올바른 예외를 내는 경우는 O로 표시되며 그 외의 예외가 발생한 경우에만 E로 기록됩니다. 컴파일 에러가 나는 원인으로는 여러 가지가 있을 수 있는데, 숙제에서 명시한 것과 다른 이름을 사용했다거나 하는 경우에도 컴파일 에러로 처리됩니다. 빈칸인 경우는 해당 문제를 제출하지 않은 것이고 0점입니다.

* 이의제기 하시기 전에 부탁드려요.
반드시 해당 케이스에 대해 테스트를 직접 해 보시고 그 결과를 조교한테 보여주세요. (메일이라면 캡쳐, 찾아오신다면 노트북 들고오기 등등..)

결과:
http://ropas.snu.ac.kr/~ta/4541.664A/23/show/pa_hw5_score.pdf

테스트케이스:
http://ropas.snu.ac.kr/~ta/4541.664A/23/show/testcase.zip

모범 답안:
http://ropas.snu.ac.kr/~ta/4541.664A/23/show/hw5_answer.zip

감사합니다.