123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276 |
- // SPDX-License-Identifier: GPL-2.0
- /*
- * Example KUnit test to show how to use KUnit.
- *
- * Copyright (C) 2019, Google LLC.
- * Author: Brendan Higgins <[email protected]>
- */
- #include <kunit/test.h>
- #include <kunit/mock.h>
- /*
- * 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);
- }
- 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(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));
- }
- /*
- * 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");
- /*
- * 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;
- return 0;
- }
- /*
- * 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 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)
- {
- /* 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");
- /*
- * 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?!");
- }
- /*
- * 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),
- KUNIT_CASE(example_mock_test),
- KUNIT_CASE(example_skip_test),
- KUNIT_CASE(example_mark_skipped_test),
- KUNIT_CASE(example_all_expect_macros_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,
- .suite_init = example_test_init_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");
|