Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 1 | #!/usr/bin/expect -f |
| 2 | # |
| 3 | # This scripts starts QEMU, loads and boots Linux/OP-TEE, then runs |
Sumit Garg | 92d86ba | 2021-12-29 11:51:11 +0530 | [diff] [blame] | 4 | # tests in the guest. The return code is 0 for success, >0 for error. |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 5 | # |
| 6 | # Options: |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 7 | # -q Suppress output to stdout (quiet) |
Sumit Garg | 92d86ba | 2021-12-29 11:51:11 +0530 | [diff] [blame] | 8 | # --tests Type of tests to run, values: all, xtest and trusted-keys |
Jerome Forissier | 7a9463c | 2015-08-20 10:53:48 +0200 | [diff] [blame] | 9 | # --timeout Timeout for each test (sub)case, in seconds [480] |
Jerome Forissier | 923226b | 2023-01-30 10:56:44 +0100 | [diff] [blame] | 10 | # --xtest-args Optional arguments to xtest |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 11 | |
| 12 | set bios "../out/bios-qemu/bios.bin" |
Ruchika Gupta | f3ca6b2 | 2021-06-15 15:38:33 +0530 | [diff] [blame] | 13 | set cmd1 "cd /mnt/host/build/qemu_v8/xen" |
Jerome Forissier | 45f5619 | 2024-01-03 15:39:08 +0100 | [diff] [blame] | 14 | if {[info exists ::env(XEN_FFA)] && $::env(XEN_FFA) == "y"} { |
Jens Wiklander | 4809b4f | 2023-11-10 14:09:22 +0100 | [diff] [blame] | 15 | set cmd2 "xl create guest_ffa.cfg" |
| 16 | } else { |
| 17 | set cmd2 "xl create guest.cfg" |
| 18 | } |
Ruchika Gupta | f3ca6b2 | 2021-06-15 15:38:33 +0530 | [diff] [blame] | 19 | set cmd3 "xl console domu" |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 20 | set quiet 0 |
Jerome Forissier | 923226b | 2023-01-30 10:56:44 +0100 | [diff] [blame] | 21 | set xtest_args "" |
Sumit Garg | e742dc8 | 2024-01-11 18:53:06 +0530 | [diff] [blame] | 22 | if {[info exists ::env(RUST_ENABLE)] && $::env(RUST_ENABLE) == "y"} { |
| 23 | set rust_enable 1 |
| 24 | } else { |
| 25 | set rust_enable 0 |
| 26 | } |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 27 | |
| 28 | # The time required to run some tests (e.g., key generation tests [4007.*]) |
| 29 | # can be significant and vary widely -- typically, from about one minute to |
| 30 | # several minutes depending on the host machine. |
Jerome Forissier | 6d46ded | 2021-04-15 18:49:37 +0200 | [diff] [blame] | 31 | # The value here should be sufficient to run the whole optee_test suite |
| 32 | # ('xtest') with all testsuites enabled (regression+gp+pkcs11). |
| 33 | set timeout 900 |
Sumit Garg | 92d86ba | 2021-12-29 11:51:11 +0530 | [diff] [blame] | 34 | set tests "all" |
Sumit Garg | e742dc8 | 2024-01-11 18:53:06 +0530 | [diff] [blame] | 35 | set basedir [file dirname $argv0] |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 36 | |
| 37 | # Parse command line |
| 38 | set myargs $argv |
| 39 | while {[llength $myargs]} { |
| 40 | set myargs [lassign $myargs arg] |
| 41 | switch -exact -- $arg { |
Sumit Garg | 92d86ba | 2021-12-29 11:51:11 +0530 | [diff] [blame] | 42 | "--tests" {set myargs [lassign $myargs ::tests]} |
Jerome Forissier | 7a9463c | 2015-08-20 10:53:48 +0200 | [diff] [blame] | 43 | "--timeout" {set myargs [lassign $myargs ::timeout]} |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 44 | "-q" {set ::quiet 1} |
Jerome Forissier | 923226b | 2023-01-30 10:56:44 +0100 | [diff] [blame] | 45 | "--xtest-args" {set myargs [lassign $myargs ::xtest_args]} |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 46 | } |
| 47 | } |
| 48 | |
Jerome Forissier | 923226b | 2023-01-30 10:56:44 +0100 | [diff] [blame] | 49 | set cmd "xtest $xtest_args" |
| 50 | |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 51 | proc info arg { |
| 52 | if {$::quiet==1} { return } |
| 53 | puts -nonewline $arg |
| 54 | flush stdout |
| 55 | } |
| 56 | |
Ruchika Gupta | f3ca6b2 | 2021-06-15 15:38:33 +0530 | [diff] [blame] | 57 | proc check_test_result arg { |
| 58 | set casenum "none" |
Raymond Mao | be80252 | 2025-05-07 08:11:36 -0700 | [diff] [blame] | 59 | set star 0 |
| 60 | set ncases 0 |
Ruchika Gupta | f3ca6b2 | 2021-06-15 15:38:33 +0530 | [diff] [blame] | 61 | expect { |
| 62 | # Exit with error status as soon as a test fails |
| 63 | -re { ([^ ]+) FAIL} { |
| 64 | info " $expect_out(1,string) FAIL\n" |
| 65 | exit 1 |
| 66 | } |
Jerome Forissier | 89ab87c | 2024-12-18 11:42:28 +0100 | [diff] [blame] | 67 | -re {rcu.*detected stalls} { |
Ruchika Gupta | f3ca6b2 | 2021-06-15 15:38:33 +0530 | [diff] [blame] | 68 | info " Kernel error: '$expect_out(0,string)'\n" |
| 69 | exit 1 |
| 70 | } |
| 71 | # Crude progress indicator: print one # when each test [sub]case starts |
| 72 | -re {([\*o]) ([^ ]+) } { |
| 73 | set casenum $expect_out(2,string) |
| 74 | if {$expect_out(1,string) == "o"} { |
| 75 | if {$star == 1} { |
| 76 | # Do not count first subcase ('o') since start |
| 77 | # of test ('*') was counted already |
| 78 | set star 0 |
| 79 | exp_continue |
| 80 | } |
| 81 | } else { |
| 82 | set star 1 |
| 83 | } |
| 84 | info "#" |
| 85 | incr ncases |
| 86 | if {$ncases % 50 == 0} { info "\n" } |
| 87 | exp_continue |
| 88 | } |
| 89 | # Exit when result separator is seen |
| 90 | "+-----------------------------------------------------\r\r" {} |
| 91 | # Handle errors in TEE core output |
Jerome Forissier | a16b159 | 2022-06-28 09:37:44 +0200 | [diff] [blame] | 92 | -i $arg -re {(..TC:[^\n]*assertion[^\n]*failed at[^\n]*)} { |
Jens Wiklander | 09900ef | 2022-04-21 19:34:55 +0200 | [diff] [blame] | 93 | info "!!! $expect_out(1,string)\n" |
| 94 | exit 1 |
| 95 | } |
Jerome Forissier | a16b159 | 2022-06-28 09:37:44 +0200 | [diff] [blame] | 96 | -i $arg -re {(..TC:[^\n]*Panic at[^\n]*)} { |
Ruchika Gupta | f3ca6b2 | 2021-06-15 15:38:33 +0530 | [diff] [blame] | 97 | info "!!! $expect_out(1,string)\n" |
| 98 | exit 1 |
| 99 | } |
| 100 | timeout { |
| 101 | info "!!! Timeout\n" |
| 102 | info "TIMEOUT - test case too long or hung? (last test started: $casenum)\n" |
| 103 | exit 2 |
| 104 | } |
| 105 | } |
| 106 | info "\nStatus: PASS ($ncases test cases)\n" |
| 107 | } |
| 108 | |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 109 | # Disable echoing of guest output |
| 110 | log_user 0 |
| 111 | # Save guest console output to a file |
| 112 | log_file -a -noappend "serial0.log" |
| 113 | info "Starting QEMU..." |
Jerome Forissier | f3fa64d | 2016-10-17 10:50:51 +0200 | [diff] [blame] | 114 | open "serial1.log" "w+" |
| 115 | spawn -open [open "|tail -f serial1.log"] |
| 116 | set teecore $spawn_id |
Jerome Forissier | 355a74e | 2024-05-29 10:38:32 +0200 | [diff] [blame] | 117 | spawn sh -c "$::env(QEMU) $::env(QEMU_CHECK_ARGS)" |
Jerome Forissier | 7950f2b | 2015-09-03 10:35:29 +0200 | [diff] [blame] | 118 | expect { |
| 119 | "Kernel panic" { |
| 120 | info "!!! Kernel panic\n" |
| 121 | exit 1 |
| 122 | } |
| 123 | timeout { |
| 124 | info "!!! Timeout\n" |
| 125 | exit 1 |
| 126 | } |
Jerome Forissier | 4763adc | 2018-03-14 12:06:21 +0000 | [diff] [blame] | 127 | "ogin:" |
Jerome Forissier | 7950f2b | 2015-09-03 10:35:29 +0200 | [diff] [blame] | 128 | } |
Jerome Forissier | 4763adc | 2018-03-14 12:06:21 +0000 | [diff] [blame] | 129 | send -- "root\r\r" |
| 130 | expect "# " |
Ruchika Gupta | 4dc7512 | 2021-06-18 12:57:52 +0530 | [diff] [blame] | 131 | info " done, guest is booted" |
| 132 | if {$::env(XEN_BOOT) == "y"} { |
| 133 | info " (Xen Dom0)" |
| 134 | } |
| 135 | info ".\n" |
Jerome Forissier | 7950f2b | 2015-09-03 10:35:29 +0200 | [diff] [blame] | 136 | # Toolchain libraries might be here or there |
| 137 | send -- "export LD_LIBRARY_PATH=/lib:/lib/arm-linux-gnueabihf\r" |
Sumit Garg | 92d86ba | 2021-12-29 11:51:11 +0530 | [diff] [blame] | 138 | if {$tests == "all" || $tests == "xtest"} { |
| 139 | info "Running: $cmd...\n" |
Jerome Forissier | 3c36a55 | 2022-01-05 08:59:42 +0100 | [diff] [blame] | 140 | expect "# " |
Sumit Garg | 92d86ba | 2021-12-29 11:51:11 +0530 | [diff] [blame] | 141 | send -- "$cmd\r" |
| 142 | check_test_result $teecore |
| 143 | } |
Ruchika Gupta | f3ca6b2 | 2021-06-15 15:38:33 +0530 | [diff] [blame] | 144 | if {$::env(XEN_BOOT) == "y"} { |
| 145 | info " Booting DomU.\n" |
| 146 | expect "# " |
| 147 | info "Running: $cmd1...\n" |
| 148 | send -- "$cmd1\r" |
| 149 | expect "# " |
| 150 | info "Running: $cmd2...\n" |
| 151 | send -- "$cmd2\r" |
| 152 | expect "# " |
| 153 | info "Running: $cmd3...\n" |
| 154 | send -- "$cmd3\r" |
| 155 | expect { |
| 156 | "Kernel panic" { |
| 157 | info "!!! Kernel panic\n" |
| 158 | exit 1 |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 159 | } |
Ruchika Gupta | f3ca6b2 | 2021-06-15 15:38:33 +0530 | [diff] [blame] | 160 | timeout { |
| 161 | info "!!! Timeout\n" |
| 162 | exit 1 |
| 163 | } |
| 164 | "login:" |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 165 | } |
Ruchika Gupta | f3ca6b2 | 2021-06-15 15:38:33 +0530 | [diff] [blame] | 166 | send -- "root\r\r" |
| 167 | expect "# " |
| 168 | info " done, DomU is booted.\n" |
| 169 | # Toolchain libraries might be here or there |
| 170 | send -- "export LD_LIBRARY_PATH=/lib:/lib/arm-linux-gnueabihf\r" |
| 171 | expect "# " |
Sumit Garg | 92d86ba | 2021-12-29 11:51:11 +0530 | [diff] [blame] | 172 | if {$tests == "all" || $tests == "xtest"} { |
| 173 | info "Running: $cmd...\n" |
| 174 | send -- "$cmd\r" |
| 175 | check_test_result $teecore |
| 176 | } |
Jerome Forissier | f080b5a | 2015-08-07 16:18:57 +0200 | [diff] [blame] | 177 | } |
Sumit Garg | 92d86ba | 2021-12-29 11:51:11 +0530 | [diff] [blame] | 178 | if {$tests == "all" || $tests == "trusted-keys"} { |
| 179 | # Invoke Trusted Keys tests |
Sumit Garg | 92d86ba | 2021-12-29 11:51:11 +0530 | [diff] [blame] | 180 | source $basedir/trusted-keys.exp |
| 181 | } |
Sumit Garg | e742dc8 | 2024-01-11 18:53:06 +0530 | [diff] [blame] | 182 | if {($tests == "all" || $tests == "rust") && $::rust_enable == 1} { |
| 183 | # Invoke Rust tests |
| 184 | source $basedir/rust.exp |
| 185 | } |