X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Ftests.txt;h=dd3ef0ae93cce7be02392ca37b0424e487eaf215;hb=e5f5d5fa7155578550da2209ae5ceb5ed4abf195;hp=fbebaac6db1b7857a50f0da2de038e95eaaa6a00;hpb=7383847de838eb2026001416ba11fa99c85d556c;p=pintos-anon diff --git a/grading/userprog/tests.txt b/grading/userprog/tests.txt index fbebaac..dd3ef0a 100644 --- a/grading/userprog/tests.txt +++ b/grading/userprog/tests.txt @@ -2,24 +2,24 @@ CORRECTNESS [[total]] --------------------- Argument passing - -3 args-argc: argc is not set correctly + -4 args-argc: argc is not set correctly + -4 args-single: passing single argument fails -3 args-argv0: executable name not passed as argv[0] -3 args-argvn: argv[argc] is not a null pointer - -3 args-single: passing single argument fails -3 args-multiple: passing multiple arguments fails -3 args-dbl-space: using multiple spaces between arguments fails -Score: /18 +Score: /20 System calls + -4 sc-boundary: syscall with args across page boundary must work -3 sc-bad-sp: system call with a bad stack pointer must not crash OS -3 sc-bad-arg: syscall with argument off top of stack must not crash OS - -3 sc-boundary: syscall with args across page boundary must work -Score: /9 +Score: /10 System calls: halt, exec -1 halt: halt system call fails - -2 exit: exit system call malfunctions -Score: /3 + -1 exit: exit system call malfunctions +Score: /2 System calls: create -2 create-normal: create a file in the most normal way @@ -29,7 +29,7 @@ System calls: create -1 create-long: pass long file name to create system call -1 create-exists: pass name of an existing file to create system call -1 create-bound: pass name of file crossing page boundary -Score: /7 +Score: /8 System calls: open -2 open-normal: open a file in the most normal way @@ -37,8 +37,9 @@ System calls: open -2 open-boundary: pass name of file crossing page boundary -1 open-empty: pass empty string to open system call -1 open-null: pass null pointer to open system call + -1 open-bad-ptr: pass invalid pointer to open system call -1 open-twice: open the same file twice -Score: /7 +Score: /10 System calls: close -2 close-normal: close an open file in the most normal way @@ -55,7 +56,7 @@ System calls: read -1 read-zero: try to read zero bytes -1 read-stdout: try to read from stdout -1 read-bad-fd: try to read from invalid file descriptor -Score: /7 +Score: /9 System calls: write -2 write-normal: write to open file in most normal way @@ -64,14 +65,15 @@ System calls: write -1 write-zero: try to write zero bytes -1 write-stdin: try to write to stdin -1 write-bad-fd: try to write to invalid file descriptor -Score: /7 +Score: /9 System calls: exec -2 exec-once: call exec/join once + -2 exec-arg: check command-line passing on exec -2 exec-multiple: call exec/join multiple times -2 exec-missing: exec of nonexistent file must return -1 -1 exec-bad-ptr: pass invalid pointer to exec system call -Score: /7 +Score: /9 System calls: join -2 join-simple: join must return proper value @@ -81,8 +83,7 @@ System calls: join Score: /7 Multiprogramming - -2 multi-recurse: test recursively executing subprocesses - -2 multi-oom: exhausting user memory must not crash OS - -2 multi-fragment: programs must load even if user memory is fragmented - -2 multi-parent-fd: child must not be able to close parent's fds -Score: /8 + -3 multi-recurse: test recursively executing subprocesses + -3 multi-oom: exhausting user memory must not crash OS + -3 multi-child-fd: child must not be able to close parent's fds +Score: /9