게시판 인덱스

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

3-1 추가 테스트

 
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2017)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
김수



가입: 2017년 9월 5일
올린 글: 16

올리기올려짐: 2017년10월13일 12:42    주제: 3-1 추가 테스트 인용과 함께 답변

스켈레톤 코드에 들어있는 현행 example/test*.k- 가 커버하지 못하는 경우를 추가적으로 테스트합니다.

코드:

(* Public test case 12 *)
(* Test list
while
*)

let x := 0 in
while not (x = 5) do (
    write x;
    x := x + 1
)

(* Output *)
(* 0 ~ 4 *)


코드:

(* Public test case 13 *)
(* Test list
letf
callv
*)

let proc incr(n) = n + 1 in
let x := 1 in
write incr(x);
let proc add(a, b, c) = a + b + c in
let a := 2 - 1 in
let b := 1 + 1 in
let c := 10 / 3 in
write add(a, b, c);
let proc fact(n) = (if (n = 0) then 1 else (n * fact(n - 1))) in
write fact(4)

(* Output *)
(*
2
6
24
*)


코드:

(* Public test case 14 *)
(* Test list
unbound read
*)

read x

(* Errors - if not handled then "Fatal error: exception ..." else "Error : ..." *)
(*
Unbound
*)
위로
사용자 정보 보기 비밀 메시지 보내기
박찬양



가입: 2017년 9월 11일
올린 글: 6

올리기올려짐: 2017년10월18일 22:41    주제: 인용과 함께 답변

감사합니다!
개인적으로 오류가 났던 테스트케이스 하나 추가합니다.

(* test case : Record *)

let c := 1 in
let i := 2 in
let x := {i := 10} in
write i;
write x.i;
write x.c

(* Output
2
10
Error : Unbound
*)
위로
사용자 정보 보기 비밀 메시지 보내기
김재윤



가입: 2017년 9월 13일
올린 글: 10

올리기올려짐: 2017년10월19일 13:21    주제: 인용과 함께 답변

감사합니다!
위로
사용자 정보 보기 비밀 메시지 보내기
김수



가입: 2017년 9월 5일
올린 글: 16

올리기올려짐: 2017년10월19일 16:48    주제: 인용과 함께 답변

보충 스펙 추가에 따른 테스트입니다.

https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=5948

코드:

(* test case : Record assign unbound *)

let x := {a := 0} in
x.a := 1;
write x.a;
x.b := 1

(* Output
1
Error : Unbound
*)
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2017) 시간대: GMT + 9 시간(한국)
페이지 11

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


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