jvanverth@google.com | 5a90ada | 2013-02-08 17:13:09 +0000 | [diff] [blame] | 1 | |
| 2 | /* |
| 3 | * Copyright 2013 Google Inc. |
| 4 | * |
| 5 | * Use of this source code is governed by a BSD-style license that can be |
| 6 | * found in the LICENSE file. |
| 7 | */ |
| 8 | |
| 9 | #include "Test.h" |
| 10 | #include "SkRandom.h" |
| 11 | #include "SkTSort.h" |
| 12 | |
jvanverth@google.com | 897f462 | 2013-02-08 18:28:47 +0000 | [diff] [blame] | 13 | static bool anderson_darling_test(double p[32]) { |
jvanverth@google.com | 5a90ada | 2013-02-08 17:13:09 +0000 | [diff] [blame] | 14 | // Min and max Anderson-Darling values allowable for k=32 |
| 15 | const double kADMin32 = 0.202; // p-value of ~0.1 |
| 16 | const double kADMax32 = 3.89; // p-value of ~0.99 |
| 17 | |
| 18 | // sort p values |
| 19 | SkTQSort<double>(p, p + 31); |
| 20 | |
| 21 | // and compute Anderson-Darling statistic to ensure these are uniform |
| 22 | double s = 0.0; |
| 23 | for(int k = 0; k < 32; k++) { |
| 24 | double v = p[k]*(1.0 - p[31-k]); |
| 25 | if (v < 1.0e-30) { |
| 26 | v = 1.0e-30; |
| 27 | } |
| 28 | s += (2.0*(k+1)-1.0)*log(v); |
| 29 | } |
| 30 | double a2 = -32.0 - 0.03125*s; |
| 31 | |
| 32 | return (kADMin32 < a2 && a2 < kADMax32); |
| 33 | } |
| 34 | |
jvanverth@google.com | 897f462 | 2013-02-08 18:28:47 +0000 | [diff] [blame] | 35 | static bool chi_square_test(int bins[256], int e) { |
jvanverth@google.com | 5a90ada | 2013-02-08 17:13:09 +0000 | [diff] [blame] | 36 | // Min and max chisquare values allowable |
| 37 | const double kChiSqMin256 = 206.3179; // probability of chance = 0.99 with k=256 |
| 38 | const double kChiSqMax256 = 311.5603; // probability of chance = 0.01 with k=256 |
| 39 | |
| 40 | // compute chi-square |
| 41 | double chi2 = 0.0; |
| 42 | for (int j = 0; j < 256; ++j) { |
| 43 | double delta = bins[j] - e; |
| 44 | chi2 += delta*delta/e; |
| 45 | } |
| 46 | |
| 47 | return (kChiSqMin256 < chi2 && chi2 < kChiSqMax256); |
| 48 | } |
| 49 | |
| 50 | // Approximation to the normal distribution CDF |
| 51 | // From Waissi and Rossin, 1996 |
jvanverth@google.com | 897f462 | 2013-02-08 18:28:47 +0000 | [diff] [blame] | 52 | static double normal_cdf(double z) { |
jvanverth@google.com | 5a90ada | 2013-02-08 17:13:09 +0000 | [diff] [blame] | 53 | double t = ((-0.0004406*z*z* + 0.0418198)*z*z + 0.9)*z; |
| 54 | t *= -1.77245385091; // -sqrt(PI) |
| 55 | double p = 1.0/(1.0 + exp(t)); |
| 56 | |
| 57 | return p; |
| 58 | } |
| 59 | |
jvanverth@google.com | 897f462 | 2013-02-08 18:28:47 +0000 | [diff] [blame] | 60 | static void test_random_byte(skiatest::Reporter* reporter, int shift) { |
jvanverth@google.com | 5a90ada | 2013-02-08 17:13:09 +0000 | [diff] [blame] | 61 | int bins[256]; |
| 62 | memset(bins, 0, sizeof(int)*256); |
| 63 | |
| 64 | SkMWCRandom rand; |
| 65 | for (int i = 0; i < 256*10000; ++i) { |
| 66 | bins[(rand.nextU() >> shift) & 0xff]++; |
| 67 | } |
skia.committer@gmail.com | 8626719 | 2013-02-09 07:05:02 +0000 | [diff] [blame] | 68 | |
jvanverth@google.com | 5a90ada | 2013-02-08 17:13:09 +0000 | [diff] [blame] | 69 | REPORTER_ASSERT(reporter, chi_square_test(bins, 10000)); |
| 70 | } |
| 71 | |
jvanverth@google.com | 897f462 | 2013-02-08 18:28:47 +0000 | [diff] [blame] | 72 | static void test_random_float(skiatest::Reporter* reporter) { |
jvanverth@google.com | 5a90ada | 2013-02-08 17:13:09 +0000 | [diff] [blame] | 73 | int bins[256]; |
| 74 | memset(bins, 0, sizeof(int)*256); |
| 75 | |
| 76 | SkMWCRandom rand; |
| 77 | for (int i = 0; i < 256*10000; ++i) { |
| 78 | float f = rand.nextF(); |
| 79 | REPORTER_ASSERT(reporter, 0.0f <= f && f < 1.0f); |
| 80 | bins[(int)(f*256.f)]++; |
| 81 | } |
| 82 | REPORTER_ASSERT(reporter, chi_square_test(bins, 10000)); |
| 83 | |
| 84 | double p[32]; |
| 85 | for (int j = 0; j < 32; ++j) { |
| 86 | float f = rand.nextF(); |
| 87 | REPORTER_ASSERT(reporter, 0.0f <= f && f < 1.0f); |
| 88 | p[j] = f; |
| 89 | } |
| 90 | REPORTER_ASSERT(reporter, anderson_darling_test(p)); |
| 91 | } |
| 92 | |
| 93 | // This is a test taken from tuftests by Marsaglia and Tsang. The idea here is that |
| 94 | // we are using the random bit generated from a single shift position to generate |
skia.committer@gmail.com | 8626719 | 2013-02-09 07:05:02 +0000 | [diff] [blame] | 95 | // "strings" of 16 bits in length, shifting the string and adding a new bit with each |
jvanverth@google.com | 5a90ada | 2013-02-08 17:13:09 +0000 | [diff] [blame] | 96 | // iteration. We track the numbers generated. The ones that we don't generate will |
skia.committer@gmail.com | 8626719 | 2013-02-09 07:05:02 +0000 | [diff] [blame] | 97 | // have a normal distribution with mean ~24108 and standard deviation ~127. By |
jvanverth@google.com | 5a90ada | 2013-02-08 17:13:09 +0000 | [diff] [blame] | 98 | // creating a z-score (# of deviations from the mean) for one iteration of this step |
| 99 | // we can determine its probability. |
| 100 | // |
skia.committer@gmail.com | 8626719 | 2013-02-09 07:05:02 +0000 | [diff] [blame] | 101 | // The original test used 26 bit strings, but is somewhat slow. This version uses 16 |
jvanverth@google.com | 5a90ada | 2013-02-08 17:13:09 +0000 | [diff] [blame] | 102 | // bits which is less rigorous but much faster to generate. |
jvanverth@google.com | 897f462 | 2013-02-08 18:28:47 +0000 | [diff] [blame] | 103 | static double test_single_gorilla(skiatest::Reporter* reporter, int shift) { |
jvanverth@google.com | 5a90ada | 2013-02-08 17:13:09 +0000 | [diff] [blame] | 104 | const int kWordWidth = 16; |
| 105 | const double kMean = 24108.0; |
| 106 | const double kStandardDeviation = 127.0; |
| 107 | const int kN = (1 << kWordWidth); |
| 108 | const int kNumEntries = kN >> 5; // dividing by 32 |
| 109 | unsigned int entries[kNumEntries]; |
| 110 | |
| 111 | SkMWCRandom rand; |
| 112 | memset(entries, 0, sizeof(unsigned int)*kNumEntries); |
| 113 | // pre-seed our string value |
| 114 | int value = 0; |
| 115 | for (int i = 0; i < kWordWidth-1; ++i) { |
| 116 | value <<= 1; |
| 117 | unsigned int rnd = rand.nextU(); |
| 118 | value |= ((rnd >> shift) & 0x1); |
| 119 | } |
| 120 | |
| 121 | // now make some strings and track them |
| 122 | for (int i = 0; i < kN; ++i) { |
| 123 | value <<= 1; |
| 124 | unsigned int rnd = rand.nextU(); |
| 125 | value |= ((rnd >> shift) & 0x1); |
| 126 | |
| 127 | int index = value & (kNumEntries-1); |
| 128 | SkASSERT(index < kNumEntries); |
jvanverth@google.com | 024e523 | 2013-02-14 13:20:35 +0000 | [diff] [blame] | 129 | int entry_shift = (value >> (kWordWidth-5)) & 0x1f; |
jvanverth@google.com | 5a90ada | 2013-02-08 17:13:09 +0000 | [diff] [blame] | 130 | entries[index] |= (0x1 << entry_shift); |
| 131 | } |
| 132 | |
| 133 | // count entries |
| 134 | int total = 0; |
| 135 | for (int i = 0; i < kNumEntries; ++i) { |
| 136 | unsigned int entry = entries[i]; |
| 137 | while (entry) { |
| 138 | total += (entry & 0x1); |
| 139 | entry >>= 1; |
| 140 | } |
| 141 | } |
| 142 | |
| 143 | // convert counts to normal distribution z-score |
skia.committer@gmail.com | 8626719 | 2013-02-09 07:05:02 +0000 | [diff] [blame] | 144 | double z = ((kN-total)-kMean)/kStandardDeviation; |
jvanverth@google.com | 5a90ada | 2013-02-08 17:13:09 +0000 | [diff] [blame] | 145 | |
skia.committer@gmail.com | 8626719 | 2013-02-09 07:05:02 +0000 | [diff] [blame] | 146 | // compute probability from normal distibution CDF |
jvanverth@google.com | 5a90ada | 2013-02-08 17:13:09 +0000 | [diff] [blame] | 147 | double p = normal_cdf(z); |
| 148 | |
jvanverth@google.com | 024e523 | 2013-02-14 13:20:35 +0000 | [diff] [blame] | 149 | REPORTER_ASSERT(reporter, 0.01 < p && p < 0.99); |
jvanverth@google.com | 5a90ada | 2013-02-08 17:13:09 +0000 | [diff] [blame] | 150 | return p; |
| 151 | } |
| 152 | |
jvanverth@google.com | 897f462 | 2013-02-08 18:28:47 +0000 | [diff] [blame] | 153 | static void test_gorilla(skiatest::Reporter* reporter) { |
jvanverth@google.com | 5a90ada | 2013-02-08 17:13:09 +0000 | [diff] [blame] | 154 | |
| 155 | double p[32]; |
| 156 | for (int bit_position = 0; bit_position < 32; ++bit_position) { |
| 157 | p[bit_position] = test_single_gorilla(reporter, bit_position); |
| 158 | } |
skia.committer@gmail.com | 8626719 | 2013-02-09 07:05:02 +0000 | [diff] [blame] | 159 | |
jvanverth@google.com | 024e523 | 2013-02-14 13:20:35 +0000 | [diff] [blame] | 160 | REPORTER_ASSERT(reporter, anderson_darling_test(p)); |
jvanverth@google.com | 5a90ada | 2013-02-08 17:13:09 +0000 | [diff] [blame] | 161 | } |
| 162 | |
jvanverth@google.com | 897f462 | 2013-02-08 18:28:47 +0000 | [diff] [blame] | 163 | static void test_range(skiatest::Reporter* reporter) { |
jvanverth@google.com | 5a90ada | 2013-02-08 17:13:09 +0000 | [diff] [blame] | 164 | SkMWCRandom rand; |
skia.committer@gmail.com | 8626719 | 2013-02-09 07:05:02 +0000 | [diff] [blame] | 165 | |
jvanverth@google.com | 5a90ada | 2013-02-08 17:13:09 +0000 | [diff] [blame] | 166 | // just to make sure we don't crash in this case |
| 167 | (void) rand.nextRangeU(0, 0xffffffff); |
| 168 | |
| 169 | // check a case to see if it's uniform |
| 170 | int bins[256]; |
| 171 | memset(bins, 0, sizeof(int)*256); |
| 172 | for (int i = 0; i < 256*10000; ++i) { |
| 173 | unsigned int u = rand.nextRangeU(17, 17+255); |
| 174 | REPORTER_ASSERT(reporter, 17 <= u && u <= 17+255); |
| 175 | bins[u - 17]++; |
| 176 | } |
| 177 | |
| 178 | REPORTER_ASSERT(reporter, chi_square_test(bins, 10000)); |
| 179 | } |
| 180 | |
| 181 | static void TestRandom(skiatest::Reporter* reporter) { |
| 182 | // check uniform distributions of each byte in 32-bit word |
| 183 | test_random_byte(reporter, 0); |
| 184 | test_random_byte(reporter, 8); |
| 185 | test_random_byte(reporter, 16); |
| 186 | test_random_byte(reporter, 24); |
| 187 | |
| 188 | test_random_float(reporter); |
| 189 | |
humper@google.com | 7cacbbd | 2013-02-08 18:44:27 +0000 | [diff] [blame] | 190 | test_gorilla(reporter); |
jvanverth@google.com | 5a90ada | 2013-02-08 17:13:09 +0000 | [diff] [blame] | 191 | |
| 192 | test_range(reporter); |
| 193 | } |
| 194 | |
| 195 | #include "TestClassDef.h" |
| 196 | DEFINE_TESTCLASS("Random", RandomTestClass, TestRandom) |