1// Copyright (c) 2010 Google Inc. 2// All rights reserved. 3// 4// Redistribution and use in source and binary forms, with or without 5// modification, are permitted provided that the following conditions are 6// met: 7// 8// * Redistributions of source code must retain the above copyright 9// notice, this list of conditions and the following disclaimer. 10// * Redistributions in binary form must reproduce the above 11// copyright notice, this list of conditions and the following disclaimer 12// in the documentation and/or other materials provided with the 13// distribution. 14// * Neither the name of Google Inc. nor the names of its 15// contributors may be used to endorse or promote products derived from 16// this software without specific prior written permission. 17// 18// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 19// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 20// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 21// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 22// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 23// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 24// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 25// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 26// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 27// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 28// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 29 30// static_range_map_unittest.cc: Unit tests for StaticRangeMap. 31// 32// Author: Siyang Xie (lambxsy@google.com) 33 34#include "breakpad_googletest_includes.h" 35#include "common/scoped_ptr.h" 36#include "processor/range_map-inl.h" 37#include "processor/static_range_map-inl.h" 38#include "processor/simple_serializer-inl.h" 39#include "processor/map_serializers-inl.h" 40#include "processor/logging.h" 41 42 43namespace { 44// Types used for testing. 45typedef int AddressType; 46typedef int EntryType; 47typedef google_breakpad::StaticRangeMap< AddressType, EntryType > TestMap; 48typedef google_breakpad::RangeMap< AddressType, EntryType > RMap; 49 50// RangeTest contains data to use for store and retrieve tests. See 51// RunTests for descriptions of the tests. 52struct RangeTest { 53 // Base address to use for test 54 AddressType address; 55 56 // Size of range to use for test 57 AddressType size; 58 59 // Unique ID of range - unstorable ranges must have unique IDs too 60 EntryType id; 61 62 // Whether this range is expected to be stored successfully or not 63 bool expect_storable; 64}; 65 66// A RangeTestSet encompasses multiple RangeTests, which are run in 67// sequence on the same RangeMap. 68struct RangeTestSet { 69 // An array of RangeTests 70 const RangeTest* range_tests; 71 72 // The number of tests in the set 73 unsigned int range_test_count; 74}; 75 76// These tests will be run sequentially. The first set of tests exercises 77// most functions of RangeTest, and verifies all of the bounds-checking. 78const RangeTest range_tests_0[] = { 79 { INT_MIN, 16, 1, true }, // lowest possible range 80 { -2, 5, 2, true }, // a range through zero 81 { INT_MAX - 9, 11, 3, false }, // tests anti-overflow 82 { INT_MAX - 9, 10, 4, true }, // highest possible range 83 { 5, 0, 5, false }, // tests anti-zero-size 84 { 5, 1, 6, true }, // smallest possible range 85 { -20, 15, 7, true }, // entirely negative 86 87 { 10, 10, 10, true }, // causes the following tests to fail 88 { 9, 10, 11, false }, // one-less base, one-less high 89 { 9, 11, 12, false }, // one-less base, identical high 90 { 9, 12, 13, false }, // completely contains existing 91 { 10, 9, 14, false }, // identical base, one-less high 92 { 10, 10, 15, false }, // exactly identical to existing range 93 { 10, 11, 16, false }, // identical base, one-greater high 94 { 11, 8, 17, false }, // contained completely within 95 { 11, 9, 18, false }, // one-greater base, identical high 96 { 11, 10, 19, false }, // one-greater base, one-greater high 97 { 9, 2, 20, false }, // overlaps bottom by one 98 { 10, 1, 21, false }, // overlaps bottom by one, contained 99 { 19, 1, 22, false }, // overlaps top by one, contained 100 { 19, 2, 23, false }, // overlaps top by one 101 102 { 9, 1, 24, true }, // directly below without overlap 103 { 20, 1, 25, true }, // directly above without overlap 104 105 { 6, 3, 26, true }, // exactly between two ranges, gapless 106 { 7, 3, 27, false }, // tries to span two ranges 107 { 7, 5, 28, false }, // tries to span three ranges 108 { 4, 20, 29, false }, // tries to contain several ranges 109 110 { 30, 50, 30, true }, 111 { 90, 25, 31, true }, 112 { 35, 65, 32, false }, // tries to span two noncontiguous 113 { 120, 10000, 33, true }, // > 8-bit 114 { 20000, 20000, 34, true }, // > 8-bit 115 { 0x10001, 0x10001, 35, true }, // > 16-bit 116 117 { 27, -1, 36, false } // tests high < base 118}; 119 120// Attempt to fill the entire space. The entire space must be filled with 121// three stores because AddressType is signed for these tests, so RangeMap 122// treats the size as signed and rejects sizes that appear to be negative. 123// Even if these tests were run as unsigned, two stores would be needed 124// to fill the space because the entire size of the space could only be 125// described by using one more bit than would be present in AddressType. 126const RangeTest range_tests_1[] = { 127 { INT_MIN, INT_MAX, 50, true }, // From INT_MIN to -2, inclusive 128 { -1, 2, 51, true }, // From -1 to 0, inclusive 129 { 1, INT_MAX, 52, true }, // From 1 to INT_MAX, inclusive 130 { INT_MIN, INT_MAX, 53, false }, // Can't fill the space twice 131 { -1, 2, 54, false }, 132 { 1, INT_MAX, 55, false }, 133 { -3, 6, 56, false }, // -3 to 2, inclusive - spans 3 ranges 134}; 135 136// A light round of testing to verify that RetrieveRange does the right 137// the right thing at the extremities of the range when nothing is stored 138// there. Checks are forced without storing anything at the extremities 139// by setting size = 0. 140const RangeTest range_tests_2[] = { 141 { INT_MIN, 0, 100, false }, // makes RetrieveRange check low end 142 { -1, 3, 101, true }, 143 { INT_MAX, 0, 102, false }, // makes RetrieveRange check high end 144}; 145 146// Similar to the previous test set, but with a couple of ranges closer 147// to the extremities. 148const RangeTest range_tests_3[] = { 149 { INT_MIN + 1, 1, 110, true }, 150 { INT_MAX - 1, 1, 111, true }, 151 { INT_MIN, 0, 112, false }, // makes RetrieveRange check low end 152 { INT_MAX, 0, 113, false } // makes RetrieveRange check high end 153}; 154 155// The range map is cleared between sets of tests listed here. 156const RangeTestSet range_test_sets[] = { 157 { range_tests_0, sizeof(range_tests_0) / sizeof(RangeTest) }, 158 { range_tests_1, sizeof(range_tests_1) / sizeof(RangeTest) }, 159 { range_tests_2, sizeof(range_tests_2) / sizeof(RangeTest) }, 160 { range_tests_3, sizeof(range_tests_3) / sizeof(RangeTest) }, 161 { range_tests_0, sizeof(range_tests_0) / sizeof(RangeTest) } // Run again 162}; 163 164} // namespace 165 166namespace google_breakpad { 167class TestStaticRangeMap : public ::testing::Test { 168 protected: 169 void SetUp() { 170 kTestCasesCount_ = sizeof(range_test_sets) / sizeof(RangeTestSet); 171 } 172 173 // StoreTest uses the data in a RangeTest and calls StoreRange on the 174 // test RangeMap. It returns true if the expected result occurred, and 175 // false if something else happened. 176 void StoreTest(RMap* range_map, const RangeTest* range_test); 177 178 // RetrieveTest uses the data in RangeTest and calls RetrieveRange on the 179 // test RangeMap. If it retrieves the expected value (which can be no 180 // map entry at the specified range,) it returns true, otherwise, it returns 181 // false. RetrieveTest will check the values around the base address and 182 // the high address of a range to guard against off-by-one errors. 183 void RetrieveTest(TestMap* range_map, const RangeTest* range_test); 184 185 // Test RetrieveRangeAtIndex, which is supposed to return objects in order 186 // according to their addresses. This test is performed by looping through 187 // the map, calling RetrieveRangeAtIndex for all possible indices in sequence, 188 // and verifying that each call returns a different object than the previous 189 // call, and that ranges are returned with increasing base addresses. Returns 190 // false if the test fails. 191 void RetrieveIndexTest(const TestMap* range_map, int set); 192 193 void RunTestCase(int test_case); 194 195 unsigned int kTestCasesCount_; 196 RangeMapSerializer<AddressType, EntryType> serializer_; 197}; 198 199void TestStaticRangeMap::StoreTest(RMap* range_map, 200 const RangeTest* range_test) { 201 bool stored = range_map->StoreRange(range_test->address, 202 range_test->size, 203 range_test->id); 204 EXPECT_EQ(stored, range_test->expect_storable) 205 << "StoreRange id " << range_test->id << "FAILED"; 206} 207 208void TestStaticRangeMap::RetrieveTest(TestMap* range_map, 209 const RangeTest* range_test) { 210 for (unsigned int side = 0; side <= 1; ++side) { 211 // When side == 0, check the low side (base address) of each range. 212 // When side == 1, check the high side (base + size) of each range. 213 214 // Check one-less and one-greater than the target address in addition 215 // to the target address itself. 216 217 // If the size of the range is only 1, don't check one greater than 218 // the base or one less than the high - for a successfully stored 219 // range, these tests would erroneously fail because the range is too 220 // small. 221 AddressType low_offset = -1; 222 AddressType high_offset = 1; 223 if (range_test->size == 1) { 224 if (!side) // When checking the low side, 225 high_offset = 0; // don't check one over the target. 226 else // When checking the high side, 227 low_offset = 0; // don't check one under the target. 228 } 229 230 for (AddressType offset = low_offset; offset <= high_offset; ++offset) { 231 AddressType address = 232 offset + 233 (!side ? range_test->address : 234 range_test->address + range_test->size - 1); 235 236 bool expected_result = false; // This is correct for tests not stored. 237 if (range_test->expect_storable) { 238 if (offset == 0) // When checking the target address, 239 expected_result = true; // test should always succeed. 240 else if (offset == -1) // When checking one below the target, 241 expected_result = side; // should fail low and succeed high. 242 else // When checking one above the target, 243 expected_result = !side; // should succeed low and fail high. 244 } 245 246 const EntryType* id; 247 AddressType retrieved_base; 248 AddressType retrieved_size; 249 bool retrieved = range_map->RetrieveRange(address, id, 250 &retrieved_base, 251 &retrieved_size); 252 253 bool observed_result = retrieved && *id == range_test->id; 254 EXPECT_EQ(observed_result, expected_result) 255 << "RetrieveRange id " << range_test->id 256 << ", side " << side << ", offset " << offset << " FAILED."; 257 258 // If a range was successfully retrieved, check that the returned 259 // bounds match the range as stored. 260 if (observed_result == true) { 261 EXPECT_EQ(retrieved_base, range_test->address) 262 << "RetrieveRange id " << range_test->id 263 << ", side " << side << ", offset " << offset << " FAILED."; 264 EXPECT_EQ(retrieved_size, range_test->size) 265 << "RetrieveRange id " << range_test->id 266 << ", side " << side << ", offset " << offset << " FAILED."; 267 } 268 269 // Now, check RetrieveNearestRange. The nearest range is always 270 // expected to be different from the test range when checking one 271 // less than the low side. 272 bool expected_nearest = range_test->expect_storable; 273 if (!side && offset < 0) 274 expected_nearest = false; 275 276 AddressType nearest_base; 277 AddressType nearest_size; 278 bool retrieved_nearest = range_map->RetrieveNearestRange(address, 279 id, 280 &nearest_base, 281 &nearest_size); 282 283 // When checking one greater than the high side, RetrieveNearestRange 284 // should usually return the test range. When a different range begins 285 // at that address, though, then RetrieveNearestRange should return the 286 // range at the address instead of the test range. 287 if (side && offset > 0 && nearest_base == address) { 288 expected_nearest = false; 289 } 290 291 bool observed_nearest = retrieved_nearest && 292 *id == range_test->id; 293 294 EXPECT_EQ(observed_nearest, expected_nearest) 295 << "RetrieveRange id " << range_test->id 296 << ", side " << side << ", offset " << offset << " FAILED."; 297 298 // If a range was successfully retrieved, check that the returned 299 // bounds match the range as stored. 300 if (expected_nearest ==true) { 301 EXPECT_EQ(nearest_base, range_test->address) 302 << "RetrieveRange id " << range_test->id 303 << ", side " << side << ", offset " << offset << " FAILED."; 304 EXPECT_EQ(nearest_size, range_test->size) 305 << "RetrieveRange id " << range_test->id 306 << ", side " << side << ", offset " << offset << " FAILED."; 307 } 308 } 309 } 310} 311 312void TestStaticRangeMap::RetrieveIndexTest(const TestMap* range_map, int set) { 313 AddressType last_base = 0; 314 const EntryType* last_entry = 0; 315 const EntryType* entry; 316 int object_count = range_map->GetCount(); 317 for (int object_index = 0; object_index < object_count; ++object_index) { 318 AddressType base; 319 ASSERT_TRUE(range_map->RetrieveRangeAtIndex(object_index, 320 entry, 321 &base, 322 NULL)) 323 << "FAILED: RetrieveRangeAtIndex set " << set 324 << " index " << object_index; 325 326 ASSERT_TRUE(entry) << "FAILED: RetrieveRangeAtIndex set " << set 327 << " index " << object_index; 328 329 // It's impossible to do these comparisons unless there's a previous 330 // object to compare against. 331 if (last_entry) { 332 // The object must be different from the last_entry one. 333 EXPECT_NE(*entry, *last_entry) << "FAILED: RetrieveRangeAtIndex set " 334 << set << " index " << object_index; 335 // Each object must have a base greater than the previous object's base. 336 EXPECT_GT(base, last_base) << "FAILED: RetrieveRangeAtIndex set " << set 337 << " index " << object_index; 338 } 339 last_entry = entry; 340 last_base = base; 341 } 342 343 // Make sure that RetrieveRangeAtIndex doesn't allow lookups at indices that 344 // are too high. 345 ASSERT_FALSE(range_map->RetrieveRangeAtIndex( 346 object_count, entry, NULL, NULL)) << "FAILED: RetrieveRangeAtIndex set " 347 << set << " index " << object_count 348 << " (too large)"; 349} 350 351// RunTests runs a series of test sets. 352void TestStaticRangeMap::RunTestCase(int test_case) { 353 // Maintain the range map in a pointer so that deletion can be meaningfully 354 // tested. 355 scoped_ptr<RMap> rmap(new RMap()); 356 357 const RangeTest* range_tests = range_test_sets[test_case].range_tests; 358 unsigned int range_test_count = range_test_sets[test_case].range_test_count; 359 360 // Run the StoreRange test, which validates StoreRange and initializes 361 // the RangeMap with data for the RetrieveRange test. 362 int stored_count = 0; // The number of ranges successfully stored 363 for (unsigned int range_test_index = 0; 364 range_test_index < range_test_count; 365 ++range_test_index) { 366 const RangeTest* range_test = &range_tests[range_test_index]; 367 StoreTest(rmap.get(), range_test); 368 369 if (range_test->expect_storable) 370 ++stored_count; 371 } 372 373 scoped_array<char> memaddr(serializer_.Serialize(*rmap, NULL)); 374 scoped_ptr<TestMap> static_range_map(new TestMap(memaddr.get())); 375 376 // The RangeMap's own count of objects should also match. 377 EXPECT_EQ(static_range_map->GetCount(), stored_count); 378 379 // Run the RetrieveRange test 380 for (unsigned int range_test_index = 0; 381 range_test_index < range_test_count; 382 ++range_test_index) { 383 const RangeTest* range_test = &range_tests[range_test_index]; 384 RetrieveTest(static_range_map.get(), range_test); 385 } 386 387 RetrieveIndexTest(static_range_map.get(), test_case); 388} 389 390TEST_F(TestStaticRangeMap, TestCase0) { 391 int test_case = 0; 392 RunTestCase(test_case); 393} 394 395TEST_F(TestStaticRangeMap, TestCase1) { 396 int test_case = 1; 397 RunTestCase(test_case); 398} 399 400TEST_F(TestStaticRangeMap, TestCase2) { 401 int test_case = 2; 402 RunTestCase(test_case); 403} 404 405TEST_F(TestStaticRangeMap, TestCase3) { 406 int test_case = 3; 407 RunTestCase(test_case); 408} 409 410TEST_F(TestStaticRangeMap, RunTestCase0Again) { 411 int test_case = 0; 412 RunTestCase(test_case); 413} 414 415} // namespace google_breakpad 416 417int main(int argc, char *argv[]) { 418 ::testing::InitGoogleTest(&argc, argv); 419 420 return RUN_ALL_TESTS(); 421} 422