게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

숙제 4 점수

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2009)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
공순호



가입: 2005년 9월 29일
올린 글: 363
위치: 302동 312-2호

올리기올려짐: 2009년4월29일 17:01    주제: 숙제 4 점수 인용과 함께 답변

* 숙제 4 점수
http://ropas.snu.ac.kr/~ta/4541.664A/09/score/hw4.score.txt

---------

* 17개의 testcase에 대해서
tracingEval, collectingEval, pointCollectingEval의 결과가
올바르게 나오는지를 검사했습니다. 51점이 만점 입니다.

* state에 대해서 자유로운 정의를 허용했기 때문에,
조교가 코드와 실행 결과를 보면서 수동으로 채점하였습니다.

* skip에 대해서 https://ropas.snu.ac.kr/phpbb/viewtopic.php?p=4594#4594 에서 말씀드린 것과 같이 처리하지 않으면 감점했습니다.
단, skip.k가 아닌 다른 test에서 발생하는 것에 대해서는 중복 감점하지 않았습니다.
코드:

x := 1;
skip;
x := 0;
skip

에 대해서
코드:

{} -> {x |-> INT(1); } -> {x |-> INT(2); } -> End

가 아닌
코드:

{} -> {x |-> INT(1); } -> {x |-> INT(1); } -> {x |-> INT(2); } -> {x |-> INT(2); } -> End

가 나와야합니다.

* Testset과 이에 대한 여러분 코드의 실행 결과를 확인할 수 있습니다. 점수표 하단의 설명을 참조하세요.
trace에 대해서 프로그램 시작에 해당하는 state가 앞쪽에서 출력되도록 조교가 여러분의 프로그램을 변경한 부분이 있습니다.
채점 결과 검토할 때에 참고하시기 바랍니다.

* 채점 결과에 대한 클래임은 앞으로 일주일 동안 받겠습니다.
메일 주시거나, 302동 312-2호로 방문해주시기 바랍니다.
_________________
- soon@ropas
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2009) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay