From 293cbe5135d64a1c85bb5125d9d4a1f6f39886f8 Mon Sep 17 00:00:00 2001 From: Joshua Haberman Date: Fri, 17 Jul 2009 13:47:21 -0700 Subject: Enhanced testing. --- tests/tests.c | 192 +++++++++++++++++++++++++++++++++++++++++++++------------- 1 file changed, 149 insertions(+), 43 deletions(-) diff --git a/tests/tests.c b/tests/tests.c index 7bc5dde..81f09f0 100644 --- a/tests/tests.c +++ b/tests/tests.c @@ -1,4 +1,5 @@ +#undef NDEBUG /* ensure tests always assert. */ #include #include #include @@ -9,64 +10,169 @@ #include "upb_msg.c" #include "upb_table.c" -void test_get_v_uint64_t() +int num_assertions = 0; +#define ASSERT(expr) do { \ + ++num_assertions; \ + assert(expr); \ + } while(0) + +static void test_get_v_uint64_t() +{ +#define TEST(name, bytes, val) {\ + upb_status_t status; \ + uint8_t name[] = bytes; \ + void *name ## _buf = name; \ + uint64_t name ## _val = 0; \ + status = get_v_uint64_t(&name ## _buf, name + sizeof(name), &name ## _val); \ + ASSERT(status == UPB_STATUS_OK); \ + ASSERT(name ## _val == val); \ + ASSERT(name ## _buf == name + sizeof(name) - 1); /* - 1 for NULL */ \ + } + + TEST(zero, "\x00", 0ULL); + TEST(one, "\x01", 1ULL); + TEST(twob, "\x81\x03", 0x181ULL); + TEST(threeb, "\x81\x83\x07", 0x1c181ULL); + TEST(fourb, "\x81\x83\x87\x0f", 0x1e1c181ULL); + TEST(fiveb, "\x81\x83\x87\x8f\x1f", 0x1f1e1c181ULL); + TEST(sixb, "\x81\x83\x87\x8f\x9f\x3f", 0x1f9f1e1c181ULL); + TEST(sevenb, "\x81\x83\x87\x8f\x9f\xbf\x7f", 0x1fdf9f1e1c181ULL); + TEST(eightb, "\x81\x83\x87\x8f\x9f\xbf\xff\x01", 0x3fdf9f1e1c181ULL); + TEST(nineb, "\x81\x83\x87\x8f\x9f\xbf\xff\x81\x03", 0x303fdf9f1e1c181ULL); + TEST(tenb, "\x81\x83\x87\x8f\x9f\xbf\xff\x81\x83\x07", 0x8303fdf9f1e1c181ULL); + + uint8_t elevenbyte[] = {0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x01}; + void *elevenbyte_buf = elevenbyte; + uint64_t elevenbyte_val = 0; + upb_status_t status = get_v_uint64_t(&elevenbyte_buf, elevenbyte + sizeof(elevenbyte), &elevenbyte_val); + ASSERT(status == UPB_ERROR_UNTERMINATED_VARINT); + status = get_v_uint64_t(&elevenbyte_buf, elevenbyte + sizeof(elevenbyte)-1, &elevenbyte_val); + /* Byte 10 is 0x80, so we know it's unterminated. */ + ASSERT(status == UPB_ERROR_UNTERMINATED_VARINT); + status = get_v_uint64_t(&elevenbyte_buf, elevenbyte + sizeof(elevenbyte)-2, &elevenbyte_val); + ASSERT(status == UPB_STATUS_NEED_MORE_DATA); +#undef TEST +} + +static void test_get_v_uint32_t() { - upb_status_t status; - - uint8_t zero[] = {0x00}; - void *zero_buf = zero; - uint64_t zero_val = 0; - status = get_v_uint64_t(&zero_buf, zero + sizeof(zero), &zero_val); - assert(status == UPB_STATUS_OK); - assert(zero_val == 0); - assert(zero_buf == zero + sizeof(zero)); - - uint8_t one[] = {0x01}; - void *one_buf = one; - uint64_t one_val = 0; - status = get_v_uint64_t(&one_buf, one + sizeof(one), &one_val); - assert(status == UPB_STATUS_OK); - assert(one_val == 1); - assert(one_buf == one + sizeof(one)); - - uint8_t twobyte[] = {0xAC, 0x02}; - void *twobyte_buf = twobyte; - uint64_t twobyte_val = 0; - status = get_v_uint64_t(&twobyte_buf, twobyte + sizeof(twobyte), &twobyte_val); - assert(status == UPB_STATUS_OK); - assert(twobyte_val == 300); - assert(twobyte_buf == twobyte + sizeof(twobyte)); - - uint8_t tenbyte[] = {0x81, 0x82, 0x83, 0x84, 0x85, 0x86, 0x87, 0x88, 0x89, 0x7F}; - void *tenbyte_buf = tenbyte; - uint64_t tenbyte_val = 0; - status = get_v_uint64_t(&tenbyte_buf, tenbyte + sizeof(tenbyte), &tenbyte_val); - assert(status == UPB_STATUS_OK); - assert(tenbyte_val == 0x89101c305080c101); - assert(tenbyte_buf == tenbyte + sizeof(tenbyte)); +#define TEST(name, bytes, val) {\ + upb_status_t status; \ + uint8_t name[] = bytes; \ + void *name ## _buf = name; \ + uint32_t name ## _val = 0; \ + status = get_v_uint32_t(&name ## _buf, name + sizeof(name), &name ## _val); \ + ASSERT(status == UPB_STATUS_OK); \ + ASSERT(name ## _val == val); \ + ASSERT(name ## _buf == name + sizeof(name) - 1); /* - 1 for NULL */ \ + } + + TEST(zero, "\x00", 0UL); + TEST(one, "\x01", 1UL); + TEST(twob, "\x81\x03", 0x181UL); + TEST(threeb, "\x81\x83\x07", 0x1c181UL); + TEST(fourb, "\x81\x83\x87\x0f", 0x1e1c181UL); + /* get_v_uint32_t truncates, so all the rest return the same thing. */ + TEST(fiveb, "\x81\x83\x87\x8f\x1f", 0xf1e1c181UL); + TEST(sixb, "\x81\x83\x87\x8f\x9f\x3f", 0xf1e1c181UL); + TEST(sevenb, "\x81\x83\x87\x8f\x9f\xbf\x7f", 0xf1e1c181UL); + TEST(eightb, "\x81\x83\x87\x8f\x9f\xbf\xff\x01", 0xf1e1c181UL); + TEST(nineb, "\x81\x83\x87\x8f\x9f\xbf\xff\x81\x03", 0xf1e1c181UL); + TEST(tenb, "\x81\x83\x87\x8f\x9f\xbf\xff\x81\x83\x07", 0xf1e1c181UL); uint8_t elevenbyte[] = {0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x01}; void *elevenbyte_buf = elevenbyte; uint64_t elevenbyte_val = 0; - status = get_v_uint64_t(&elevenbyte_buf, elevenbyte + sizeof(elevenbyte), &elevenbyte_val); - assert(status == UPB_ERROR_UNTERMINATED_VARINT); + upb_status_t status = get_v_uint64_t(&elevenbyte_buf, elevenbyte + sizeof(elevenbyte), &elevenbyte_val); + ASSERT(status == UPB_ERROR_UNTERMINATED_VARINT); status = get_v_uint64_t(&elevenbyte_buf, elevenbyte + sizeof(elevenbyte)-1, &elevenbyte_val); /* Byte 10 is 0x80, so we know it's unterminated. */ - assert(status == UPB_ERROR_UNTERMINATED_VARINT); + ASSERT(status == UPB_ERROR_UNTERMINATED_VARINT); status = get_v_uint64_t(&elevenbyte_buf, elevenbyte + sizeof(elevenbyte)-2, &elevenbyte_val); - assert(status == UPB_STATUS_NEED_MORE_DATA); + ASSERT(status == UPB_STATUS_NEED_MORE_DATA); +#undef TEST +} + +static void test_skip_v_uint64_t() +{ +#define TEST(name, bytes) {\ + upb_status_t status; \ + uint8_t name[] = bytes; \ + void *name ## _buf = name; \ + status = skip_v_uint64_t(&name ## _buf, name + sizeof(name)); \ + ASSERT(status == UPB_STATUS_OK); \ + ASSERT(name ## _buf == name + sizeof(name) - 1); /* - 1 for NULL */ \ + } + + TEST(zero, "\x00"); + TEST(one, "\x01"); + TEST(twob, "\x81\x03"); + TEST(threeb, "\x81\x83\x07"); + TEST(fourb, "\x81\x83\x87\x0f"); + TEST(fiveb, "\x81\x83\x87\x8f\x1f"); + TEST(sixb, "\x81\x83\x87\x8f\x9f\x3f"); + TEST(sevenb, "\x81\x83\x87\x8f\x9f\xbf\x7f"); + TEST(eightb, "\x81\x83\x87\x8f\x9f\xbf\xff\x01"); + TEST(nineb, "\x81\x83\x87\x8f\x9f\xbf\xff\x81\x03"); + TEST(tenb, "\x81\x83\x87\x8f\x9f\xbf\xff\x81\x83\x07"); + + uint8_t elevenbyte[] = {0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x80, 0x01}; + void *elevenbyte_buf = elevenbyte; + upb_status_t status = skip_v_uint64_t(&elevenbyte_buf, elevenbyte + sizeof(elevenbyte)); + ASSERT(status == UPB_ERROR_UNTERMINATED_VARINT); + status = skip_v_uint64_t(&elevenbyte_buf, elevenbyte + sizeof(elevenbyte)-1); + /* Byte 10 is 0x80, so we know it's unterminated. */ + ASSERT(status == UPB_ERROR_UNTERMINATED_VARINT); + status = skip_v_uint64_t(&elevenbyte_buf, elevenbyte + sizeof(elevenbyte)-2); + ASSERT(status == UPB_STATUS_NEED_MORE_DATA); +#undef TEST } -void test_upb_context() { +static void test_get_f_uint32_t() +{ +#define TEST(name, bytes, val) {\ + upb_status_t status; \ + uint8_t name[] = bytes; \ + void *name ## _buf = name; \ + uint32_t name ## _val = 0; \ + status = get_f_uint32_t(&name ## _buf, name + sizeof(name), &name ## _val); \ + ASSERT(status == UPB_STATUS_OK); \ + ASSERT(name ## _val == val); \ + ASSERT(name ## _buf == name + sizeof(name) - 1); /* - 1 for NULL */ \ + } + + TEST(zero, "\x00\x00\x00\x00", 0x0UL); + TEST(one, "\x01\x00\x00\x00", 0x1UL); + + uint8_t threeb[] = {0x00, 0x00, 0x00}; + void *threeb_buf = threeb; + uint32_t threeb_val; + upb_status_t status = get_f_uint32_t(&threeb_buf, threeb + sizeof(threeb), &threeb_val); + ASSERT(status == UPB_STATUS_NEED_MORE_DATA); + +#undef TEST +} + +static void test_upb_context() { struct upb_context c; - assert(upb_context_init(&c)); + ASSERT(upb_context_init(&c)); upb_context_free(&c); } int main() { - test_get_v_uint64_t(); - test_upb_context(); - printf("All tests passed.\n"); +#define TEST(func) do { \ + int assertions_before = num_assertions; \ + printf("Running " #func "..."); fflush(stdout); \ + func(); \ + printf("ok (%d assertions).\n", num_assertions - assertions_before); \ + } while (0) + + TEST(test_get_v_uint64_t); + TEST(test_get_v_uint32_t); + TEST(test_skip_v_uint64_t); + TEST(test_get_f_uint32_t); + TEST(test_upb_context); + printf("All tests passed (%d assertions).\n", num_assertions); return 0; } -- cgit v1.2.3