README

Documentation TUT How-To minimum steps to make TUT work for you

What is TUT

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

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");

    /**
     * Checks default constructor.
     */
    template<>
    template<>
    void testobject::test<1>()
    {
        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.

/**
 * Checks operator -> throws instead of returning null.
 */
template<>
template<>
void testobject::test<2>()
{
    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:

/**
 * Checks keepee counting.
 */
template<>
template<>
void testobject::test<3>()
{
    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.