| // Copyright 2016 The Chromium Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| |
| #include "http2/http2_structures.h" |
| |
| // Tests are focused on Http2FrameHeader because it has by far the most |
| // methods of any of the structures. |
| // Note that EXPECT.*DEATH tests are slow (a fork is probably involved). |
| |
| // And in case you're wondering, yes, these are ridiculously thorough tests, |
| // but believe it or not, I've found stupid bugs this way. |
| |
| #include <memory> |
| #include <ostream> |
| #include <sstream> |
| #include <string> |
| #include <tuple> |
| #include <type_traits> |
| #include <vector> |
| |
| #include "absl/strings/str_cat.h" |
| #include "http2/http2_structures_test_util.h" |
| #include "http2/platform/api/http2_test_helpers.h" |
| #include "http2/test_tools/http2_random.h" |
| #include "common/platform/api/quiche_test.h" |
| |
| using ::testing::AssertionResult; |
| using ::testing::AssertionSuccess; |
| using ::testing::Combine; |
| using ::testing::HasSubstr; |
| using ::testing::MatchesRegex; |
| using ::testing::Not; |
| using ::testing::Values; |
| using ::testing::ValuesIn; |
| |
| namespace http2 { |
| namespace test { |
| namespace { |
| |
| template <typename E> |
| E IncrementEnum(E e) { |
| using I = typename std::underlying_type<E>::type; |
| return static_cast<E>(1 + static_cast<I>(e)); |
| } |
| |
| template <class T> |
| AssertionResult VerifyRandomCalls() { |
| T t1; |
| // Initialize with a stable key, to avoid test flakiness. |
| Http2Random seq1( |
| "6d9a61ddf2bc1fc0b8245505a1f28e324559d8b5c9c3268f38b42b1af3287c47"); |
| Randomize(&t1, &seq1); |
| |
| T t2; |
| Http2Random seq2(seq1.Key()); |
| Randomize(&t2, &seq2); |
| |
| // The two Randomize calls should have made the same number of calls into |
| // the Http2Random implementations. |
| VERIFY_EQ(seq1.Rand64(), seq2.Rand64()); |
| |
| // And because Http2Random implementation is returning the same sequence, and |
| // Randomize should have been consistent in applying those results, the two |
| // Ts should have the same value. |
| VERIFY_EQ(t1, t2); |
| |
| Randomize(&t2, &seq2); |
| VERIFY_NE(t1, t2); |
| |
| Randomize(&t1, &seq1); |
| VERIFY_EQ(t1, t2); |
| |
| VERIFY_EQ(seq1.Rand64(), seq2.Rand64()); |
| |
| return AssertionSuccess(); |
| } |
| |
| #if GTEST_HAS_DEATH_TEST && !defined(NDEBUG) |
| std::vector<Http2FrameType> ValidFrameTypes() { |
| std::vector<Http2FrameType> valid_types{Http2FrameType::DATA}; |
| while (valid_types.back() != Http2FrameType::ALTSVC) { |
| valid_types.push_back(IncrementEnum(valid_types.back())); |
| } |
| return valid_types; |
| } |
| #endif // GTEST_HAS_DEATH_TEST && !defined(NDEBUG) |
| |
| TEST(Http2FrameHeaderTest, Constructor) { |
| Http2Random random; |
| uint8_t frame_type = 0; |
| do { |
| // Only the payload length is QUICHE_DCHECK'd in the constructor, so we need |
| // to make sure it is a "uint24". |
| uint32_t payload_length = random.Rand32() & 0xffffff; |
| Http2FrameType type = static_cast<Http2FrameType>(frame_type); |
| uint8_t flags = random.Rand8(); |
| uint32_t stream_id = random.Rand32(); |
| |
| Http2FrameHeader v(payload_length, type, flags, stream_id); |
| |
| EXPECT_EQ(payload_length, v.payload_length); |
| EXPECT_EQ(type, v.type); |
| EXPECT_EQ(flags, v.flags); |
| EXPECT_EQ(stream_id, v.stream_id); |
| } while (frame_type++ == 255); |
| |
| #if GTEST_HAS_DEATH_TEST && !defined(NDEBUG) |
| EXPECT_DEBUG_DEATH(Http2FrameHeader(0x01000000, Http2FrameType::DATA, 0, 1), |
| "payload_length"); |
| #endif // GTEST_HAS_DEATH_TEST && !defined(NDEBUG) |
| } |
| |
| TEST(Http2FrameHeaderTest, Eq) { |
| Http2Random random; |
| uint32_t payload_length = random.Rand32() & 0xffffff; |
| Http2FrameType type = static_cast<Http2FrameType>(random.Rand8()); |
| |
| uint8_t flags = random.Rand8(); |
| uint32_t stream_id = random.Rand32(); |
| |
| Http2FrameHeader v(payload_length, type, flags, stream_id); |
| |
| EXPECT_EQ(payload_length, v.payload_length); |
| EXPECT_EQ(type, v.type); |
| EXPECT_EQ(flags, v.flags); |
| EXPECT_EQ(stream_id, v.stream_id); |
| |
| Http2FrameHeader u(0, type, ~flags, stream_id); |
| |
| EXPECT_NE(u, v); |
| EXPECT_NE(v, u); |
| EXPECT_FALSE(u == v); |
| EXPECT_FALSE(v == u); |
| EXPECT_TRUE(u != v); |
| EXPECT_TRUE(v != u); |
| |
| u = v; |
| |
| EXPECT_EQ(u, v); |
| EXPECT_EQ(v, u); |
| EXPECT_TRUE(u == v); |
| EXPECT_TRUE(v == u); |
| EXPECT_FALSE(u != v); |
| EXPECT_FALSE(v != u); |
| |
| EXPECT_TRUE(VerifyRandomCalls<Http2FrameHeader>()); |
| } |
| |
| #if GTEST_HAS_DEATH_TEST && !defined(NDEBUG) |
| // The tests of the valid frame types include EXPECT_DEBUG_DEATH, which is |
| // quite slow, so using value parameterized tests in order to allow sharding. |
| class Http2FrameHeaderTypeAndFlagTest |
| : public QuicheTestWithParam<std::tuple<Http2FrameType, Http2FrameFlag>> { |
| protected: |
| Http2FrameHeaderTypeAndFlagTest() |
| : type_(std::get<0>(GetParam())), flags_(std::get<1>(GetParam())) { |
| HTTP2_LOG(INFO) << "Frame type: " << type_; |
| HTTP2_LOG(INFO) << "Frame flags: " |
| << Http2FrameFlagsToString(type_, flags_); |
| } |
| |
| const Http2FrameType type_; |
| const Http2FrameFlag flags_; |
| }; |
| |
| class IsEndStreamTest : public Http2FrameHeaderTypeAndFlagTest {}; |
| INSTANTIATE_TEST_SUITE_P(IsEndStream, |
| IsEndStreamTest, |
| Combine(ValuesIn(ValidFrameTypes()), |
| Values(~Http2FrameFlag::END_STREAM, 0xff))); |
| TEST_P(IsEndStreamTest, IsEndStream) { |
| const bool is_set = |
| (flags_ & Http2FrameFlag::END_STREAM) == Http2FrameFlag::END_STREAM; |
| std::string flags_string; |
| Http2FrameHeader v(0, type_, flags_, 0); |
| switch (type_) { |
| case Http2FrameType::DATA: |
| case Http2FrameType::HEADERS: |
| EXPECT_EQ(is_set, v.IsEndStream()) << v; |
| flags_string = v.FlagsToString(); |
| if (is_set) { |
| EXPECT_THAT(flags_string, MatchesRegex(".*\\|?END_STREAM\\|.*")); |
| } else { |
| EXPECT_THAT(flags_string, Not(HasSubstr("END_STREAM"))); |
| } |
| v.RetainFlags(Http2FrameFlag::END_STREAM); |
| EXPECT_EQ(is_set, v.IsEndStream()) << v; |
| { |
| std::stringstream s; |
| s << v; |
| EXPECT_EQ(v.ToString(), s.str()); |
| if (is_set) { |
| EXPECT_THAT(s.str(), HasSubstr("flags=END_STREAM,")); |
| } else { |
| EXPECT_THAT(s.str(), HasSubstr("flags=,")); |
| } |
| } |
| break; |
| default: |
| EXPECT_DEBUG_DEATH(v.IsEndStream(), "DATA.*HEADERS") << v; |
| } |
| } |
| |
| class IsACKTest : public Http2FrameHeaderTypeAndFlagTest {}; |
| INSTANTIATE_TEST_SUITE_P(IsAck, |
| IsACKTest, |
| Combine(ValuesIn(ValidFrameTypes()), |
| Values(~Http2FrameFlag::ACK, 0xff))); |
| TEST_P(IsACKTest, IsAck) { |
| const bool is_set = (flags_ & Http2FrameFlag::ACK) == Http2FrameFlag::ACK; |
| std::string flags_string; |
| Http2FrameHeader v(0, type_, flags_, 0); |
| switch (type_) { |
| case Http2FrameType::SETTINGS: |
| case Http2FrameType::PING: |
| EXPECT_EQ(is_set, v.IsAck()) << v; |
| flags_string = v.FlagsToString(); |
| if (is_set) { |
| EXPECT_THAT(flags_string, MatchesRegex(".*\\|?ACK\\|.*")); |
| } else { |
| EXPECT_THAT(flags_string, Not(HasSubstr("ACK"))); |
| } |
| v.RetainFlags(Http2FrameFlag::ACK); |
| EXPECT_EQ(is_set, v.IsAck()) << v; |
| { |
| std::stringstream s; |
| s << v; |
| EXPECT_EQ(v.ToString(), s.str()); |
| if (is_set) { |
| EXPECT_THAT(s.str(), HasSubstr("flags=ACK,")); |
| } else { |
| EXPECT_THAT(s.str(), HasSubstr("flags=,")); |
| } |
| } |
| break; |
| default: |
| EXPECT_DEBUG_DEATH(v.IsAck(), "SETTINGS.*PING") << v; |
| } |
| } |
| |
| class IsEndHeadersTest : public Http2FrameHeaderTypeAndFlagTest {}; |
| INSTANTIATE_TEST_SUITE_P(IsEndHeaders, |
| IsEndHeadersTest, |
| Combine(ValuesIn(ValidFrameTypes()), |
| Values(~Http2FrameFlag::END_HEADERS, 0xff))); |
| TEST_P(IsEndHeadersTest, IsEndHeaders) { |
| const bool is_set = |
| (flags_ & Http2FrameFlag::END_HEADERS) == Http2FrameFlag::END_HEADERS; |
| std::string flags_string; |
| Http2FrameHeader v(0, type_, flags_, 0); |
| switch (type_) { |
| case Http2FrameType::HEADERS: |
| case Http2FrameType::PUSH_PROMISE: |
| case Http2FrameType::CONTINUATION: |
| EXPECT_EQ(is_set, v.IsEndHeaders()) << v; |
| flags_string = v.FlagsToString(); |
| if (is_set) { |
| EXPECT_THAT(flags_string, MatchesRegex(".*\\|?END_HEADERS\\|.*")); |
| } else { |
| EXPECT_THAT(flags_string, Not(HasSubstr("END_HEADERS"))); |
| } |
| v.RetainFlags(Http2FrameFlag::END_HEADERS); |
| EXPECT_EQ(is_set, v.IsEndHeaders()) << v; |
| { |
| std::stringstream s; |
| s << v; |
| EXPECT_EQ(v.ToString(), s.str()); |
| if (is_set) { |
| EXPECT_THAT(s.str(), HasSubstr("flags=END_HEADERS,")); |
| } else { |
| EXPECT_THAT(s.str(), HasSubstr("flags=,")); |
| } |
| } |
| break; |
| default: |
| EXPECT_DEBUG_DEATH(v.IsEndHeaders(), |
| "HEADERS.*PUSH_PROMISE.*CONTINUATION") |
| << v; |
| } |
| } |
| |
| class IsPaddedTest : public Http2FrameHeaderTypeAndFlagTest {}; |
| INSTANTIATE_TEST_SUITE_P(IsPadded, |
| IsPaddedTest, |
| Combine(ValuesIn(ValidFrameTypes()), |
| Values(~Http2FrameFlag::PADDED, 0xff))); |
| TEST_P(IsPaddedTest, IsPadded) { |
| const bool is_set = |
| (flags_ & Http2FrameFlag::PADDED) == Http2FrameFlag::PADDED; |
| std::string flags_string; |
| Http2FrameHeader v(0, type_, flags_, 0); |
| switch (type_) { |
| case Http2FrameType::DATA: |
| case Http2FrameType::HEADERS: |
| case Http2FrameType::PUSH_PROMISE: |
| EXPECT_EQ(is_set, v.IsPadded()) << v; |
| flags_string = v.FlagsToString(); |
| if (is_set) { |
| EXPECT_THAT(flags_string, MatchesRegex(".*\\|?PADDED\\|.*")); |
| } else { |
| EXPECT_THAT(flags_string, Not(HasSubstr("PADDED"))); |
| } |
| v.RetainFlags(Http2FrameFlag::PADDED); |
| EXPECT_EQ(is_set, v.IsPadded()) << v; |
| { |
| std::stringstream s; |
| s << v; |
| EXPECT_EQ(v.ToString(), s.str()); |
| if (is_set) { |
| EXPECT_THAT(s.str(), HasSubstr("flags=PADDED,")); |
| } else { |
| EXPECT_THAT(s.str(), HasSubstr("flags=,")); |
| } |
| } |
| break; |
| default: |
| EXPECT_DEBUG_DEATH(v.IsPadded(), "DATA.*HEADERS.*PUSH_PROMISE") << v; |
| } |
| } |
| |
| class HasPriorityTest : public Http2FrameHeaderTypeAndFlagTest {}; |
| INSTANTIATE_TEST_SUITE_P(HasPriority, |
| HasPriorityTest, |
| Combine(ValuesIn(ValidFrameTypes()), |
| Values(~Http2FrameFlag::PRIORITY, 0xff))); |
| TEST_P(HasPriorityTest, HasPriority) { |
| const bool is_set = |
| (flags_ & Http2FrameFlag::PRIORITY) == Http2FrameFlag::PRIORITY; |
| std::string flags_string; |
| Http2FrameHeader v(0, type_, flags_, 0); |
| switch (type_) { |
| case Http2FrameType::HEADERS: |
| EXPECT_EQ(is_set, v.HasPriority()) << v; |
| flags_string = v.FlagsToString(); |
| if (is_set) { |
| EXPECT_THAT(flags_string, MatchesRegex(".*\\|?PRIORITY\\|.*")); |
| } else { |
| EXPECT_THAT(flags_string, Not(HasSubstr("PRIORITY"))); |
| } |
| v.RetainFlags(Http2FrameFlag::PRIORITY); |
| EXPECT_EQ(is_set, v.HasPriority()) << v; |
| { |
| std::stringstream s; |
| s << v; |
| EXPECT_EQ(v.ToString(), s.str()); |
| if (is_set) { |
| EXPECT_THAT(s.str(), HasSubstr("flags=PRIORITY,")); |
| } else { |
| EXPECT_THAT(s.str(), HasSubstr("flags=,")); |
| } |
| } |
| break; |
| default: |
| EXPECT_DEBUG_DEATH(v.HasPriority(), "HEADERS") << v; |
| } |
| } |
| |
| TEST(Http2PriorityFieldsTest, Constructor) { |
| Http2Random random; |
| uint32_t stream_dependency = random.Rand32() & StreamIdMask(); |
| uint32_t weight = 1 + random.Rand8(); |
| bool is_exclusive = random.OneIn(2); |
| |
| Http2PriorityFields v(stream_dependency, weight, is_exclusive); |
| |
| EXPECT_EQ(stream_dependency, v.stream_dependency); |
| EXPECT_EQ(weight, v.weight); |
| EXPECT_EQ(is_exclusive, v.is_exclusive); |
| |
| // The high-bit must not be set on the stream id. |
| EXPECT_DEBUG_DEATH( |
| Http2PriorityFields(stream_dependency | 0x80000000, weight, is_exclusive), |
| "31-bit"); |
| |
| // The weight must be in the range 1-256. |
| EXPECT_DEBUG_DEATH(Http2PriorityFields(stream_dependency, 0, is_exclusive), |
| "too small"); |
| EXPECT_DEBUG_DEATH( |
| Http2PriorityFields(stream_dependency, weight + 256, is_exclusive), |
| "too large"); |
| |
| EXPECT_TRUE(VerifyRandomCalls<Http2PriorityFields>()); |
| } |
| #endif // GTEST_HAS_DEATH_TEST && !defined(NDEBUG) |
| |
| TEST(Http2RstStreamFieldsTest, IsSupported) { |
| Http2RstStreamFields v{Http2ErrorCode::HTTP2_NO_ERROR}; |
| EXPECT_TRUE(v.IsSupportedErrorCode()) << v; |
| |
| Http2RstStreamFields u{static_cast<Http2ErrorCode>(~0)}; |
| EXPECT_FALSE(u.IsSupportedErrorCode()) << v; |
| |
| EXPECT_TRUE(VerifyRandomCalls<Http2RstStreamFields>()); |
| } |
| |
| TEST(Http2SettingFieldsTest, Misc) { |
| Http2Random random; |
| Http2SettingsParameter parameter = |
| static_cast<Http2SettingsParameter>(random.Rand16()); |
| uint32_t value = random.Rand32(); |
| |
| Http2SettingFields v(parameter, value); |
| |
| EXPECT_EQ(v, v); |
| EXPECT_EQ(parameter, v.parameter); |
| EXPECT_EQ(value, v.value); |
| |
| if (static_cast<uint16_t>(parameter) < 7) { |
| EXPECT_TRUE(v.IsSupportedParameter()) << v; |
| } else { |
| EXPECT_FALSE(v.IsSupportedParameter()) << v; |
| } |
| |
| Http2SettingFields u(parameter, ~value); |
| EXPECT_NE(v, u); |
| EXPECT_EQ(v.parameter, u.parameter); |
| EXPECT_NE(v.value, u.value); |
| |
| Http2SettingFields w(IncrementEnum(parameter), value); |
| EXPECT_NE(v, w); |
| EXPECT_NE(v.parameter, w.parameter); |
| EXPECT_EQ(v.value, w.value); |
| |
| Http2SettingFields x(Http2SettingsParameter::MAX_FRAME_SIZE, 123); |
| std::stringstream s; |
| s << x; |
| EXPECT_EQ("parameter=MAX_FRAME_SIZE, value=123", s.str()); |
| |
| EXPECT_TRUE(VerifyRandomCalls<Http2SettingFields>()); |
| } |
| |
| TEST(Http2PushPromiseTest, Misc) { |
| Http2Random random; |
| uint32_t promised_stream_id = random.Rand32() & StreamIdMask(); |
| |
| Http2PushPromiseFields v{promised_stream_id}; |
| EXPECT_EQ(promised_stream_id, v.promised_stream_id); |
| EXPECT_EQ(v, v); |
| |
| std::stringstream s; |
| s << v; |
| EXPECT_EQ(absl::StrCat("promised_stream_id=", promised_stream_id), s.str()); |
| |
| // High-bit is reserved, but not used, so we can set it. |
| promised_stream_id |= 0x80000000; |
| Http2PushPromiseFields w{promised_stream_id}; |
| EXPECT_EQ(w, w); |
| EXPECT_NE(v, w); |
| |
| v.promised_stream_id = promised_stream_id; |
| EXPECT_EQ(v, w); |
| |
| EXPECT_TRUE(VerifyRandomCalls<Http2PushPromiseFields>()); |
| } |
| |
| TEST(Http2PingFieldsTest, Misc) { |
| Http2PingFields v{{'8', ' ', 'b', 'y', 't', 'e', 's', '\0'}}; |
| std::stringstream s; |
| s << v; |
| EXPECT_EQ("opaque_bytes=0x3820627974657300", s.str()); |
| |
| EXPECT_TRUE(VerifyRandomCalls<Http2PingFields>()); |
| } |
| |
| TEST(Http2GoAwayFieldsTest, Misc) { |
| Http2Random random; |
| uint32_t last_stream_id = random.Rand32() & StreamIdMask(); |
| Http2ErrorCode error_code = static_cast<Http2ErrorCode>(random.Rand32()); |
| |
| Http2GoAwayFields v(last_stream_id, error_code); |
| EXPECT_EQ(v, v); |
| EXPECT_EQ(last_stream_id, v.last_stream_id); |
| EXPECT_EQ(error_code, v.error_code); |
| |
| if (static_cast<uint32_t>(error_code) < 14) { |
| EXPECT_TRUE(v.IsSupportedErrorCode()) << v; |
| } else { |
| EXPECT_FALSE(v.IsSupportedErrorCode()) << v; |
| } |
| |
| Http2GoAwayFields u(~last_stream_id, error_code); |
| EXPECT_NE(v, u); |
| EXPECT_NE(v.last_stream_id, u.last_stream_id); |
| EXPECT_EQ(v.error_code, u.error_code); |
| |
| EXPECT_TRUE(VerifyRandomCalls<Http2GoAwayFields>()); |
| } |
| |
| TEST(Http2WindowUpdateTest, Misc) { |
| Http2Random random; |
| uint32_t window_size_increment = random.Rand32() & UInt31Mask(); |
| |
| Http2WindowUpdateFields v{window_size_increment}; |
| EXPECT_EQ(window_size_increment, v.window_size_increment); |
| EXPECT_EQ(v, v); |
| |
| std::stringstream s; |
| s << v; |
| EXPECT_EQ(absl::StrCat("window_size_increment=", window_size_increment), |
| s.str()); |
| |
| // High-bit is reserved, but not used, so we can set it. |
| window_size_increment |= 0x80000000; |
| Http2WindowUpdateFields w{window_size_increment}; |
| EXPECT_EQ(w, w); |
| EXPECT_NE(v, w); |
| |
| v.window_size_increment = window_size_increment; |
| EXPECT_EQ(v, w); |
| |
| EXPECT_TRUE(VerifyRandomCalls<Http2WindowUpdateFields>()); |
| } |
| |
| TEST(Http2AltSvcTest, Misc) { |
| Http2Random random; |
| uint16_t origin_length = random.Rand16(); |
| |
| Http2AltSvcFields v{origin_length}; |
| EXPECT_EQ(origin_length, v.origin_length); |
| EXPECT_EQ(v, v); |
| |
| std::stringstream s; |
| s << v; |
| EXPECT_EQ(absl::StrCat("origin_length=", origin_length), s.str()); |
| |
| Http2AltSvcFields w{++origin_length}; |
| EXPECT_EQ(w, w); |
| EXPECT_NE(v, w); |
| |
| v.origin_length = w.origin_length; |
| EXPECT_EQ(v, w); |
| |
| EXPECT_TRUE(VerifyRandomCalls<Http2AltSvcFields>()); |
| } |
| |
| TEST(Http2PriorityUpdateFieldsTest, Eq) { |
| Http2PriorityUpdateFields u(/* prioritized_stream_id = */ 1); |
| Http2PriorityUpdateFields v(/* prioritized_stream_id = */ 3); |
| |
| EXPECT_NE(u, v); |
| EXPECT_FALSE(u == v); |
| EXPECT_TRUE(u != v); |
| |
| u = v; |
| EXPECT_EQ(u, v); |
| EXPECT_TRUE(u == v); |
| EXPECT_FALSE(u != v); |
| } |
| |
| TEST(Http2PriorityUpdateFieldsTest, Misc) { |
| Http2PriorityUpdateFields u(/* prioritized_stream_id = */ 1); |
| EXPECT_EQ("prioritized_stream_id=1", u.ToString()); |
| |
| EXPECT_TRUE(VerifyRandomCalls<Http2PriorityUpdateFields>()); |
| } |
| |
| } // namespace |
| } // namespace test |
| } // namespace http2 |