conformance_test.h 11.7 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40
// Protocol Buffers - Google's data interchange format
// Copyright 2008 Google Inc.  All rights reserved.
// https://developers.google.com/protocol-buffers/
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are
// met:
//
//     * Redistributions of source code must retain the above copyright
// notice, this list of conditions and the following disclaimer.
//     * Redistributions in binary form must reproduce the above
// copyright notice, this list of conditions and the following disclaimer
// in the documentation and/or other materials provided with the
// distribution.
//     * Neither the name of Google Inc. nor the names of its
// contributors may be used to endorse or promote products derived from
// this software without specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.


// This file defines a protocol for running the conformance test suite
// in-process.  In other words, the suite itself will run in the same process as
// the code under test.
//
// For pros and cons of this approach, please see conformance.proto.

#ifndef CONFORMANCE_CONFORMANCE_TEST_H
#define CONFORMANCE_CONFORMANCE_TEST_H

41
#include <google/protobuf/descriptor.h>
42 43
#include <google/protobuf/stubs/common.h>
#include <google/protobuf/util/type_resolver.h>
44 45
#include <google/protobuf/wire_format_lite.h>

Rafi Kamal's avatar
Rafi Kamal committed
46 47 48 49
#include <functional>
#include <string>
#include <vector>

50
#include "conformance.pb.h"
51

52 53 54 55 56
namespace conformance {
class ConformanceRequest;
class ConformanceResponse;
}  // namespace conformance

57 58
namespace protobuf_test_messages {
namespace proto3 {
59
class TestAllTypesProto3;
60 61 62
}  // namespace proto3
}  // namespace protobuf_test_messages

63 64 65
namespace google {
namespace protobuf {

66 67
class ConformanceTestSuite;

68 69
class ConformanceTestRunner {
 public:
70 71
  virtual ~ConformanceTestRunner() {}

72 73 74 75 76 77 78
  // Call to run a single conformance test.
  //
  // "input" is a serialized conformance.ConformanceRequest.
  // "output" should be set to a serialized conformance.ConformanceResponse.
  //
  // If there is any error in running the test itself, set "runtime_error" in
  // the response.
79 80 81
  virtual void RunTest(const std::string& test_name,
                       const std::string& input,
                       std::string* output) = 0;
82 83
};

84 85 86 87
// Test runner that spawns the process being tested and communicates with it
// over a pipe.
class ForkPipeRunner : public ConformanceTestRunner {
 public:
88
  // Note: Run() doesn't take ownership of the pointers inside suites.
89
  static int Run(int argc, char *argv[],
90
                 const std::vector<ConformanceTestSuite*>& suites);
91

Rafi Kamal's avatar
Rafi Kamal committed
92 93 94 95 96 97 98
  ForkPipeRunner(const std::string& executable,
                 const std::vector<string>& executable_args)
      : child_pid_(-1),
        executable_(executable),
        executable_args_(executable_args) {}

  explicit ForkPipeRunner(const std::string& executable)
99 100 101 102 103 104 105 106
      : child_pid_(-1), executable_(executable) {}

  virtual ~ForkPipeRunner() {}

  void RunTest(const std::string& test_name,
               const std::string& request,
               std::string* response);

107
 private:
108 109 110 111 112 113 114 115 116 117
  void SpawnTestProgram();

  void CheckedWrite(int fd, const void *buf, size_t len);
  bool TryRead(int fd, void *buf, size_t len);
  void CheckedRead(int fd, void *buf, size_t len);

  int write_fd_;
  int read_fd_;
  pid_t child_pid_;
  std::string executable_;
Rafi Kamal's avatar
Rafi Kamal committed
118
  const std::vector<string> executable_args_;
119 120 121
  std::string current_test_name_;
};

122
// Class representing the test suite itself.  To run it, implement your own
123 124 125 126 127 128 129 130 131 132
// class derived from ConformanceTestRunner, class derived from
// ConformanceTestSuite and then write code like:
//
//    class MyConformanceTestSuite : public ConformanceTestSuite {
//     public:
//      void RunSuiteImpl() {
//        // INSERT ACTURAL TESTS.
//      }
//    };
//
133 134
//    class MyConformanceTestRunner : public ConformanceTestRunner {
//     public:
135 136 137 138
//      static int Run(int argc, char *argv[],
//                 ConformanceTestSuite* suite);
//
//     private:
139 140 141 142 143 144
//      virtual void RunTest(...) {
//        // INSERT YOUR FRAMEWORK-SPECIFIC CODE HERE.
//      }
//    };
//
//    int main() {
145 146
//      MyConformanceTestSuite suite;
//      MyConformanceTestRunner::Run(argc, argv, &suite);
147 148 149 150
//    }
//
class ConformanceTestSuite {
 public:
151 152 153 154
  ConformanceTestSuite()
      : verbose_(false),
        enforce_recommended_(false),
        failure_list_flag_name_("--failure_list") {}
155
  virtual ~ConformanceTestSuite() {}
156

157 158
  void SetVerbose(bool verbose) { verbose_ = verbose; }

Bo Yang's avatar
Bo Yang committed
159 160 161 162 163 164 165 166 167 168 169 170
  // Whether to require the testee to pass RECOMMENDED tests. By default failing
  // a RECOMMENDED test case will not fail the entire suite but will only
  // generated a warning. If this flag is set to true, RECOMMENDED tests will
  // be treated the same way as REQUIRED tests and failing a RECOMMENDED test
  // case will cause the entire test suite to fail as well. An implementation
  // can enable this if it wants to be strictly conforming to protobuf spec.
  // See the comments about ConformanceLevel below to learn more about the
  // difference between REQUIRED and RECOMMENDED test cases.
  void SetEnforceRecommended(bool value) {
    enforce_recommended_ = value;
  }

171 172 173 174 175 176 177 178 179 180
  // Gets the flag name to the failure list file.
  // By default, this would return --failure_list
  string GetFailureListFlagName() {
    return failure_list_flag_name_;
  }

  void SetFailureListFlagName(const std::string& failure_list_flag_name) {
    failure_list_flag_name_ = failure_list_flag_name;
  }

181 182
  // Run all the conformance tests against the given test runner.
  // Test output will be stored in "output".
183 184
  //
  // Returns true if the set of failing tests was exactly the same as the
185 186 187 188 189 190
  // failure list.
  // The filename here is *only* used to create/format useful error messages for
  // how to update the failure list.  We do NOT read this file at all.
  bool RunSuite(ConformanceTestRunner* runner, std::string* output,
                const std::string& filename,
                conformance::FailureSet* failure_list);
191

192
 protected:
Bo Yang's avatar
Bo Yang committed
193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208
  // Test cases are classified into a few categories:
  //   REQUIRED: the test case must be passed for an implementation to be
  //             interoperable with other implementations. For example, a
  //             parser implementaiton must accept both packed and unpacked
  //             form of repeated primitive fields.
  //   RECOMMENDED: the test case is not required for the implementation to
  //                be interoperable with other implementations, but is
  //                recommended for best performance and compatibility. For
  //                example, a proto3 serializer should serialize repeated
  //                primitive fields in packed form, but an implementation
  //                failing to do so will still be able to communicate with
  //                other implementations.
  enum ConformanceLevel {
    REQUIRED = 0,
    RECOMMENDED = 1,
  };
209 210 211 212

  class ConformanceRequestSetting {
   public:
    ConformanceRequestSetting(
213 214 215 216 217
        ConformanceLevel level,
        conformance::WireFormat input_format,
        conformance::WireFormat output_format,
        conformance::TestCategory test_category,
        const Message& prototype_message,
218
        const string& test_name, const string& input);
219 220 221
    virtual ~ConformanceRequestSetting() {}

    Message* GetTestMessage() const;
222

223
    string GetTestName() const;
224

225 226 227
    const conformance::ConformanceRequest& GetRequest() const {
      return request_;
    }
228

229 230 231
    const ConformanceLevel GetLevel() const {
      return level_;
    }
232

233 234
    string ConformanceLevelToString(ConformanceLevel level) const;

Hao Nguyen's avatar
Hao Nguyen committed
235 236 237 238 239 240 241 242
    void SetPrintUnknownFields(bool print_unknown_fields) {
      request_.set_print_unknown_fields(true);
    }

    void SetPrototypeMessageForCompare(const Message& message) {
      prototype_message_for_compare_.reset(message.New());
    }

243 244 245
   protected:
    virtual string InputFormatString(conformance::WireFormat format) const;
    virtual string OutputFormatString(conformance::WireFormat format) const;
246
    conformance::ConformanceRequest request_;
247 248 249

   private:
    ConformanceLevel level_;
250 251 252
    ::conformance::WireFormat input_format_;
    ::conformance::WireFormat output_format_;
    const Message& prototype_message_;
Hao Nguyen's avatar
Hao Nguyen committed
253
    std::unique_ptr<Message> prototype_message_for_compare_;
254 255 256
    string test_name_;
  };

257 258
  bool CheckSetEmpty(const std::set<string>& set_to_check,
                     const std::string& write_to_file, const std::string& msg);
259 260 261 262 263 264 265 266 267
  string WireFormatToString(conformance::WireFormat wire_format);

  // Parse payload in the response to the given message. Returns true on
  // success.
  virtual bool ParseResponse(
      const conformance::ConformanceResponse& response,
      const ConformanceRequestSetting& setting,
      Message* test_message) = 0;

Rafi Kamal's avatar
Rafi Kamal committed
268 269 270 271
  void VerifyResponse(const ConformanceRequestSetting& setting,
                      const string& equivalent_wire_format,
                      const conformance::ConformanceResponse& response,
                      bool need_report_success, bool require_same_wire_format);
Bo Yang's avatar
Bo Yang committed
272

273
  void ReportSuccess(const std::string& test_name);
274
  void ReportFailure(const string& test_name,
Bo Yang's avatar
Bo Yang committed
275
                     ConformanceLevel level,
276 277 278 279 280 281
                     const conformance::ConformanceRequest& request,
                     const conformance::ConformanceResponse& response,
                     const char* fmt, ...);
  void ReportSkip(const string& test_name,
                  const conformance::ConformanceRequest& request,
                  const conformance::ConformanceResponse& response);
282

283 284 285
  void RunValidInputTest(const ConformanceRequestSetting& setting,
                         const string& equivalent_text_format);
  void RunValidBinaryInputTest(const ConformanceRequestSetting& setting,
286 287
                               const string& equivalent_wire_format,
                               bool require_same_wire_format = false);
288 289 290 291 292

  void RunTest(const std::string& test_name,
               const conformance::ConformanceRequest& request,
               conformance::ConformanceResponse* response);

293 294
  void AddExpectedFailedTest(const std::string& test_name);

295 296
  virtual void RunSuiteImpl() = 0;

297 298
  ConformanceTestRunner* runner_;
  int successes_;
299
  int expected_failures_;
300
  bool verbose_;
Bo Yang's avatar
Bo Yang committed
301
  bool enforce_recommended_;
302
  std::string output_;
303
  std::string failure_list_flag_name_;
304
  std::string failure_list_filename_;
305 306 307 308 309 310 311 312 313 314 315 316 317 318

  // The set of test names that are expected to fail in this run, but haven't
  // failed yet.
  std::set<std::string> expected_to_fail_;

  // The set of test names that have been run.  Used to ensure that there are no
  // duplicate names in the suite.
  std::set<std::string> test_names_;

  // The set of tests that failed, but weren't expected to.
  std::set<std::string> unexpected_failing_tests_;

  // The set of tests that succeeded, but weren't expected to.
  std::set<std::string> unexpected_succeeding_tests_;
319 320 321

  // The set of tests that the testee opted out of;
  std::set<std::string> skipped_;
322 323 324 325 326 327
};

}  // namespace protobuf
}  // namespace google

#endif  // CONFORMANCE_CONFORMANCE_TEST_H