2018-12-31 20:04:05 +01:00
|
|
|
//
|
2020-01-01 02:23:48 +01:00
|
|
|
// Copyright Aliaksei Levin (levlam@telegram.org), Arseny Smirnov (arseny30@gmail.com) 2014-2020
|
2018-12-31 20:04:05 +01:00
|
|
|
//
|
|
|
|
// Distributed under the Boost Software License, Version 1.0. (See accompanying
|
|
|
|
// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
|
|
|
//
|
|
|
|
#pragma once
|
|
|
|
|
|
|
|
#include "td/utils/common.h"
|
2018-12-19 15:48:39 +01:00
|
|
|
#include "td/utils/Context.h"
|
2018-12-31 20:04:05 +01:00
|
|
|
#include "td/utils/format.h"
|
|
|
|
#include "td/utils/logging.h"
|
|
|
|
#include "td/utils/port/thread.h"
|
|
|
|
#include "td/utils/Slice.h"
|
2018-12-19 15:48:39 +01:00
|
|
|
#include "td/utils/Status.h"
|
2018-12-31 20:04:05 +01:00
|
|
|
|
|
|
|
#include <atomic>
|
2020-06-09 04:17:39 +02:00
|
|
|
#include <functional>
|
2018-12-19 21:35:13 +01:00
|
|
|
#include <utility>
|
2018-12-31 20:04:05 +01:00
|
|
|
|
|
|
|
#define REGISTER_TESTS(x) \
|
|
|
|
void TD_CONCAT(register_tests_, x)() { \
|
|
|
|
}
|
|
|
|
#define DESC_TESTS(x) void TD_CONCAT(register_tests_, x)()
|
|
|
|
#define LOAD_TESTS(x) TD_CONCAT(register_tests_, x)()
|
|
|
|
|
|
|
|
namespace td {
|
|
|
|
|
2020-06-24 13:47:36 +02:00
|
|
|
class RandomSteps {
|
|
|
|
public:
|
|
|
|
struct Step {
|
|
|
|
std::function<void()> func;
|
2020-06-26 01:24:13 +02:00
|
|
|
uint32 weight;
|
2020-06-24 13:47:36 +02:00
|
|
|
};
|
2020-06-26 01:24:13 +02:00
|
|
|
|
|
|
|
explicit RandomSteps(vector<Step> steps) : steps_(std::move(steps)) {
|
|
|
|
for (const auto &step : steps_) {
|
2020-06-24 13:47:36 +02:00
|
|
|
steps_sum_ += step.weight;
|
|
|
|
}
|
|
|
|
}
|
2020-06-26 01:24:13 +02:00
|
|
|
|
2020-06-24 13:47:36 +02:00
|
|
|
template <class Random>
|
2020-06-26 01:24:13 +02:00
|
|
|
void step(Random &rnd) const {
|
2020-06-24 13:47:36 +02:00
|
|
|
auto w = rnd() % steps_sum_;
|
2020-06-26 01:24:13 +02:00
|
|
|
for (const auto &step : steps_) {
|
2020-06-24 13:47:36 +02:00
|
|
|
if (w < step.weight) {
|
|
|
|
step.func();
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
w -= step.weight;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
2020-06-26 01:24:13 +02:00
|
|
|
vector<Step> steps_;
|
|
|
|
int32 steps_sum_ = 0;
|
2020-06-24 13:47:36 +02:00
|
|
|
};
|
|
|
|
|
2018-12-19 15:48:39 +01:00
|
|
|
class RegressionTester {
|
2018-12-31 20:04:05 +01:00
|
|
|
public:
|
2018-12-19 15:48:39 +01:00
|
|
|
virtual ~RegressionTester() = default;
|
|
|
|
static void destroy(CSlice db_path);
|
2018-12-19 21:35:13 +01:00
|
|
|
static unique_ptr<RegressionTester> create(string db_path, string db_cache_dir = "");
|
2018-12-31 20:04:05 +01:00
|
|
|
|
2018-12-19 15:48:39 +01:00
|
|
|
virtual Status verify_test(Slice name, Slice result) = 0;
|
|
|
|
virtual void save_db() = 0;
|
|
|
|
};
|
2018-12-31 20:04:05 +01:00
|
|
|
|
2018-12-19 15:48:39 +01:00
|
|
|
class Test {
|
|
|
|
public:
|
|
|
|
virtual ~Test() = default;
|
|
|
|
virtual void run() {
|
|
|
|
while (step()) {
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
|
|
|
}
|
2018-12-19 15:48:39 +01:00
|
|
|
virtual bool step() {
|
|
|
|
run();
|
|
|
|
return false;
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
2018-12-19 15:48:39 +01:00
|
|
|
Test() = default;
|
|
|
|
Test(const Test &) = delete;
|
|
|
|
Test &operator=(const Test &) = delete;
|
|
|
|
Test(Test &&) = delete;
|
|
|
|
Test &operator=(Test &&) = delete;
|
|
|
|
};
|
2018-12-31 20:04:05 +01:00
|
|
|
|
2018-12-19 15:48:39 +01:00
|
|
|
class TestContext : public Context<TestContext> {
|
|
|
|
public:
|
|
|
|
virtual ~TestContext() = default;
|
|
|
|
virtual Slice name() = 0;
|
|
|
|
virtual Status verify(Slice data) = 0;
|
|
|
|
};
|
2018-12-31 20:04:05 +01:00
|
|
|
|
2018-12-19 15:48:39 +01:00
|
|
|
class TestsRunner : public TestContext {
|
|
|
|
public:
|
|
|
|
static TestsRunner &get_default();
|
2018-12-31 20:04:05 +01:00
|
|
|
|
2020-08-04 14:22:16 +02:00
|
|
|
void add_test(string name, std::function<unique_ptr<Test>()> test);
|
2018-12-19 21:35:13 +01:00
|
|
|
void add_substr_filter(string str);
|
2018-12-19 15:48:39 +01:00
|
|
|
void set_stress_flag(bool flag);
|
|
|
|
void run_all();
|
|
|
|
bool run_all_step();
|
2018-12-19 21:35:13 +01:00
|
|
|
void set_regression_tester(unique_ptr<RegressionTester> regression_tester);
|
2018-12-31 20:04:05 +01:00
|
|
|
|
|
|
|
private:
|
|
|
|
struct State {
|
2018-12-19 15:48:39 +01:00
|
|
|
size_t it{0};
|
2018-12-31 20:04:05 +01:00
|
|
|
bool is_running = false;
|
2018-12-19 15:48:39 +01:00
|
|
|
double start{0};
|
2020-06-24 13:47:36 +02:00
|
|
|
double start_unadjusted{0};
|
2018-12-19 15:48:39 +01:00
|
|
|
size_t end{0};
|
2018-12-31 20:04:05 +01:00
|
|
|
};
|
2018-12-19 15:48:39 +01:00
|
|
|
bool stress_flag_{false};
|
2018-12-19 21:35:13 +01:00
|
|
|
vector<string> substr_filters_;
|
2020-08-04 14:22:16 +02:00
|
|
|
struct TestInfo {
|
|
|
|
std::function<unique_ptr<Test>()> creator;
|
|
|
|
unique_ptr<Test> test;
|
|
|
|
};
|
|
|
|
vector<std::pair<string, TestInfo>> tests_;
|
2018-12-19 15:48:39 +01:00
|
|
|
State state_;
|
2018-12-19 21:35:13 +01:00
|
|
|
unique_ptr<RegressionTester> regression_tester_;
|
2018-12-19 15:48:39 +01:00
|
|
|
|
|
|
|
Slice name() override;
|
|
|
|
Status verify(Slice data) override;
|
|
|
|
};
|
2018-12-31 20:04:05 +01:00
|
|
|
|
2018-12-19 15:48:39 +01:00
|
|
|
template <class T>
|
|
|
|
class RegisterTest {
|
|
|
|
public:
|
2020-06-09 04:17:39 +02:00
|
|
|
explicit RegisterTest(string name, TestsRunner &runner = TestsRunner::get_default()) {
|
2020-08-04 14:22:16 +02:00
|
|
|
runner.add_test(name, [] { return make_unique<T>(); });
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
class Stage {
|
|
|
|
public:
|
|
|
|
void wait(uint64 need) {
|
|
|
|
value_.fetch_add(1, std::memory_order_release);
|
|
|
|
while (value_.load(std::memory_order_acquire) < need) {
|
|
|
|
td::this_thread::yield();
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
private:
|
|
|
|
std::atomic<uint64> value_{0};
|
|
|
|
};
|
|
|
|
|
2020-09-27 19:38:23 +02:00
|
|
|
string rand_string(int from, int to, size_t len);
|
2018-12-31 20:04:05 +01:00
|
|
|
|
2020-09-27 19:38:23 +02:00
|
|
|
vector<string> rand_split(Slice str);
|
2018-12-31 20:04:05 +01:00
|
|
|
|
|
|
|
template <class T1, class T2>
|
|
|
|
void assert_eq_impl(const T1 &expected, const T2 &got, const char *file, int line) {
|
2019-02-12 17:17:20 +01:00
|
|
|
LOG_CHECK(expected == got) << tag("expected", expected) << tag("got", got) << " in " << file << " at line " << line;
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
template <class T>
|
|
|
|
void assert_true_impl(const T &got, const char *file, int line) {
|
2019-02-12 17:17:20 +01:00
|
|
|
LOG_CHECK(got) << "Expected true in " << file << " at line " << line;
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
} // namespace td
|
|
|
|
|
|
|
|
#define ASSERT_EQ(expected, got) ::td::assert_eq_impl((expected), (got), __FILE__, __LINE__)
|
|
|
|
|
|
|
|
#define ASSERT_TRUE(got) ::td::assert_true_impl((got), __FILE__, __LINE__)
|
|
|
|
|
|
|
|
#define ASSERT_STREQ(expected, got) \
|
|
|
|
::td::assert_eq_impl(::td::Slice((expected)), ::td::Slice((got)), __FILE__, __LINE__)
|
|
|
|
|
2018-12-19 15:48:39 +01:00
|
|
|
#define REGRESSION_VERIFY(data) ::td::TestContext::get()->verify(data).ensure()
|
|
|
|
|
2018-12-31 20:04:05 +01:00
|
|
|
#define TEST_NAME(test_case_name, test_name) \
|
|
|
|
TD_CONCAT(Test, TD_CONCAT(_, TD_CONCAT(test_case_name, TD_CONCAT(_, test_name))))
|
|
|
|
|
|
|
|
#define TEST(test_case_name, test_name) TEST_IMPL(TEST_NAME(test_case_name, test_name))
|
|
|
|
|
2018-12-19 15:48:39 +01:00
|
|
|
#define TEST_IMPL(test_name) \
|
|
|
|
class test_name : public ::td::Test { \
|
|
|
|
public: \
|
|
|
|
using Test::Test; \
|
|
|
|
void run() final; \
|
|
|
|
}; \
|
|
|
|
::td::RegisterTest<test_name> TD_CONCAT(test_instance_, TD_CONCAT(test_name, __LINE__))(TD_DEFINE_STR(test_name)); \
|
2018-12-31 20:04:05 +01:00
|
|
|
void test_name::run()
|