xref: /freebsd/contrib/googletest/docs/primer.md (revision 61e21613)
1# GoogleTest Primer
2
3## Introduction: Why GoogleTest?
4
5*GoogleTest* helps you write better C++ tests.
6
7GoogleTest is a testing framework developed by the Testing Technology team with
8Google's specific requirements and constraints in mind. Whether you work on
9Linux, Windows, or a Mac, if you write C++ code, GoogleTest can help you. And it
10supports *any* kind of tests, not just unit tests.
11
12So what makes a good test, and how does GoogleTest fit in? We believe:
13
141.  Tests should be *independent* and *repeatable*. It's a pain to debug a test
15    that succeeds or fails as a result of other tests. GoogleTest isolates the
16    tests by running each of them on a different object. When a test fails,
17    GoogleTest allows you to run it in isolation for quick debugging.
182.  Tests should be well *organized* and reflect the structure of the tested
19    code. GoogleTest groups related tests into test suites that can share data
20    and subroutines. This common pattern is easy to recognize and makes tests
21    easy to maintain. Such consistency is especially helpful when people switch
22    projects and start to work on a new code base.
233.  Tests should be *portable* and *reusable*. Google has a lot of code that is
24    platform-neutral; its tests should also be platform-neutral. GoogleTest
25    works on different OSes, with different compilers, with or without
26    exceptions, so GoogleTest tests can work with a variety of configurations.
274.  When tests fail, they should provide as much *information* about the problem
28    as possible. GoogleTest doesn't stop at the first test failure. Instead, it
29    only stops the current test and continues with the next. You can also set up
30    tests that report non-fatal failures after which the current test continues.
31    Thus, you can detect and fix multiple bugs in a single run-edit-compile
32    cycle.
335.  The testing framework should liberate test writers from housekeeping chores
34    and let them focus on the test *content*. GoogleTest automatically keeps
35    track of all tests defined, and doesn't require the user to enumerate them
36    in order to run them.
376.  Tests should be *fast*. With GoogleTest, you can reuse shared resources
38    across tests and pay for the set-up/tear-down only once, without making
39    tests depend on each other.
40
41Since GoogleTest is based on the popular xUnit architecture, you'll feel right
42at home if you've used JUnit or PyUnit before. If not, it will take you about 10
43minutes to learn the basics and get started. So let's go!
44
45## Beware of the Nomenclature
46
47{: .callout .note}
48*Note:* There might be some confusion arising from different definitions of the
49terms *Test*, *Test Case* and *Test Suite*, so beware of misunderstanding these.
50
51Historically, GoogleTest started to use the term *Test Case* for grouping
52related tests, whereas current publications, including International Software
53Testing Qualifications Board ([ISTQB](http://www.istqb.org/)) materials and
54various textbooks on software quality, use the term
55*[Test Suite][istqb test suite]* for this.
56
57The related term *Test*, as it is used in GoogleTest, corresponds to the term
58*[Test Case][istqb test case]* of ISTQB and others.
59
60The term *Test* is commonly of broad enough sense, including ISTQB's definition
61of *Test Case*, so it's not much of a problem here. But the term *Test Case* as
62was used in Google Test is of contradictory sense and thus confusing.
63
64GoogleTest recently started replacing the term *Test Case* with *Test Suite*.
65The preferred API is *TestSuite*. The older TestCase API is being slowly
66deprecated and refactored away.
67
68So please be aware of the different definitions of the terms:
69
70
71Meaning                                                                              | GoogleTest Term         | [ISTQB](http://www.istqb.org/) Term
72:----------------------------------------------------------------------------------- | :---------------------- | :----------------------------------
73Exercise a particular program path with specific input values and verify the results | [TEST()](#simple-tests) | [Test Case][istqb test case]
74
75
76[istqb test case]: http://glossary.istqb.org/en/search/test%20case
77[istqb test suite]: http://glossary.istqb.org/en/search/test%20suite
78
79## Basic Concepts
80
81When using GoogleTest, you start by writing *assertions*, which are statements
82that check whether a condition is true. An assertion's result can be *success*,
83*nonfatal failure*, or *fatal failure*. If a fatal failure occurs, it aborts the
84current function; otherwise the program continues normally.
85
86*Tests* use assertions to verify the tested code's behavior. If a test crashes
87or has a failed assertion, then it *fails*; otherwise it *succeeds*.
88
89A *test suite* contains one or many tests. You should group your tests into test
90suites that reflect the structure of the tested code. When multiple tests in a
91test suite need to share common objects and subroutines, you can put them into a
92*test fixture* class.
93
94A *test program* can contain multiple test suites.
95
96We'll now explain how to write a test program, starting at the individual
97assertion level and building up to tests and test suites.
98
99## Assertions
100
101GoogleTest assertions are macros that resemble function calls. You test a class
102or function by making assertions about its behavior. When an assertion fails,
103GoogleTest prints the assertion's source file and line number location, along
104with a failure message. You may also supply a custom failure message which will
105be appended to GoogleTest's message.
106
107The assertions come in pairs that test the same thing but have different effects
108on the current function. `ASSERT_*` versions generate fatal failures when they
109fail, and **abort the current function**. `EXPECT_*` versions generate nonfatal
110failures, which don't abort the current function. Usually `EXPECT_*` are
111preferred, as they allow more than one failure to be reported in a test.
112However, you should use `ASSERT_*` if it doesn't make sense to continue when the
113assertion in question fails.
114
115Since a failed `ASSERT_*` returns from the current function immediately,
116possibly skipping clean-up code that comes after it, it may cause a space leak.
117Depending on the nature of the leak, it may or may not be worth fixing - so keep
118this in mind if you get a heap checker error in addition to assertion errors.
119
120To provide a custom failure message, simply stream it into the macro using the
121`<<` operator or a sequence of such operators. See the following example, using
122the [`ASSERT_EQ` and `EXPECT_EQ`](reference/assertions.md#EXPECT_EQ) macros to
123verify value equality:
124
125```c++
126ASSERT_EQ(x.size(), y.size()) << "Vectors x and y are of unequal length";
127
128for (int i = 0; i < x.size(); ++i) {
129  EXPECT_EQ(x[i], y[i]) << "Vectors x and y differ at index " << i;
130}
131```
132
133Anything that can be streamed to an `ostream` can be streamed to an assertion
134macro--in particular, C strings and `string` objects. If a wide string
135(`wchar_t*`, `TCHAR*` in `UNICODE` mode on Windows, or `std::wstring`) is
136streamed to an assertion, it will be translated to UTF-8 when printed.
137
138GoogleTest provides a collection of assertions for verifying the behavior of
139your code in various ways. You can check Boolean conditions, compare values
140based on relational operators, verify string values, floating-point values, and
141much more. There are even assertions that enable you to verify more complex
142states by providing custom predicates. For the complete list of assertions
143provided by GoogleTest, see the [Assertions Reference](reference/assertions.md).
144
145## Simple Tests
146
147To create a test:
148
1491.  Use the `TEST()` macro to define and name a test function. These are
150    ordinary C++ functions that don't return a value.
1512.  In this function, along with any valid C++ statements you want to include,
152    use the various GoogleTest assertions to check values.
1533.  The test's result is determined by the assertions; if any assertion in the
154    test fails (either fatally or non-fatally), or if the test crashes, the
155    entire test fails. Otherwise, it succeeds.
156
157```c++
158TEST(TestSuiteName, TestName) {
159  ... test body ...
160}
161```
162
163`TEST()` arguments go from general to specific. The *first* argument is the name
164of the test suite, and the *second* argument is the test's name within the test
165suite. Both names must be valid C++ identifiers, and they should not contain any
166underscores (`_`). A test's *full name* consists of its containing test suite
167and its individual name. Tests from different test suites can have the same
168individual name.
169
170For example, let's take a simple integer function:
171
172```c++
173int Factorial(int n);  // Returns the factorial of n
174```
175
176A test suite for this function might look like:
177
178```c++
179// Tests factorial of 0.
180TEST(FactorialTest, HandlesZeroInput) {
181  EXPECT_EQ(Factorial(0), 1);
182}
183
184// Tests factorial of positive numbers.
185TEST(FactorialTest, HandlesPositiveInput) {
186  EXPECT_EQ(Factorial(1), 1);
187  EXPECT_EQ(Factorial(2), 2);
188  EXPECT_EQ(Factorial(3), 6);
189  EXPECT_EQ(Factorial(8), 40320);
190}
191```
192
193GoogleTest groups the test results by test suites, so logically related tests
194should be in the same test suite; in other words, the first argument to their
195`TEST()` should be the same. In the above example, we have two tests,
196`HandlesZeroInput` and `HandlesPositiveInput`, that belong to the same test
197suite `FactorialTest`.
198
199When naming your test suites and tests, you should follow the same convention as
200for
201[naming functions and classes](https://google.github.io/styleguide/cppguide.html#Function_Names).
202
203**Availability**: Linux, Windows, Mac.
204
205## Test Fixtures: Using the Same Data Configuration for Multiple Tests {#same-data-multiple-tests}
206
207If you find yourself writing two or more tests that operate on similar data, you
208can use a *test fixture*. This allows you to reuse the same configuration of
209objects for several different tests.
210
211To create a fixture:
212
2131.  Derive a class from `::testing::Test` . Start its body with `protected:`, as
214    we'll want to access fixture members from sub-classes.
2152.  Inside the class, declare any objects you plan to use.
2163.  If necessary, write a default constructor or `SetUp()` function to prepare
217    the objects for each test. A common mistake is to spell `SetUp()` as
218    **`Setup()`** with a small `u` - Use `override` in C++11 to make sure you
219    spelled it correctly.
2204.  If necessary, write a destructor or `TearDown()` function to release any
221    resources you allocated in `SetUp()` . To learn when you should use the
222    constructor/destructor and when you should use `SetUp()/TearDown()`, read
223    the [FAQ](faq.md#CtorVsSetUp).
2245.  If needed, define subroutines for your tests to share.
225
226When using a fixture, use `TEST_F()` instead of `TEST()` as it allows you to
227access objects and subroutines in the test fixture:
228
229```c++
230TEST_F(TestFixtureClassName, TestName) {
231  ... test body ...
232}
233```
234
235Unlike `TEST()`, in `TEST_F()` the first argument must be the name of the test
236fixture class. (`_F` stands for "Fixture"). No test suite name is specified for
237this macro.
238
239Unfortunately, the C++ macro system does not allow us to create a single macro
240that can handle both types of tests. Using the wrong macro causes a compiler
241error.
242
243Also, you must first define a test fixture class before using it in a
244`TEST_F()`, or you'll get the compiler error "`virtual outside class
245declaration`".
246
247For each test defined with `TEST_F()`, GoogleTest will create a *fresh* test
248fixture at runtime, immediately initialize it via `SetUp()`, run the test, clean
249up by calling `TearDown()`, and then delete the test fixture. Note that
250different tests in the same test suite have different test fixture objects, and
251GoogleTest always deletes a test fixture before it creates the next one.
252GoogleTest does **not** reuse the same test fixture for multiple tests. Any
253changes one test makes to the fixture do not affect other tests.
254
255As an example, let's write tests for a FIFO queue class named `Queue`, which has
256the following interface:
257
258```c++
259template <typename E>  // E is the element type.
260class Queue {
261 public:
262  Queue();
263  void Enqueue(const E& element);
264  E* Dequeue();  // Returns NULL if the queue is empty.
265  size_t size() const;
266  ...
267};
268```
269
270First, define a fixture class. By convention, you should give it the name
271`FooTest` where `Foo` is the class being tested.
272
273```c++
274class QueueTest : public ::testing::Test {
275 protected:
276  void SetUp() override {
277     // q0_ remains empty
278     q1_.Enqueue(1);
279     q2_.Enqueue(2);
280     q2_.Enqueue(3);
281  }
282
283  // void TearDown() override {}
284
285  Queue<int> q0_;
286  Queue<int> q1_;
287  Queue<int> q2_;
288};
289```
290
291In this case, `TearDown()` is not needed since we don't have to clean up after
292each test, other than what's already done by the destructor.
293
294Now we'll write tests using `TEST_F()` and this fixture.
295
296```c++
297TEST_F(QueueTest, IsEmptyInitially) {
298  EXPECT_EQ(q0_.size(), 0);
299}
300
301TEST_F(QueueTest, DequeueWorks) {
302  int* n = q0_.Dequeue();
303  EXPECT_EQ(n, nullptr);
304
305  n = q1_.Dequeue();
306  ASSERT_NE(n, nullptr);
307  EXPECT_EQ(*n, 1);
308  EXPECT_EQ(q1_.size(), 0);
309  delete n;
310
311  n = q2_.Dequeue();
312  ASSERT_NE(n, nullptr);
313  EXPECT_EQ(*n, 2);
314  EXPECT_EQ(q2_.size(), 1);
315  delete n;
316}
317```
318
319The above uses both `ASSERT_*` and `EXPECT_*` assertions. The rule of thumb is
320to use `EXPECT_*` when you want the test to continue to reveal more errors after
321the assertion failure, and use `ASSERT_*` when continuing after failure doesn't
322make sense. For example, the second assertion in the `Dequeue` test is
323`ASSERT_NE(n, nullptr)`, as we need to dereference the pointer `n` later, which
324would lead to a segfault when `n` is `NULL`.
325
326When these tests run, the following happens:
327
3281.  GoogleTest constructs a `QueueTest` object (let's call it `t1`).
3292.  `t1.SetUp()` initializes `t1`.
3303.  The first test (`IsEmptyInitially`) runs on `t1`.
3314.  `t1.TearDown()` cleans up after the test finishes.
3325.  `t1` is destructed.
3336.  The above steps are repeated on another `QueueTest` object, this time
334    running the `DequeueWorks` test.
335
336**Availability**: Linux, Windows, Mac.
337
338## Invoking the Tests
339
340`TEST()` and `TEST_F()` implicitly register their tests with GoogleTest. So,
341unlike with many other C++ testing frameworks, you don't have to re-list all
342your defined tests in order to run them.
343
344After defining your tests, you can run them with `RUN_ALL_TESTS()`, which
345returns `0` if all the tests are successful, or `1` otherwise. Note that
346`RUN_ALL_TESTS()` runs *all tests* in your link unit--they can be from different
347test suites, or even different source files.
348
349When invoked, the `RUN_ALL_TESTS()` macro:
350
351*   Saves the state of all GoogleTest flags.
352
353*   Creates a test fixture object for the first test.
354
355*   Initializes it via `SetUp()`.
356
357*   Runs the test on the fixture object.
358
359*   Cleans up the fixture via `TearDown()`.
360
361*   Deletes the fixture.
362
363*   Restores the state of all GoogleTest flags.
364
365*   Repeats the above steps for the next test, until all tests have run.
366
367If a fatal failure happens the subsequent steps will be skipped.
368
369{: .callout .important}
370> IMPORTANT: You must **not** ignore the return value of `RUN_ALL_TESTS()`, or
371> you will get a compiler error. The rationale for this design is that the
372> automated testing service determines whether a test has passed based on its
373> exit code, not on its stdout/stderr output; thus your `main()` function must
374> return the value of `RUN_ALL_TESTS()`.
375>
376> Also, you should call `RUN_ALL_TESTS()` only **once**. Calling it more than
377> once conflicts with some advanced GoogleTest features (e.g., thread-safe
378> [death tests](advanced.md#death-tests)) and thus is not supported.
379
380**Availability**: Linux, Windows, Mac.
381
382## Writing the main() Function
383
384Most users should *not* need to write their own `main` function and instead link
385with `gtest_main` (as opposed to with `gtest`), which defines a suitable entry
386point. See the end of this section for details. The remainder of this section
387should only apply when you need to do something custom before the tests run that
388cannot be expressed within the framework of fixtures and test suites.
389
390If you write your own `main` function, it should return the value of
391`RUN_ALL_TESTS()`.
392
393You can start from this boilerplate:
394
395```c++
396#include "this/package/foo.h"
397
398#include <gtest/gtest.h>
399
400namespace my {
401namespace project {
402namespace {
403
404// The fixture for testing class Foo.
405class FooTest : public ::testing::Test {
406 protected:
407  // You can remove any or all of the following functions if their bodies would
408  // be empty.
409
410  FooTest() {
411     // You can do set-up work for each test here.
412  }
413
414  ~FooTest() override {
415     // You can do clean-up work that doesn't throw exceptions here.
416  }
417
418  // If the constructor and destructor are not enough for setting up
419  // and cleaning up each test, you can define the following methods:
420
421  void SetUp() override {
422     // Code here will be called immediately after the constructor (right
423     // before each test).
424  }
425
426  void TearDown() override {
427     // Code here will be called immediately after each test (right
428     // before the destructor).
429  }
430
431  // Class members declared here can be used by all tests in the test suite
432  // for Foo.
433};
434
435// Tests that the Foo::Bar() method does Abc.
436TEST_F(FooTest, MethodBarDoesAbc) {
437  const std::string input_filepath = "this/package/testdata/myinputfile.dat";
438  const std::string output_filepath = "this/package/testdata/myoutputfile.dat";
439  Foo f;
440  EXPECT_EQ(f.Bar(input_filepath, output_filepath), 0);
441}
442
443// Tests that Foo does Xyz.
444TEST_F(FooTest, DoesXyz) {
445  // Exercises the Xyz feature of Foo.
446}
447
448}  // namespace
449}  // namespace project
450}  // namespace my
451
452int main(int argc, char **argv) {
453  ::testing::InitGoogleTest(&argc, argv);
454  return RUN_ALL_TESTS();
455}
456```
457
458The `::testing::InitGoogleTest()` function parses the command line for
459GoogleTest flags, and removes all recognized flags. This allows the user to
460control a test program's behavior via various flags, which we'll cover in the
461[AdvancedGuide](advanced.md). You **must** call this function before calling
462`RUN_ALL_TESTS()`, or the flags won't be properly initialized.
463
464On Windows, `InitGoogleTest()` also works with wide strings, so it can be used
465in programs compiled in `UNICODE` mode as well.
466
467But maybe you think that writing all those `main` functions is too much work? We
468agree with you completely, and that's why Google Test provides a basic
469implementation of main(). If it fits your needs, then just link your test with
470the `gtest_main` library and you are good to go.
471
472{: .callout .note}
473NOTE: `ParseGUnitFlags()` is deprecated in favor of `InitGoogleTest()`.
474
475## Known Limitations
476
477*   Google Test is designed to be thread-safe. The implementation is thread-safe
478    on systems where the `pthreads` library is available. It is currently
479    *unsafe* to use Google Test assertions from two threads concurrently on
480    other systems (e.g. Windows). In most tests this is not an issue as usually
481    the assertions are done in the main thread. If you want to help, you can
482    volunteer to implement the necessary synchronization primitives in
483    `gtest-port.h` for your platform.
484