:: 주제 보기 - 4-3 테스트

FAQ

검색

멤버리스트

사용자 그룹

사용자 등록하기

개인 정보

비공개 메시지를 확인하려면 로그인하십시오

로그인

4-3 테스트

이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다

게시판 인덱스 -> 4190.310 Programming Languages (Fall 2018)

이전 주제 보기 :: 다음 주제 보기

글쓴이

메시지

유진선14

가입: 2018년 9월 11일
올린 글: 18

올려짐: 2018년10월24일 1:30 주제: 4-3 테스트

테스트 작년에 있어 작년 게시판에 올라온 글
https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=5974
을 참고하였습니다.
아래 보이는 식(전체)를 그대로 복사->파일 끝에 붙여넣기 하시면 됩니다.
(중간에 **** 부분 아래로는 위 링크의 테케를 그대로 긁어온 내용입니다)

코드:

let idtest (h) =
match h with
(id, gift) ->
match id with
| A -> "A"
| B -> "B"
| C -> "C"
| D -> "D"
| E -> "E"

let gifttest (h) =
match h with
| (id, gift) -> gift

let rec printlisttest (gift) =
match gift with
| [] -> "]"
| h::t -> (string_of_int h) ^ printlisttest(t)

let rec printfinaltest (result) = (
match result with
| [] -> ()
| h::t -> print_string ("(" ^ idtest(h) ^ ",[" ^ printlisttest(gifttest(h)) ^");")

)

let check1 = [(A, Items[1;2]::[])]
let check2 = [(A, Items[1;2]::Items[3;4]::[])]
let check3 = [(A,Items[1;2]::Items[1;4]::[]);(C,Items[3;4]::[])]
let check4 = [(A,Items[1;2]::Items[1;4]::[]);(B, Same A::[]);(C,Items[3;4]::[])]
let check5 = [(A,Items[1;2]::Items[1;4]::[]);(B, Same C::[]);(C,Items[3;4]::[])]
let check6 = [(A,Same B::[]);(B, Same C::[]);(C, Same D::[]);(D, Same E::[]);(E, Same A::[])]
let check7 = [(A, Items [1;2;3]::[]); (B,Same A::Items [4]::[]); (C, []); (D, []); (E, [Same D])]

let check8 = [(A, [Items[1;2]]); (B, [Same A])]
let check9 = [(A, [Items[1;2]]); (B, [Same C]);(C, [Items[2;3]])]
let check10 = [(A, [Items[1;2]]); (B, [Items[4];Same C]);(C, [Items[2;3]])]
let check11 = [(A, [Items[1;2]]); (B, [Same C;Items[4]]);(C, [Items[2;3]])]
let check12 = [(A, [Items[1;2]; Same C]); (B, [Same A]);(C, [Items[2;3]])]
let check13 = [(A, [Except (Items[1;2;3], [1;2])])]
let check14 = [(A, [Items[1;2;3]]);(B, [Except (Same A, [1])])]
let check15 = [(A, [Common (Items[1;2], Items[2;3])])]
let check16 = [(A, [Items [5;6]; Common(Items [1;2], Items [2;3])])]

let check17 = [(A, [Items[1;2;3;4;5]]);(B,[Same D]); (C,[Common (Common (Except (Items [1;2;3;4;5], [3;4]), Same B), Same A)]);(D, [Items [1;3;5;7;9]])]

let _ =
if (shoppingList (check1) = [(A,[1;2]);(B,[]);(C,[]);(D,[]);(E,[])]) then print_endline("1") else printfinaltest(shoppingList(check1));
if (shoppingList (check2) = [(A,[1;2;3;4]);(B,[]);(C,[]);(D,[]);(E,[])]) then print_endline("2") else printfinaltest(shoppingList(check2));
if (shoppingList (check3) = [(A,[1;2;4]);(B,[]);(C,[3;4]);(D,[]);(E,[])]) then print_endline("3") else printfinaltest(shoppingList(check3));
if (shoppingList (check4) = [(A,[1;2;4]);(B,[1;2;4]);(C,[3;4]);(D,[]);(E,[])]) then print_endline("4") else printfinaltest(shoppingList(check4));
if (shoppingList (check5) = [(A,[1;2;4]);(B,[3;4]);(C,[3;4]);(D,[]);(E,[])]) then print_endline("5") else printfinaltest(shoppingList(check5));
if (shoppingList (check6) = [(A,[]);(B,[]);(C,[]);(D,[]);(E,[])]) then print_endline("6") else printfinaltest(shoppingList(check6));
if (shoppingList (check7) = [(A,[1;2;3]);(B,[1;2;3;4]);(C,[]);(D,[]);(E,[])]) then print_endline("7") else printfinaltest(shoppingList(check7));
if (shoppingList (check8) = [(A,[1;2]);(B,[1;2]);(C,[]);(D,[]);(E,[])]) then print_endline("8") else printfinaltest(shoppingList(check8));
if (shoppingList (check9) = [(A,[1;2]);(B,[2;3]);(C,[2;3]);(D,[]);(E,[])]) then print_endline("9") else printfinaltest(shoppingList(check9));
if (shoppingList (check10) = [(A,[1;2]);(B,[2;3;4]);(C,[2;3]);(D,[]);(E,[])]) then print_endline("10") else printfinaltest(shoppingList(check10));
if (shoppingList (check11) = [(A,[1;2]);(B,[2;3;4]);(C,[2;3]);(D,[]);(E,[])]) then print_endline("11") else printfinaltest(shoppingList(check11));
if (shoppingList (check12) = [(A,[1;2;3]);(B,[1;2;3]);(C,[2;3]);(D,[]);(E,[])]) then print_endline("12") else printfinaltest(shoppingList(check12));
if (shoppingList (check13) = [(A,[3]);(B,[]);(C,[]);(D,[]);(E,[])]) then print_endline("13") else printfinaltest(shoppingList(check13));
if (shoppingList (check14) = [(A,[1;2;3]);(B,[2;3]);(C,[]);(D,[]);(E,[])]) then print_endline("14") else printfinaltest(shoppingList(check14));
if (shoppingList (check15) = [(A,[2]);(B,[]);(C,[]);(D,[]);(E,[])]) then print_endline("15") else printfinaltest(shoppingList(check15));
if (shoppingList (check16) = [(A,[2;5;6]);(B,[]);(C,[]);(D,[]);(E,[])]) then print_endline("16") else printfinaltest(shoppingList(check16));
if (shoppingList (check17) = [(A,[1;2;3;4;5]);(B,[1;3;5;7;9]);(C,[1;5]);(D,[1;3;5;7;9]);(E,[])]) then print_endline("17") else printfinaltest(shoppingList(check17));

(*********************************************************************************)

let emptyL = [(A, []); (B, []); (C, []); (D, []); (E, [])] in
assert ((shoppingList []) = emptyL);
print_endline "a";

assert ((shoppingList [
(A, []); (B, []); (C, []); (D, []); (E, []);
]) = emptyL);
print_endline "b";

assert ((shoppingList [
(A, [Same B]); (B, [Same C]); (C, [Same D]); (D, [Same E]); (E, [Same A]);
]) = emptyL);
print_endline "c";

assert ((shoppingList [
(A, [Items [1;2;3]]); (B, [Items [2;3;4]]);
(C, [Items [3;4;1]]); (D, [Items [4;1;2]]);
(E, [Items [1;2;3;1;2;3]]);
]) = [(A, [1; 2; 3]); (B, [2; 3; 4]); (C, [1; 3; 4]); (D, [1; 2; 4]); (E, [1; 2; 3])]);
print_endline "d";

assert ((shoppingList [
(A, [Items [1;2;3]]);
(B, [Same A]);
(C, [Same A; Items[1;2]]);
(D, [Same A; Items[4]]);
(E, [Same D]);
]) = [(A, [1; 2; 3]); (B, [1; 2; 3]); (C, [1; 2; 3]); (D, [1; 2; 3; 4]); (E, [1; 2; 3; 4])]);
print_endline "e";

assert ((shoppingList [
(A, [Common (Items [1;2;3], Items [2;1;3])]);
(B, [Common (Items [2;1;3], Items [5;6;1;4;2;3])]);
(C, [Common (Items [1;2;3], Items [4;5;6])]);
(D, [Common (Items [3;2;1], Items [1])]);
(E, [Common (Items [1;2;3], Items [])]);
]) = [(A, [1; 2; 3]); (B, [1; 2; 3]); (C, []); (D, [1]); (E, [])]);
print_endline "f";

assert ((shoppingList [
(B, [Common (Items [2;1;3], Items [5;6;1;4;2;3])]);
(E, [Common (Items [], Items [])]);
(D, [Common (Items [1], Items [1])]);
]) = [(A, []); (B, [1; 2; 3]); (C, []); (D, [1]); (E, [])]);
print_endline "g";

assert ((shoppingList [
(A, [Except (Items [3;2;1], [3;2;1])]);
(B, [Except (Items [2;1;3], [])]);
(C, [Except (Items [2;1;3], [1;2;3;4;5;6])]);
(D, [Except (Items [], [2;1;3])]);
(E, [Except (Items [], [])]);
]) = [(A, []); (B, [1; 2; 3]); (C, []); (D, []); (E, [])]);
print_endline "h";

assert ((shoppingList [
(A, [Common (Common (Same B, Same C), Common (Same D, Same E))]);
(B, [Common (Same C, Common (Same D, Except (Same E, [5])))]);
(C, [Same D; Items[7;8]]);
(D, [Except (Same E, [1;2;3])]);
(E, [Items [1;2;3;4;5]]);
]) = [(A, [4]); (B, [4]); (C, [4; 5; 7; 8]); (D, [4; 5]); (E, [1; 2; 3; 4; 5])]);
print_endline "i";

assert ((shoppingList [
(A, [Same B; Same C]);
(B, [Except (Same C, [1;2;3]); Same D]);
(C, [Items [1;2;3]; Items [3;4;5]; Common (Same A, Items [6;7])]);
(D, [Same E]);
(E, [Same D; Items[6;8]]);
]) = [(A, [1; 2; 3; 4; 5; 6; 8]); (B, [4; 5; 6; 8]); (C, [1; 2; 3; 4; 5; 6]); (D, [6; 8]); (E, [6; 8])]);
print_endline "j";

assert ((shoppingList [
(A, [Common (Same B, Common (Except (Items [1;2;3;4;5], [1;3;5]), Same C)); Items [2;4;8]]);
(B, [Except (Except (Except (Same A, [1]),[1;2]),[3]); Items [3;6;9]]);
(C, [Same A; Same B; Same D; Same E]);
(D, [Items [10]; Common (Same A, Same D); Items [5]]);
(E, [Common (Same C, Common (Same A, Common (Same D, Same B)))])
]) = [(A, [2; 4; 8]); (B, [3; 4; 6; 8; 9]); (C, [2; 3; 4; 5; 6; 8; 9; 10]); (D, [5; 10]); (E, [])]);
print_endline "k";

assert ((shoppingList [
(A, [Items [1;2;3;1;2;3]]);
(D, [Items [5;5;5;5;5]]);
(A, [Same D]);
(E, [Except (Items [1;2;3;1;2;3], [1;2;3])]);
(A, [Items [1;2;3;4]]);
]) = [(A, [1; 2; 3; 4; 5]); (B, []); (C, []); (D, [5]); (E, [])]);
print_endline "l";

위로

김태범

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

올려짐: 2018년10월24일 15:18 주제: 감사합니다

감사합니다!

위로

이주상13

가입: 2018년 9월 6일
올린 글: 18

올려짐: 2018년10월25일 11:10 주제: 감사합니다! + 마지막줄 수정

감사합니다! 테스트를 전부 통과했다는걸 나타내기 위해서 맨 마지막 줄을 print_endline "Passed all tests!"; 로 바꾸면 더 좋을것 같아요!

위로

권현우

가입: 2018년 9월 11일
올린 글: 2

올려짐: 2018년10월25일 13:19 주제: 테스트케이스를 수정하였습니다.

이번 공지사항에 추가된 조건에 맞게 올려주신 테스트케이스를 수정하였습니다.
요구가 없는 조카의 경우에도 빈 리스트와 함께 입력이 들어오도록 바꿨습니다.

코드:

let idtest (h) =
match h with
(id, gift) ->
match id with
| A -> "A"
| B -> "B"
| C -> "C"
| D -> "D"
| E -> "E"

let gifttest (h) =
match h with
| (id, gift) -> gift

let rec printlisttest (gift) =
match gift with
| [] -> "]"
| h::t -> (string_of_int h) ^ printlisttest(t)

let rec printfinaltest (result) =
match result with
| [] -> ()
| h::t -> print_string ("(" ^ idtest(h) ^ ",[" ^ printlisttest(gifttest(h)) ^");")

let check1 = [(A, Items[1;2]::[]); (B, []); (C, []); (D, []); (E, [])]
let check2 = [(A, Items[1;2]::Items[3;4]::[]); (B, []); (C, []); (D, []); (E, [])]
let check3 = [(A,Items[1;2]::Items[1;4]::[]);(C,Items[3;4]::[]); (B, []); (D, []); (E, [])]
let check4 = [(A,Items[1;2]::Items[1;4]::[]);(B, Same A::[]);(C,Items[3;4]::[]); (D, []); (E, [])]
let check5 = [(A,Items[1;2]::Items[1;4]::[]);(B, Same C::[]);(C,Items[3;4]::[]); (D, []); (E, [])]
let check6 = [(A,Same B::[]);(B, Same C::[]);(C, Same D::[]);(D, Same E::[]);(E, Same A::[])]
let check7 = [(A, Items [1;2;3]::[]); (B,Same A::Items [4]::[]); (C, []); (D, []); (E, [Same D])]

let check8 = [(A, [Items[1;2]]); (B, [Same A]); (C, []); (D, []); (E, [])]
let check9 = [(A, [Items[1;2]]); (B, [Same C]);(C, [Items[2;3]]); (D, []); (E, [])]
let check10 = [(A, [Items[1;2]]); (B, [Items[4];Same C]);(C, [Items[2;3]]); (D, []); (E, [])]
let check11 = [(A, [Items[1;2]]); (B, [Same C;Items[4]]);(C, [Items[2;3]]); (D, []); (E, [])]
let check12 = [(A, [Items[1;2]; Same C]); (B, [Same A]);(C, [Items[2;3]]); (D, []); (E, [])]
let check13 = [(A, [Except (Items[1;2;3], [1;2])]); (B, []); (C, []); (D, []); (E, [])]
let check14 = [(A, [Items[1;2;3]]);(B, [Except (Same A, [1])]); (C, []); (D, []); (E, [])]
let check15 = [(A, [Common (Items[1;2], Items[2;3])]); (B, []); (C, []); (D, []); (E, [])]
let check16 = [(A, [Items [5;6]; Common(Items [1;2], Items [2;3])]); (B, []); (C, []); (D, []); (E, [])]

let check17 = [(A, [Items[1;2;3;4;5]]);(B,[Same D]); (C,[Common (Common (Except (Items [1;2;3;4;5], [3;4]), Same B), Same A)]);(D, [Items [1;3;5;7;9]]); (E, [])]

let _ =
if (shoppingList (check1) = [(A,[1;2]);(B,[]);(C,[]);(D,[]);(E,[])]) then print_endline("1") else printfinaltest(shoppingList(check1));
if (shoppingList (check2) = [(A,[1;2;3;4]);(B,[]);(C,[]);(D,[]);(E,[])]) then print_endline("2") else printfinaltest(shoppingList(check2));
if (shoppingList (check3) = [(A,[1;2;4]);(B,[]);(C,[3;4]);(D,[]);(E,[])]) then print_endline("3") else printfinaltest(shoppingList(check3));
if (shoppingList (check4) = [(A,[1;2;4]);(B,[1;2;4]);(C,[3;4]);(D,[]);(E,[])]) then print_endline("4") else printfinaltest(shoppingList(check4));
if (shoppingList (check5) = [(A,[1;2;4]);(B,[3;4]);(C,[3;4]);(D,[]);(E,[])]) then print_endline("5") else printfinaltest(shoppingList(check5));
if (shoppingList (check6) = [(A,[]);(B,[]);(C,[]);(D,[]);(E,[])]) then print_endline("6") else printfinaltest(shoppingList(check6));
if (shoppingList (check7) = [(A,[1;2;3]);(B,[1;2;3;4]);(C,[]);(D,[]);(E,[])]) then print_endline("7") else printfinaltest(shoppingList(check7));
if (shoppingList (check8) = [(A,[1;2]);(B,[1;2]);(C,[]);(D,[]);(E,[])]) then print_endline("8") else printfinaltest(shoppingList(check8));
if (shoppingList (check9) = [(A,[1;2]);(B,[2;3]);(C,[2;3]);(D,[]);(E,[])]) then print_endline("9") else printfinaltest(shoppingList(check9));
if (shoppingList (check10) = [(A,[1;2]);(B,[2;3;4]);(C,[2;3]);(D,[]);(E,[])]) then print_endline("10") else printfinaltest(shoppingList(check10));
if (shoppingList (check11) = [(A,[1;2]);(B,[2;3;4]);(C,[2;3]);(D,[]);(E,[])]) then print_endline("11") else printfinaltest(shoppingList(check11));
if (shoppingList (check12) = [(A,[1;2;3]);(B,[1;2;3]);(C,[2;3]);(D,[]);(E,[])]) then print_endline("12") else printfinaltest(shoppingList(check12));
if (shoppingList (check13) = [(A,[3]);(B,[]);(C,[]);(D,[]);(E,[])]) then print_endline("13") else printfinaltest(shoppingList(check13));
if (shoppingList (check14) = [(A,[1;2;3]);(B,[2;3]);(C,[]);(D,[]);(E,[])]) then print_endline("14") else printfinaltest(shoppingList(check14));
if (shoppingList (check15) = [(A,[2]);(B,[]);(C,[]);(D,[]);(E,[])]) then print_endline("15") else printfinaltest(shoppingList(check15));
if (shoppingList (check16) = [(A,[2;5;6]);(B,[]);(C,[]);(D,[]);(E,[])]) then print_endline("16") else printfinaltest(shoppingList(check16));
if (shoppingList (check17) = [(A,[1;2;3;4;5]);(B,[1;3;5;7;9]);(C,[1;5]);(D,[1;3;5;7;9]);(E,[])]) then print_endline("17") else printfinaltest(shoppingList(check17));

let emptyL = [(A, []); (B, []); (C, []); (D, []); (E, [])] in
assert ((shoppingList [
(A, []); (B, []); (C, []); (D, []); (E, []);
]) = emptyL);
print_endline "b";

assert ((shoppingList [
(A, [Same B]); (B, [Same C]); (C, [Same D]); (D, [Same E]); (E, [Same A]);
]) = emptyL);
print_endline "c";

assert ((shoppingList [
(A, [Items [1;2;3]]); (B, [Items [2;3;4]]);
(C, [Items [3;4;1]]); (D, [Items [4;1;2]]);
(E, [Items [1;2;3;1;2;3]]);
]) = [(A, [1; 2; 3]); (B, [2; 3; 4]); (C, [1; 3; 4]); (D, [1; 2; 4]); (E, [1; 2; 3])]);
print_endline "d";

assert ((shoppingList [
(A, [Items [1;2;3]]);
(B, [Same A]);
(C, [Same A; Items[1;2]]);
(D, [Same A; Items[4]]);
(E, [Same D]);
]) = [(A, [1; 2; 3]); (B, [1; 2; 3]); (C, [1; 2; 3]); (D, [1; 2; 3; 4]); (E, [1; 2; 3; 4])]);
print_endline "e";

assert ((shoppingList [
(A, [Common (Items [1;2;3], Items [2;1;3])]);
(B, [Common (Items [2;1;3], Items [5;6;1;4;2;3])]);
(C, [Common (Items [1;2;3], Items [4;5;6])]);
(D, [Common (Items [3;2;1], Items [1])]);
(E, [Common (Items [1;2;3], Items [])]);
]) = [(A, [1; 2; 3]); (B, [1; 2; 3]); (C, []); (D, [1]); (E, [])]);
print_endline "f";

assert ((shoppingList [
(B, [Common (Items [2;1;3], Items [5;6;1;4;2;3])]);
(E, [Common (Items [], Items [])]);
(D, [Common (Items [1], Items [1])]);
(A, []); (C, []);
]) = [(A, []); (B, [1; 2; 3]); (C, []); (D, [1]); (E, [])]);
print_endline "g";

assert ((shoppingList [
(A, [Except (Items [3;2;1], [3;2;1])]);
(B, [Except (Items [2;1;3], [])]);
(C, [Except (Items [2;1;3], [1;2;3;4;5;6])]);
(D, [Except (Items [], [2;1;3])]);
(E, [Except (Items [], [])]);
]) = [(A, []); (B, [1; 2; 3]); (C, []); (D, []); (E, [])]);
print_endline "h";

assert ((shoppingList [
(A, [Common (Common (Same B, Same C), Common (Same D, Same E))]);
(B, [Common (Same C, Common (Same D, Except (Same E, [5])))]);
(C, [Same D; Items[7;8]]);
(D, [Except (Same E, [1;2;3])]);
(E, [Items [1;2;3;4;5]]);
]) = [(A, [4]); (B, [4]); (C, [4; 5; 7; 8]); (D, [4; 5]); (E, [1; 2; 3; 4; 5])]);
print_endline "i";

assert ((shoppingList [
(A, [Same B; Same C]);
(B, [Except (Same C, [1;2;3]); Same D]);
(C, [Items [1;2;3]; Items [3;4;5]; Common (Same A, Items [6;7])]);
(D, [Same E]);
(E, [Same D; Items[6;8]]);
]) = [(A, [1; 2; 3; 4; 5; 6; 8]); (B, [4; 5; 6; 8]); (C, [1; 2; 3; 4; 5; 6]); (D, [6; 8]); (E, [6; 8])]);
print_endline "j";

assert ((shoppingList [
(A, [Common (Same B, Common (Except (Items [1;2;3;4;5], [1;3;5]), Same C)); Items [2;4;8]]);
(B, [Except (Except (Except (Same A, [1]),[1;2]),[3]); Items [3;6;9]]);
(C, [Same A; Same B; Same D; Same E]);
(D, [Items [10]; Common (Same A, Same D); Items [5]]);
(E, [Common (Same C, Common (Same A, Common (Same D, Same B)))])
]) = [(A, [2; 4; 8]); (B, [3; 4; 6; 8; 9]); (C, [2; 3; 4; 5; 6; 8; 9; 10]); (D, [5; 10]); (E, [])]);
print_endline "k";

assert ((shoppingList [
(A, [Items [1;2;3;1;2;3]; Same D; Items [1;2;3;4]]);
(D, [Items [5;5;5;5;5]]);
(C, []);
(E, [Except (Items [1;2;3;1;2;3], [1;2;3])]);
(B, []);
]) = [(A, [1; 2; 3; 4; 5]); (B, []); (C, []); (D, [5]); (E, [])]);
print_endline "l";

print_endline "all passed";

권현우 가 2018년10월25일 14:03에 수정함, 총 1 번 수정됨

위로

김성재

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

올려짐: 2018년10월25일 13:24 주제:

감사합니다!

위로

김대현

가입: 2018년 9월 6일
올린 글: 1

올려짐: 2018년10월26일 13:35 주제: 감사합니다!

감사합니다!

위로

이전 글 표시:

	게시판 인덱스 -> 4190.310 Programming Languages (Fall 2018)	시간대: GMT + 9 시간(한국)
페이지 1 중 1

건너뛰기:

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