공순호
가입: 2005년 9월 29일 올린 글: 363 위치: 302동 312-2호
|
올려짐: 2009년5월6일 14:44 주제: 숙제 6 점수 |
|
|
* 숙제 6 점수
http://ropas.snu.ac.kr/~ta/4541.664A/09/score/hw6.score.txt
-----
6-1 은 analyzer.ml을 올바로 작성했는지를 검사했습니다.
이를 위하여 17개의 testcase에 대해서 sign domain, interval domain, intset domain에 대한 분석 결과를 비교하였습니다.
while문의 경우 interval, intset domain에 대해서 분석이 끝이 나지 않을 수 있기 때문에
분석이 끝날 수 있는 testcase를 사용하였습니다.
6-2 는 interval.ml 을 올바로 작성했는지 검사했습니다.
이를 위하여 올바로 작성된 analyzer.ml 과 학생이 작성한 interval.ml으로
15개의 testcase를 분석하고 그 결과를 비교하였습니다.
6-3 는 intset.ml 을 올바로 작성했는지 검사했습니다.
이를 위하여 올바로 작성된 analyzer.ml 과 학생이 작성한 intset.ml으로
15개의 testcase를 분석하고 그 결과를 비교하였습니다.
-----
* Testset과 이에 대한 여러분 코드의 실행 결과를 확인할 수 있습니다. 점수표 하단의 설명을 참조하세요.
채점의 편의를 위하여서 통일된 pretty print를 이용하였습니다. 여러분이 작성한 pretty print의 결과물과 다를 수 있습니다.
이를 채점 결과 검토할 때에 참고하시기 바랍니다.
* 채점 결과에 대한 클래임은 앞으로 일주일 동안 받겠습니다.
메일 주시거나, 302동 312-2호로 방문해주시기 바랍니다. _________________ - soon@ropas
공순호 가 2009년5월14일 17:58에 수정함, 총 1 번 수정됨 |
|