fbrosson | 533407a | 2018-04-04 21:44:29 +0000 | [diff] [blame] | 1 | #!/usr/bin/env perl |
Manuel Pégourié-Gonnard | 8511384 | 2015-07-08 21:20:03 +0100 | [diff] [blame] | 2 | |
SimonB | ad8fbc0 | 2016-03-11 17:33:39 +0000 | [diff] [blame] | 3 | # run-test-suites.pl |
| 4 | # |
Bence Szépkúti | 1e14827 | 2020-08-07 13:07:28 +0200 | [diff] [blame] | 5 | # Copyright The Mbed TLS Contributors |
Dave Rodgman | 16799db | 2023-11-02 19:47:20 +0000 | [diff] [blame] | 6 | # SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later |
Gilles Peskine | 15db850 | 2018-12-14 18:23:13 +0100 | [diff] [blame] | 7 | |
| 8 | =head1 SYNOPSIS |
| 9 | |
| 10 | Execute all the test suites and print a summary of the results. |
| 11 | |
Gilles Peskine | ac372cc | 2018-11-29 10:15:06 +0000 | [diff] [blame] | 12 | run-test-suites.pl [[-v|--verbose] [VERBOSITY]] [--skip=SUITE[...]] |
Gilles Peskine | 15db850 | 2018-12-14 18:23:13 +0100 | [diff] [blame] | 13 | |
| 14 | Options: |
| 15 | |
| 16 | -v|--verbose Print detailed failure information. |
| 17 | -v 2|--verbose=2 Print detailed failure information and summary messages. |
| 18 | -v 3|--verbose=3 Print detailed information about every test case. |
Gilles Peskine | ac372cc | 2018-11-29 10:15:06 +0000 | [diff] [blame] | 19 | --skip=SUITE[,SUITE...] |
| 20 | Skip the specified SUITE(s). This option can be used |
| 21 | multiple times. |
Gilles Peskine | 15db850 | 2018-12-14 18:23:13 +0100 | [diff] [blame] | 22 | |
| 23 | =cut |
SimonB | ad8fbc0 | 2016-03-11 17:33:39 +0000 | [diff] [blame] | 24 | |
Manuel Pégourié-Gonnard | 8511384 | 2015-07-08 21:20:03 +0100 | [diff] [blame] | 25 | use warnings; |
| 26 | use strict; |
| 27 | |
| 28 | use utf8; |
| 29 | use open qw(:std utf8); |
| 30 | |
Gilles Peskine | ac372cc | 2018-11-29 10:15:06 +0000 | [diff] [blame] | 31 | use Getopt::Long qw(:config auto_help gnu_compat); |
Gilles Peskine | 15db850 | 2018-12-14 18:23:13 +0100 | [diff] [blame] | 32 | use Pod::Usage; |
SimonB | ad8fbc0 | 2016-03-11 17:33:39 +0000 | [diff] [blame] | 33 | |
Jaeden Amero | 8396a71 | 2018-10-05 13:23:35 +0100 | [diff] [blame] | 34 | my $verbose = 0; |
Gilles Peskine | ac372cc | 2018-11-29 10:15:06 +0000 | [diff] [blame] | 35 | my @skip_patterns = (); |
Gilles Peskine | 15db850 | 2018-12-14 18:23:13 +0100 | [diff] [blame] | 36 | GetOptions( |
Gilles Peskine | ac372cc | 2018-11-29 10:15:06 +0000 | [diff] [blame] | 37 | 'skip=s' => \@skip_patterns, |
Gilles Peskine | 15db850 | 2018-12-14 18:23:13 +0100 | [diff] [blame] | 38 | 'verbose|v:1' => \$verbose, |
| 39 | ) or die; |
SimonB | ad8fbc0 | 2016-03-11 17:33:39 +0000 | [diff] [blame] | 40 | |
Gilles Peskine | 298f781 | 2022-11-15 23:54:26 +0100 | [diff] [blame] | 41 | # All test suites = executable files with a .datax file. |
Manuel Pégourié-Gonnard | 38860e2 | 2022-11-07 10:05:49 +0100 | [diff] [blame] | 42 | my @suites = (); |
Gilles Peskine | ef2dd74 | 2024-09-11 12:48:16 +0200 | [diff] [blame] | 43 | my @test_dirs = qw(../tf-psa-crypto/tests .); |
| 44 | for my $data_file (map {glob "$_/test_suite_*.datax"} @test_dirs) { |
Gilles Peskine | 298f781 | 2022-11-15 23:54:26 +0100 | [diff] [blame] | 45 | (my $base = $data_file) =~ s/\.datax$//; |
Manuel Pégourié-Gonnard | 38860e2 | 2022-11-07 10:05:49 +0100 | [diff] [blame] | 46 | push @suites, $base if -x $base; |
| 47 | push @suites, "$base.exe" if -e "$base.exe"; |
| 48 | } |
Manuel Pégourié-Gonnard | 8511384 | 2015-07-08 21:20:03 +0100 | [diff] [blame] | 49 | die "$0: no test suite found\n" unless @suites; |
| 50 | |
Gilles Peskine | ac372cc | 2018-11-29 10:15:06 +0000 | [diff] [blame] | 51 | # "foo" as a skip pattern skips "test_suite_foo" and "test_suite_foo.bar" |
| 52 | # but not "test_suite_foobar". |
| 53 | my $skip_re = |
| 54 | ( '\Atest_suite_(' . |
| 55 | join('|', map { |
| 56 | s/[ ,;]/|/g; # allow any of " ,;|" as separators |
| 57 | s/\./\./g; # "." in the input means ".", not "any character" |
| 58 | $_ |
| 59 | } @skip_patterns) . |
| 60 | ')(\z|\.)' ); |
| 61 | |
Manuel Pégourié-Gonnard | 8511384 | 2015-07-08 21:20:03 +0100 | [diff] [blame] | 62 | # in case test suites are linked dynamically |
Ronald Cron | 72d1888 | 2024-07-16 10:19:44 +0200 | [diff] [blame] | 63 | if (-d '../../tf-psa-crypto') { |
| 64 | $ENV{'LD_LIBRARY_PATH'} = '../../library'; |
| 65 | $ENV{'DYLD_LIBRARY_PATH'} = '../../library'; |
| 66 | } |
| 67 | else |
| 68 | { |
| 69 | $ENV{'LD_LIBRARY_PATH'} = '../library'; |
| 70 | $ENV{'DYLD_LIBRARY_PATH'} = '../library'; |
| 71 | } |
Manuel Pégourié-Gonnard | 8511384 | 2015-07-08 21:20:03 +0100 | [diff] [blame] | 72 | |
| 73 | my $prefix = $^O eq "MSWin32" ? '' : './'; |
| 74 | |
Manuel Pégourié-Gonnard | ac6c670 | 2022-10-11 10:48:32 +0200 | [diff] [blame] | 75 | my (@failed_suites, $total_tests_run, $failed, $suite_cases_passed, |
SimonB | ad8fbc0 | 2016-03-11 17:33:39 +0000 | [diff] [blame] | 76 | $suite_cases_failed, $suite_cases_skipped, $total_cases_passed, |
| 77 | $total_cases_failed, $total_cases_skipped ); |
Gilles Peskine | ac372cc | 2018-11-29 10:15:06 +0000 | [diff] [blame] | 78 | my $suites_skipped = 0; |
SimonB | ad8fbc0 | 2016-03-11 17:33:39 +0000 | [diff] [blame] | 79 | |
Jaeden Amero | 79e4f4e | 2018-10-05 12:21:15 +0100 | [diff] [blame] | 80 | sub pad_print_center { |
| 81 | my( $width, $padchar, $string ) = @_; |
| 82 | my $padlen = ( $width - length( $string ) - 2 ) / 2; |
| 83 | print $padchar x( $padlen ), " $string ", $padchar x( $padlen ), "\n"; |
| 84 | } |
| 85 | |
Gilles Peskine | ef2dd74 | 2024-09-11 12:48:16 +0200 | [diff] [blame] | 86 | for my $suite_path (@suites) |
Manuel Pégourié-Gonnard | 8511384 | 2015-07-08 21:20:03 +0100 | [diff] [blame] | 87 | { |
Gilles Peskine | 71a53b5 | 2024-09-11 13:21:50 +0200 | [diff] [blame^] | 88 | my ($dir, $suite) = ('.', $suite_path); |
| 89 | if ($suite =~ m!(.*)/([^/]*)!) { |
| 90 | $dir = $1; |
| 91 | $suite = $2; |
| 92 | } |
Manuel Pégourié-Gonnard | 8511384 | 2015-07-08 21:20:03 +0100 | [diff] [blame] | 93 | print "$suite ", "." x ( 72 - length($suite) - 2 - 4 ), " "; |
Gilles Peskine | ac372cc | 2018-11-29 10:15:06 +0000 | [diff] [blame] | 94 | if( $suite =~ /$skip_re/o ) { |
| 95 | print "SKIP\n"; |
| 96 | ++$suites_skipped; |
| 97 | next; |
| 98 | } |
| 99 | |
Gilles Peskine | 71a53b5 | 2024-09-11 13:21:50 +0200 | [diff] [blame^] | 100 | my $command = "cd $dir && $prefix$suite"; |
Jaeden Amero | 79e4f4e | 2018-10-05 12:21:15 +0100 | [diff] [blame] | 101 | if( $verbose ) { |
| 102 | $command .= ' -v'; |
| 103 | } |
| 104 | my $result = `$command`; |
SimonB | ad8fbc0 | 2016-03-11 17:33:39 +0000 | [diff] [blame] | 105 | |
| 106 | $suite_cases_passed = () = $result =~ /.. PASS/g; |
| 107 | $suite_cases_failed = () = $result =~ /.. FAILED/g; |
| 108 | $suite_cases_skipped = () = $result =~ /.. ----/g; |
| 109 | |
Gilles Peskine | 8b5389f | 2019-10-21 19:08:07 +0200 | [diff] [blame] | 110 | if( $? == 0 ) { |
Manuel Pégourié-Gonnard | 8511384 | 2015-07-08 21:20:03 +0100 | [diff] [blame] | 111 | print "PASS\n"; |
Jaeden Amero | 8396a71 | 2018-10-05 13:23:35 +0100 | [diff] [blame] | 112 | if( $verbose > 2 ) { |
| 113 | pad_print_center( 72, '-', "Begin $suite" ); |
| 114 | print $result; |
| 115 | pad_print_center( 72, '-', "End $suite" ); |
| 116 | } |
Manuel Pégourié-Gonnard | 8511384 | 2015-07-08 21:20:03 +0100 | [diff] [blame] | 117 | } else { |
Manuel Pégourié-Gonnard | ac6c670 | 2022-10-11 10:48:32 +0200 | [diff] [blame] | 118 | push @failed_suites, $suite; |
Manuel Pégourié-Gonnard | 8511384 | 2015-07-08 21:20:03 +0100 | [diff] [blame] | 119 | print "FAIL\n"; |
Jaeden Amero | 79e4f4e | 2018-10-05 12:21:15 +0100 | [diff] [blame] | 120 | if( $verbose ) { |
| 121 | pad_print_center( 72, '-', "Begin $suite" ); |
| 122 | print $result; |
| 123 | pad_print_center( 72, '-', "End $suite" ); |
| 124 | } |
Manuel Pégourié-Gonnard | 8511384 | 2015-07-08 21:20:03 +0100 | [diff] [blame] | 125 | } |
SimonB | ad8fbc0 | 2016-03-11 17:33:39 +0000 | [diff] [blame] | 126 | |
| 127 | my ($passed, $tests, $skipped) = $result =~ /([0-9]*) \/ ([0-9]*) tests.*?([0-9]*) skipped/; |
| 128 | $total_tests_run += $tests - $skipped; |
| 129 | |
Jaeden Amero | 8396a71 | 2018-10-05 13:23:35 +0100 | [diff] [blame] | 130 | if( $verbose > 1 ) { |
SimonB | ad8fbc0 | 2016-03-11 17:33:39 +0000 | [diff] [blame] | 131 | print "(test cases passed:", $suite_cases_passed, |
| 132 | " failed:", $suite_cases_failed, |
| 133 | " skipped:", $suite_cases_skipped, |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 134 | " of total:", ($suite_cases_passed + $suite_cases_failed + |
| 135 | $suite_cases_skipped), |
SimonB | ad8fbc0 | 2016-03-11 17:33:39 +0000 | [diff] [blame] | 136 | ")\n" |
| 137 | } |
| 138 | |
| 139 | $total_cases_passed += $suite_cases_passed; |
| 140 | $total_cases_failed += $suite_cases_failed; |
| 141 | $total_cases_skipped += $suite_cases_skipped; |
Manuel Pégourié-Gonnard | 8511384 | 2015-07-08 21:20:03 +0100 | [diff] [blame] | 142 | } |
| 143 | |
| 144 | print "-" x 72, "\n"; |
Manuel Pégourié-Gonnard | ac6c670 | 2022-10-11 10:48:32 +0200 | [diff] [blame] | 145 | print @failed_suites ? "FAILED" : "PASSED"; |
Gilles Peskine | ac372cc | 2018-11-29 10:15:06 +0000 | [diff] [blame] | 146 | printf( " (%d suites, %d tests run%s)\n", |
| 147 | scalar(@suites) - $suites_skipped, |
| 148 | $total_tests_run, |
| 149 | $suites_skipped ? ", $suites_skipped suites skipped" : "" ); |
SimonB | ad8fbc0 | 2016-03-11 17:33:39 +0000 | [diff] [blame] | 150 | |
Manuel Pégourié-Gonnard | ac6c670 | 2022-10-11 10:48:32 +0200 | [diff] [blame] | 151 | if( $verbose && @failed_suites ) { |
| 152 | # the output can be very long, so provide a summary of which suites failed |
| 153 | print " failed suites : @failed_suites\n"; |
| 154 | } |
| 155 | |
Jaeden Amero | 8396a71 | 2018-10-05 13:23:35 +0100 | [diff] [blame] | 156 | if( $verbose > 1 ) { |
SimonB | ad8fbc0 | 2016-03-11 17:33:39 +0000 | [diff] [blame] | 157 | print " test cases passed :", $total_cases_passed, "\n"; |
| 158 | print " failed :", $total_cases_failed, "\n"; |
| 159 | print " skipped :", $total_cases_skipped, "\n"; |
| 160 | print " of tests executed :", ( $total_cases_passed + $total_cases_failed ), |
| 161 | "\n"; |
| 162 | print " of available tests :", |
| 163 | ( $total_cases_passed + $total_cases_failed + $total_cases_skipped ), |
Gilles Peskine | ac372cc | 2018-11-29 10:15:06 +0000 | [diff] [blame] | 164 | "\n"; |
| 165 | if( $suites_skipped != 0 ) { |
| 166 | print "Note: $suites_skipped suites were skipped.\n"; |
SimonB | ad8fbc0 | 2016-03-11 17:33:39 +0000 | [diff] [blame] | 167 | } |
Gilles Peskine | ac372cc | 2018-11-29 10:15:06 +0000 | [diff] [blame] | 168 | } |
SimonB | ad8fbc0 | 2016-03-11 17:33:39 +0000 | [diff] [blame] | 169 | |
Manuel Pégourié-Gonnard | ac6c670 | 2022-10-11 10:48:32 +0200 | [diff] [blame] | 170 | exit( @failed_suites ? 1 : 0 ); |
SimonB | ad8fbc0 | 2016-03-11 17:33:39 +0000 | [diff] [blame] | 171 | |