395 lines
11 KiB
C
395 lines
11 KiB
C
// SPDX-License-Identifier: GPL-2.0
|
|
/*
|
|
* Example KUnit test to show how to use KUnit.
|
|
*
|
|
* Copyright (C) 2019, Google LLC.
|
|
* Author: Brendan Higgins <brendanhiggins@google.com>
|
|
*/
|
|
|
|
#include <kunit/test.h>
|
|
#include <kunit/static_stub.h>
|
|
#if IS_BUILTIN(CONFIG_KUNIT) && IS_ENABLED(CONFIG_SEC_KUNIT)
|
|
#include <kunit/mock.h>
|
|
#endif /* IS_BUILTIN(CONFIG_KUNIT) && IS_ENABLED(CONFIG_SEC_KUNIT) */
|
|
|
|
/*
|
|
* This is the most fundamental element of KUnit, the test case. A test case
|
|
* makes a set EXPECTATIONs and ASSERTIONs about the behavior of some code; if
|
|
* any expectations or assertions are not met, the test fails; otherwise, the
|
|
* test passes.
|
|
*
|
|
* In KUnit, a test case is just a function with the signature
|
|
* `void (*)(struct kunit *)`. `struct kunit` is a context object that stores
|
|
* information about the current test.
|
|
*/
|
|
static void example_simple_test(struct kunit *test)
|
|
{
|
|
/*
|
|
* This is an EXPECTATION; it is how KUnit tests things. When you want
|
|
* to test a piece of code, you set some expectations about what the
|
|
* code should do. KUnit then runs the test and verifies that the code's
|
|
* behavior matched what was expected.
|
|
*/
|
|
KUNIT_EXPECT_EQ(test, 1 + 1, 2);
|
|
}
|
|
|
|
#if IS_BUILTIN(CONFIG_KUNIT) && IS_ENABLED(CONFIG_SEC_KUNIT)
|
|
struct example_ops;
|
|
|
|
struct example {
|
|
struct example_ops *ops;
|
|
};
|
|
|
|
/*
|
|
* A lot of times, we embed "ops structs", which acts an abstraction over
|
|
* hardware, a file system implementation, or some other subsystem that you
|
|
* want to reason about in a generic way.
|
|
*/
|
|
struct example_ops {
|
|
int (*foo)(struct example *example, int num);
|
|
};
|
|
|
|
static int example_bar(struct example *example, int num)
|
|
{
|
|
return example->ops->foo(example, num);
|
|
}
|
|
|
|
/*
|
|
* KUnit allows such a class to be "mocked out" with the following:
|
|
*/
|
|
|
|
/*
|
|
* This macro creates a mock subclass of the specified class.
|
|
*/
|
|
DECLARE_STRUCT_CLASS_MOCK_PREREQS(example);
|
|
|
|
/*
|
|
* This macro creates a mock implementation of the specified method of the
|
|
* specified class.
|
|
*/
|
|
DEFINE_STRUCT_CLASS_MOCK(METHOD(foo), CLASS_MOCK(example),
|
|
RETURNS(int),
|
|
PARAMS(struct example *, int));
|
|
|
|
/*
|
|
* This tells KUnit how to initialize the parts of the mock that come from the
|
|
* parent. In this example, all we have to do is populate the member functions
|
|
* of the parent class with the mock versions we defined.
|
|
*/
|
|
static int example_init(struct kunit *test, struct MOCK(example) *mock_example)
|
|
{
|
|
/* This is how you get a pointer to the parent class of a mock. */
|
|
struct example *example = mock_get_trgt(mock_example);
|
|
|
|
/*
|
|
* Here we create an ops struct containing our mock method instead.
|
|
*/
|
|
example->ops = kunit_kzalloc(test, sizeof(*example->ops), GFP_KERNEL);
|
|
example->ops->foo = foo;
|
|
|
|
return 0;
|
|
}
|
|
|
|
/*
|
|
* This registers our parent init function above, allowing KUnit to create a
|
|
* constructor for the mock.
|
|
*/
|
|
DEFINE_STRUCT_CLASS_MOCK_INIT(example, example_init);
|
|
|
|
/*
|
|
* This is a test case where we use our mock.
|
|
*/
|
|
static void example_mock_test(struct kunit *test)
|
|
{
|
|
struct MOCK(example) *mock_example = test->priv;
|
|
struct example *example = mock_get_trgt(mock_example);
|
|
struct mock_expectation *handle;
|
|
|
|
/*
|
|
* Here we make an expectation that our mock method will be called with
|
|
* a parameter equal to 5 passed in.
|
|
*/
|
|
handle = KUNIT_EXPECT_CALL(foo(mock_get_ctrl(mock_example),
|
|
kunit_int_eq(test, 5)));
|
|
/*
|
|
* We specify that when our mock is called in this way, we want it to
|
|
* return 2.
|
|
*/
|
|
handle->action = kunit_int_return(test, 2);
|
|
|
|
KUNIT_EXPECT_EQ(test, 2, example_bar(example, 5));
|
|
}
|
|
#endif /* IS_BUILTIN(CONFIG_KUNIT) && IS_ENABLED(CONFIG_SEC_KUNIT) */
|
|
|
|
/*
|
|
* This is run once before each test case, see the comment on
|
|
* example_test_suite for more information.
|
|
*/
|
|
static int example_test_init(struct kunit *test)
|
|
{
|
|
kunit_info(test, "initializing\n");
|
|
|
|
#if IS_BUILTIN(CONFIG_KUNIT) && IS_ENABLED(CONFIG_SEC_KUNIT)
|
|
/*
|
|
* Here we construct the mock and store it in test's `priv` field; this
|
|
* field is for KUnit users. You can put whatever you want here, but
|
|
* most often it is a place that the init function can put stuff to be
|
|
* used by test cases.
|
|
*/
|
|
test->priv = CONSTRUCT_MOCK(example, test);
|
|
if (!test->priv)
|
|
return -EINVAL;
|
|
#endif /* IS_BUILTIN(CONFIG_KUNIT) && IS_ENABLED(CONFIG_SEC_KUNIT) */
|
|
return 0;
|
|
}
|
|
|
|
/*
|
|
* This is run once after each test case, see the comment on
|
|
* example_test_suite for more information.
|
|
*/
|
|
static void example_test_exit(struct kunit *test)
|
|
{
|
|
kunit_info(test, "cleaning up\n");
|
|
}
|
|
|
|
|
|
/*
|
|
* This is run once before all test cases in the suite.
|
|
* See the comment on example_test_suite for more information.
|
|
*/
|
|
static int example_test_init_suite(struct kunit_suite *suite)
|
|
{
|
|
kunit_info(suite, "initializing suite\n");
|
|
|
|
return 0;
|
|
}
|
|
|
|
/*
|
|
* This is run once after all test cases in the suite.
|
|
* See the comment on example_test_suite for more information.
|
|
*/
|
|
static void example_test_exit_suite(struct kunit_suite *suite)
|
|
{
|
|
kunit_info(suite, "exiting suite\n");
|
|
}
|
|
|
|
|
|
/*
|
|
* This test should always be skipped.
|
|
*/
|
|
static void example_skip_test(struct kunit *test)
|
|
{
|
|
/* This line should run */
|
|
kunit_info(test, "You should not see a line below.");
|
|
|
|
/* Skip (and abort) the test */
|
|
kunit_skip(test, "this test should be skipped");
|
|
|
|
/* This line should not execute */
|
|
KUNIT_FAIL(test, "You should not see this line.");
|
|
}
|
|
|
|
/*
|
|
* This test should always be marked skipped.
|
|
*/
|
|
static void example_mark_skipped_test(struct kunit *test)
|
|
{
|
|
/* This line should run */
|
|
kunit_info(test, "You should see a line below.");
|
|
|
|
/* Skip (but do not abort) the test */
|
|
kunit_mark_skipped(test, "this test should be skipped");
|
|
|
|
/* This line should run */
|
|
kunit_info(test, "You should see this line.");
|
|
}
|
|
|
|
/*
|
|
* This test shows off all the types of KUNIT_EXPECT macros.
|
|
*/
|
|
static void example_all_expect_macros_test(struct kunit *test)
|
|
{
|
|
const u32 array1[] = { 0x0F, 0xFF };
|
|
const u32 array2[] = { 0x1F, 0xFF };
|
|
|
|
/* Boolean assertions */
|
|
KUNIT_EXPECT_TRUE(test, true);
|
|
KUNIT_EXPECT_FALSE(test, false);
|
|
|
|
/* Integer assertions */
|
|
KUNIT_EXPECT_EQ(test, 1, 1); /* check == */
|
|
KUNIT_EXPECT_GE(test, 1, 1); /* check >= */
|
|
KUNIT_EXPECT_LE(test, 1, 1); /* check <= */
|
|
KUNIT_EXPECT_NE(test, 1, 0); /* check != */
|
|
KUNIT_EXPECT_GT(test, 1, 0); /* check > */
|
|
KUNIT_EXPECT_LT(test, 0, 1); /* check < */
|
|
|
|
/* Pointer assertions */
|
|
KUNIT_EXPECT_NOT_ERR_OR_NULL(test, test);
|
|
KUNIT_EXPECT_PTR_EQ(test, NULL, NULL);
|
|
KUNIT_EXPECT_PTR_NE(test, test, NULL);
|
|
KUNIT_EXPECT_NULL(test, NULL);
|
|
KUNIT_EXPECT_NOT_NULL(test, test);
|
|
|
|
/* String assertions */
|
|
KUNIT_EXPECT_STREQ(test, "hi", "hi");
|
|
KUNIT_EXPECT_STRNEQ(test, "hi", "bye");
|
|
|
|
/* Memory block assertions */
|
|
KUNIT_EXPECT_MEMEQ(test, array1, array1, sizeof(array1));
|
|
KUNIT_EXPECT_MEMNEQ(test, array1, array2, sizeof(array1));
|
|
|
|
/*
|
|
* There are also ASSERT variants of all of the above that abort test
|
|
* execution if they fail. Useful for memory allocations, etc.
|
|
*/
|
|
KUNIT_ASSERT_GT(test, sizeof(char), 0);
|
|
|
|
/*
|
|
* There are also _MSG variants of all of the above that let you include
|
|
* additional text on failure.
|
|
*/
|
|
KUNIT_EXPECT_GT_MSG(test, sizeof(int), 0, "Your ints are 0-bit?!");
|
|
KUNIT_ASSERT_GT_MSG(test, sizeof(int), 0, "Your ints are 0-bit?!");
|
|
}
|
|
|
|
/* This is a function we'll replace with static stubs. */
|
|
static int add_one(int i)
|
|
{
|
|
/* This will trigger the stub if active. */
|
|
KUNIT_STATIC_STUB_REDIRECT(add_one, i);
|
|
|
|
return i + 1;
|
|
}
|
|
|
|
/* This is used as a replacement for the above function. */
|
|
static int subtract_one(int i)
|
|
{
|
|
/* We don't need to trigger the stub from the replacement. */
|
|
|
|
return i - 1;
|
|
}
|
|
|
|
/*
|
|
* This test shows the use of static stubs.
|
|
*/
|
|
static void example_static_stub_test(struct kunit *test)
|
|
{
|
|
/* By default, function is not stubbed. */
|
|
KUNIT_EXPECT_EQ(test, add_one(1), 2);
|
|
|
|
/* Replace add_one() with subtract_one(). */
|
|
kunit_activate_static_stub(test, add_one, subtract_one);
|
|
|
|
/* add_one() is now replaced. */
|
|
KUNIT_EXPECT_EQ(test, add_one(1), 0);
|
|
|
|
/* Return add_one() to normal. */
|
|
kunit_deactivate_static_stub(test, add_one);
|
|
KUNIT_EXPECT_EQ(test, add_one(1), 2);
|
|
}
|
|
|
|
static const struct example_param {
|
|
int value;
|
|
} example_params_array[] = {
|
|
{ .value = 2, },
|
|
{ .value = 1, },
|
|
{ .value = 0, },
|
|
};
|
|
|
|
static void example_param_get_desc(const struct example_param *p, char *desc)
|
|
{
|
|
snprintf(desc, KUNIT_PARAM_DESC_SIZE, "example value %d", p->value);
|
|
}
|
|
|
|
KUNIT_ARRAY_PARAM(example, example_params_array, example_param_get_desc);
|
|
|
|
/*
|
|
* This test shows the use of params.
|
|
*/
|
|
static void example_params_test(struct kunit *test)
|
|
{
|
|
const struct example_param *param = test->param_value;
|
|
|
|
/* By design, param pointer will not be NULL */
|
|
KUNIT_ASSERT_NOT_NULL(test, param);
|
|
|
|
/* Test can be skipped on unsupported param values */
|
|
if (!param->value)
|
|
kunit_skip(test, "unsupported param value");
|
|
|
|
/* You can use param values for parameterized testing */
|
|
KUNIT_EXPECT_EQ(test, param->value % param->value, 0);
|
|
}
|
|
|
|
/*
|
|
* This test should always pass. Can be used to practice filtering attributes.
|
|
*/
|
|
static void example_slow_test(struct kunit *test)
|
|
{
|
|
KUNIT_EXPECT_EQ(test, 1 + 1, 2);
|
|
}
|
|
|
|
/*
|
|
* Here we make a list of all the test cases we want to add to the test suite
|
|
* below.
|
|
*/
|
|
static struct kunit_case example_test_cases[] = {
|
|
/*
|
|
* This is a helper to create a test case object from a test case
|
|
* function; its exact function is not important to understand how to
|
|
* use KUnit, just know that this is how you associate test cases with a
|
|
* test suite.
|
|
*/
|
|
KUNIT_CASE(example_simple_test),
|
|
#if IS_BUILTIN(CONFIG_KUNIT) && IS_ENABLED(CONFIG_SEC_KUNIT)
|
|
KUNIT_CASE(example_mock_test),
|
|
#endif /* IS_BUILTIN(CONFIG_KUNIT) && IS_ENABLED(CONFIG_SEC_KUNIT) */
|
|
KUNIT_CASE(example_skip_test),
|
|
KUNIT_CASE(example_mark_skipped_test),
|
|
KUNIT_CASE(example_all_expect_macros_test),
|
|
KUNIT_CASE(example_static_stub_test),
|
|
KUNIT_CASE_PARAM(example_params_test, example_gen_params),
|
|
KUNIT_CASE_SLOW(example_slow_test),
|
|
{}
|
|
};
|
|
|
|
/*
|
|
* This defines a suite or grouping of tests.
|
|
*
|
|
* Test cases are defined as belonging to the suite by adding them to
|
|
* `kunit_cases`.
|
|
*
|
|
* Often it is desirable to run some function which will set up things which
|
|
* will be used by every test; this is accomplished with an `init` function
|
|
* which runs before each test case is invoked. Similarly, an `exit` function
|
|
* may be specified which runs after every test case and can be used to for
|
|
* cleanup. For clarity, running tests in a test suite would behave as follows:
|
|
*
|
|
* suite.suite_init(suite);
|
|
* suite.init(test);
|
|
* suite.test_case[0](test);
|
|
* suite.exit(test);
|
|
* suite.init(test);
|
|
* suite.test_case[1](test);
|
|
* suite.exit(test);
|
|
* suite.suite_exit(suite);
|
|
* ...;
|
|
*/
|
|
static struct kunit_suite example_test_suite = {
|
|
.name = "example",
|
|
.init = example_test_init,
|
|
.exit = example_test_exit,
|
|
.suite_init = example_test_init_suite,
|
|
.suite_exit = example_test_exit_suite,
|
|
.test_cases = example_test_cases,
|
|
};
|
|
|
|
/*
|
|
* This registers the above test suite telling KUnit that this is a suite of
|
|
* tests that need to be run.
|
|
*/
|
|
kunit_test_suites(&example_test_suite);
|
|
|
|
MODULE_LICENSE("GPL v2");
|