Documentation

Introduction

• Features

TUT tests organization

• Test application
• Test groups
• Tests

Writing simple test

• Preamble
• Skeleton
• Creating Test Group

Creating Tests

• First real test Running tests

Develop TUT

• Prerequesits
• Compiling the selftest and samples

Introduction

TUT is a pure C++ unit test framework. Its name - TUT - stands for Template Unit Tests.

• TUT is very portable, no matter what compiler or OS you use.
• TUT consists of header files only. No libraries required, deployment has never been easier.
• Custom reporter interface allows to integrate TUT with virtually any IDE or tool in the world.
• Support for multi-process testing (testing deadlocks and timeouts is under way).
• TUT is free and distributed under a BSD-like license.
• Tests are organised into named test groups.
• Regression (all tests in the application), one-group or one-test execution.
• Pure C++, no macros!
• TUT tests are easy to read and maintain. see the examples examples

Features

TUT provides all features required for unit testing:

• Similar tests can be grouped together into test groups. Each test group has its unique name and is located in a separate compilation unit. One group can contain almost unlimited number of tests (actually, the limit is the compiler template recursion depth).
• User can run all the tests (regression), or just some selected groups or even some tests in these groups.
• TUT provides special template functions to check the condition validity at run-time and to force test failure if required. Since C++ doesn't provide a facility for obtaining stack trace of the throwed exception and TUT avoids macros, those functions accept string marker to allow users easely determine the source of exception.
• TUT contains callback that can be implemented by the calling code to integrate with an IDE, for example. Callbacks tell listener when a new test run started, when test runner switches to the next tests group, when a test was completed (and what result it has), and when test run was finished. The callbacks allow users to produce their own visualization format for test process and results.
• Being a template library, it doesn't need compilation; just include the <tut/tut.hpp> header into the test modules.

TUT tests organization

Test application

C++ produces executable code, so tests have to be compiled into a single binary called test application. The application can be built in automated mode to perform nightly tests. They also can be built manually when a developer hunts for bugs.

The test application contains tests, organized into test groups.

Test groups

The functionality of a tested application can be divided into a few separate function blocks (e.g. User Rights, Export, Processing, ...). It is natural to group together tests for each block. TUT invokes this test group. Each test group has a unique human-readable name and normally is located in a separate file.

Tests

Each single test usually checks only one specific element of functionality. For example, for a container a test could check whether size() call returns zero after the successful call to the clear() method.

Writing simple test

Preamble

You are going to create a new class for your application. You decided to write tests for the class to be sure it works while you are developing or, possibly, enhancing it. Let's consider your class is shared pointer: std::auto_ptr-alike type that shares the same object among instances.

Prior to test writing, you should decide what to test. Maximalist's approach requires to write so many tests that altering any single line of your production code will break at least one of them. Minimalist's approach allows one to write tests only for the most general or the most complex use cases. The truth lies somewhere in between, but only you, developer, know where. You should prepare common successful and unsuccessful scenarios, and the scenarios for testing any other functionality you believe might be broken in some way.

For our shared_ptr we obviosly should test constructors, assignment operators, referencing and passing ownership.

Skeleton

If you don't have any implemented class to test yet, it would be good to implement it as a set of stubs for a first time. Thus you'll get an interface, and be able to write your tests. Yes, that's correct: you should write your tests before writing code! First of all, writing tests often helps to understand oddities in the current interface, and fix it. Secondly, with the stubs all your tests will fail, so you'll be sure they do their job.

Creating Test Group

Since we're writing unit tests, it would be a good idea to group the tests for our class in one place to be able to run them separately. It's also natural in C++ to place all the grouped tests into one compilation unit (i.e. source file). So, to begin, we should create a new file. Let's call it test_shared_ptr.cpp. (Final variant of the test group can be found in examples/shared_ptr subdirectory of the distribution package)

// test_shared_ptr.cpp
#include <tut/tut.hpp>

namespace tut
{
}

As you see, you need to include TUT header file (as expected) and use namespace tut for tests. You may also use anonymous namespace if your compiler allows it (you will need to instantiate methods from tut namespace and some compilers refuse to place such instantiations into the anonymous namespace).

A test group in TUT framework is described by the special template test_group<T>. The template parameter T is a type that will hold all test-specific data during the test execution. Actually, the data stored in T are member data of the test. Test object is inherited from T, so any test can refer to the data in T as its member data.

For simple test groups (where all data are stored in test local variables) type T is an empty struct.

#include <tut/tut.hpp>

namespace tut
{
  struct shared_ptr_data
  { 
  };
}

But when tests have complex or repeating creation phase, you may put data members into the T and provide constructor (and, if required, destructor) for it. For each test, a new instance of T will be created. To prepare your test for execution TUT will use default constructor. Similarly, after the test has been finished, TUT calls the destructor to clean up T. I.e.:

#include <tut/tut.hpp>

namespace tut
{
  struct complex_data
  {
    connection* con;
    complex_data(){ con = db_pool.get_connection(); }
    ~complex_data(){ db_pool.release_connection(con); }
  };

  // each test from now will have con data member initialized
  // by constructor:
  ...
  con->commit();
  ...
}

What will happen if the constructor throws an exception? TUT will treat it as if test itself failed with exception, so this test will not be executed. You'll see an exception mark near the test, and if the constructor throwed something printable, a certain message will appear.

Exception in destructor is threated a bit different. Reaching destruction phase means that the test is passed, so TUT marks test with warning status meaning that test itself was OK, but something bad has happend after the test.

Well, all we have written so far is just a type declaration. To work with a group we have to have an object, so we must create the test group object. Since we need only one test group object for each unit, we can (and should, actually) make this object static. To prevent name clash with other test group objects in the namespace tut, we should provide a descriptive name, or, alternatively, we may put it into the anonymous namespace. The former is more correct, but a descriptive name usually works well too, unless you're too terse in giving names to objects.

#include <tut/tut.hpp>

namespace tut
{
    struct shared_ptr_data
    {

    };

    typedef test_group<shared_ptr_data> tg;
    tg shared_ptr_group("shared_ptr");
}

As you see, any test group accepts a single parameter - its human-readable name. This name is used to identify the group when a programmer wants to execute all tests or a single test within the group. So this name shall also be descriptive enough to avoid clashes. Since we're writing tests for a specific unit, it's enough to name it after the unit name.

Test group constructor will be called at unspecified moment at the test application startup. The constructor performs self-registration; it calls tut::runner and asks it to store the test group object name and location. Any other test group in the system undergoes the same processing, i.e. each test group object registers itself. Thus, test runner can iterate all test groups or execute any test group by its name.

Newly created group has no tests associated with it. To be more precise, it has predefined set of dummy tests. By default, there are 50 tests in a group, including dummy ones. To create a test group with higher volume (e.g. when tests are generated by a script and their number is higher) we must provide a higher border of test group size when it is instantiated:

#include <tut/tut.hpp>

namespace tut
{
    struct huge_test_data
    {
    };

    // test group with maximum 500 tests
    typedef test_group<huge_test_data,500> testgroup;
    testgroup huge_test_testgroup("huge group");
}

Note also, that your compiler will possibly need a command-line switch or pragma to enlarge recursive instantiation depth. For g++, for example, you should specify at least –ftemplate-depth-501 to increase the depth. For more information see your compiler documentation.

Creating Tests

Now it's time to fill our test group with content.

In TUT, all tests have unique numbers inside the test group. Some people believe that textual names better describe failed tests in reports. I agree; but in reality C++ templates work good with numbers because they are compile-time constants and refuse to do the same with strings, since strings are in fact addresses of character buffers, i.e. run-time data.

As I mentioned above, our test group already has a few dummy tests; and we can replace any of them with something real just by writing our own version:

#include <tut/tut.hpp>

namespace tut
{
    struct shared_ptr_data{};

    typedef test_group<shared_ptr_data> testgroup;
    typedef testgroup::object testobject;
    testgroup shared_ptr_testgroup("shared_ptr");

    template<>
    template<>
    void testobject::test<1>()
    {
        // do nothing test
    }
}

So far this test does nothing, but it's enough to illustrate the concept.

All tests in the group belong to the type test_group<T>::object. This class is directly inherited from our test data structure. In our case, it is

class object : public shared_ptr_data { ... }

This allows to access members of the data structure directly, since at the same time they are members of the object type. We also typedef the type with testobject for brevity.

We mark our test with number 1. Previously, test group had a dummy test with the same number, but now, since we've defined our own version, it replaces the dummy test as more specialized one. It's how C++ template ordering works.

The test we've written always succeeds. Successful test returns with no exceptions. Unsuccessful one either throws an exception, or fails at fail() or ensure() methods (which anyway just throw the exception when failed).

First real test

Well, now we know enough to write the first real working test. This test will create shared_ptr instances and check their state. We will define a small structure (keepee) to use it as shared_ptr stored object type.

#include <tut/tut.hpp>
#include <shared_ptr.h>

namespace tut
{
    struct shared_ptr_data
    {
        struct keepee{ int data; };
    };

    typedef test_group<shared_ptr_data> testgroup;
    typedef testgroup::object testobject;
    testgroup shared_ptr_testgroup("shared_ptr");

    template<>
    template<>
    void testobject::test<1>()
    {
        set_test_name("Checks default constructor");
        shared_ptr<keepee> def;
        ensure("null", def.get() == 0);
    }
};

That's all! The first line creates shared_ptr. If constructor throws an exception, test will fail (exceptions, including '...', are catched by the TUT framework). If the first line succeeds, we must check whether the kept object is null one. To do this, we use test object member function ensure(), which throws std::logic_error with a given message if its second argument is not true. Finally, if destructor of shared_ptr fails with exception, TUT also will report this test as failed.

It's equally easy to write a test for the scenario where we expect to get an exception: let's consider our class should throw an exception if it has no stored object, and the operator -> is called.

template<>
template<>
void testobject::test<2>()
{
    set_test_name("Checks operator -> throws instead of returning null");
    try
    {
        shared_ptr<keepee> sp;
        sp->data = 0;
        fail("exception expected");
    }
    catch( const std::runtime_error& ex )
    {
        // ok
    }
}

Here we expect the std::runtime_error. If operator doesn't throw it, we'll force the test to fail using another member function: fail(). It just throws std::logic_error with a given message. If operator throws anything else, our test will fail too, since we intercept only std::runtime_error, and any other exception means the test has failed.

NB: our second test has number 2 in its name; it can, actually, be any in range 1..Max; the only requirement is not to write tests with the same numbers. If you did, compiler will force you to fix them anyway.

And finally, one more test to demonstrate how to use the ensure_equals template member function:

template<>
template<>
void testobject::test<3>()
{
    set_test_name("Checks keepee counting");
    shared_ptr<keepee> sp1(new keepee());
    shared_ptr<keepee> sp2(sp1);
    ensure_equals("second copy at sp1",sp1.count(),2);
    ensure_equals("second copy at sp2",sp2.count(),2);
}

The test checks if the shared_ptr correctly counts references during copy construction. What's interesting here is the template member ensure_equals. It has an additional functionality comparing with similar call ensure("second_copy",sp1.count()==2); it uses operator == to check the equality of the two passed parameters and, what's more important, it uses std::stream to format the passed parameters into a human-readable message (smth like: "second copy: expected 2, got 1"). It means that ensure_equals cannot be used with the types that don't have operator <<; but for those having the operator it provides much more informational message.

In contrast to JUnit assertEquals, where the expected value goes before the actual one, ensure_equals() accepts the expected after the actual value. I believe it's more natural to read ensure_equals("msg", count, 5) as "ensure that count equals to 5" rather than JUnit's "assert that 5 is the value of the count".

Running tests

Tests are already written, but an attempt to run them will be unsuccessful. We need a few other bits to complete the test application.

First of all, we need a main() method, simply because it must be in all applications. Secondly, we need a test runner singleton. Remember I said each test group should register itself in singleton? So, we need that singleton. And, finally, we need a kind of a callback handler to visualize our test results.

The design of TUT doesn't strictly set a way the tests are visualized; instead, it provides an opportunity to get the test results by means of callbacks. Moreover it allows user to output the results in any format he prefers. Of course, there is a "reference implementation" in the example/subdirectory of the project.

Test runner singleton is defined in tut/tut.hpp, so all we need to activate it is to declare an object of the type tut::test_runner_singleton in the main module with a special name tut::runner.

Now, with the test_runner we can run tests. Singleton has method get() returning a reference to an instance of the test_runner class, which in turn has methods run_tests() to run all tests in all groups, run_tests(const std::string& groupname) to run all tests in a given group and run_test(const std::string& grp,int n) to run one test in the specified group.

// main.cpp
#include <tut/tut.hpp>

namespace tut
{
    test_runner_singleton runner;
}

int main()
{
    // run all tests in all groups
    runner.get().run_tests();

    // run all tests in group "shared_ptr"
    runner.get().run_tests("shared_ptr");

    // run test number 5 in group "shared_ptr"
    runner.get().run_test("shared_ptr",5);

    return 0;
}

It's up to user to handle command-line arguments or GUI messages and map those arguments/messages to actual calls to test runner. Again, as you see, TUT doesn't restrict user here.

But, the last question is still unanswered: how do we get our test results? The answer lies inside tut::callback interface. User shall create its subclass, and write up to three simple methods. He also can omit any method since they have default no-op implementation. Each corresponding method is called in the following cases:

• a new test run started;
• test finished;
• test run finished.

Here is a minimal implementation:

class visualizator : public tut::callback
{
public:
  void run_started(){ }

  void test_completed(const tut::test_result& tr)
  {
      // ... show test result here ...
  }

  void run_completed(){ }
};        

The most important is the test_completed() method; its parameter has type test_result, and contains everything about the finished test, from its group name and number to the exception message, if any. Member result is an enum that contains status of the test: ok, fail or ex. Take a look at the examples/basic/main.cpp for more complete visualizator.

Visualizator should be passed to the test_runner before run. Knowing that, we are ready to write the final version of our main module:

// main.cpp
#include <tut/tut.hpp>

namespace tut
{
  test_runner_singleton runner;
}

class callback : public tut::callback
{
public:
  void run_started(){ std::cout << "\nbegin"; }

  void test_completed(const tut::test_result& tr)
  {
    std::cout << tr.test_pos << "=" << tr.result << std::flush;
  }

  void run_completed(){ std::cout << "\nend"; }
};

int main()
{
  callback clbk;
  runner.get().set_callback(&clbk);

  // run all tests in all groups
  runner.get().run_tests();
  return 0;
}

That's it. You are now ready to link and run our test application. Do it as often as possible; once a day is a definite must. I hope, TUT will help you to make your application more robust and relieve your testing pain.

Feel free to send your questions, suggestions and critical opinions to me; I'll do my best to address them asap.

Develop TUT

Prerequesits

TUT is a template library, for testing this files you need:

• C++ compiler
• python 2.6

If you build the Documentation you need also:

• ruby
• webgen (gem install webgen)
• make (for Windows you can install GnuWin32 or WinAVR)
• doxygen
• graphviz

After installing all these programs, you need some changes at your environment. (depend on the system witch you use) For example Win: needs python and ruby in the %PATH% variable.

Compiling the selftest and samples

Go into the directory where the tut is. Call:

• UNIX: ./waf configure
• Win: python.exe waf configure

Build the sources:

• UNIX: ./waf
• Win: python.exe waf

Run the selftest:

• UNIX: build/default/self_test
• Win: build/default/self_test.exe

if there is no error you can install tut

• UNIX: ./waf install
• Win: python.exe waf install

or copy the contend of the include directory to your include directory. Additional copy 'build/default/include/tut/tut_config.hpp'

Build the Documentation:

Goto the directory doc/webgen and call make

the documentation will be build in the out directory. Install this directory on the Webserver. Or call make deploy if you are maintainer.

Thats all, Have Fun!