~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to doc/developers/testing.txt

  • Committer: Aaron Bentley
  • Date: 2008-10-16 21:27:10 UTC
  • mfrom: (0.15.26 unshelve)
  • mto: (0.16.74 shelf-ui)
  • mto: This revision was merged to the branch mainline in revision 3820.
  • Revision ID: aaron@aaronbentley.com-20081016212710-h9av3nhk76dvmsv5
Merge with unshelve

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
=======================
 
2
Guide to Testing Bazaar
 
3
=======================
 
4
 
 
5
.. contents::
 
6
 
 
7
Testing Bazaar
 
8
##############
 
9
 
 
10
The Importance of Testing
 
11
=========================
 
12
 
 
13
Reliability is a critical success factor for any Version Control System.
 
14
We want Bazaar to be highly reliable across multiple platforms while
 
15
evolving over time to meet the needs of its community.
 
16
 
 
17
In a nutshell, this is what we expect and encourage:
 
18
 
 
19
* New functionality should have test cases.  Preferably write the
 
20
  test before writing the code.
 
21
 
 
22
  In general, you can test at either the command-line level or the
 
23
  internal API level.  See `Writing tests`_ below for more detail.
 
24
 
 
25
* Try to practice Test-Driven Development: before fixing a bug, write a
 
26
  test case so that it does not regress.  Similarly for adding a new
 
27
  feature: write a test case for a small version of the new feature before
 
28
  starting on the code itself.  Check the test fails on the old code, then
 
29
  add the feature or fix and check it passes.
 
30
 
 
31
By doing these things, the Bazaar team gets increased confidence that
 
32
changes do what they claim to do, whether provided by the core team or
 
33
by community members. Equally importantly, we can be surer that changes
 
34
down the track do not break new features or bug fixes that you are
 
35
contributing today.
 
36
 
 
37
As of May 2008, Bazaar ships with a test suite containing over 12000 tests
 
38
and growing. We are proud of it and want to remain so. As community
 
39
members, we all benefit from it. Would you trust version control on
 
40
your project to a product *without* a test suite like Bazaar has?
 
41
 
 
42
 
 
43
Running the Test Suite
 
44
======================
 
45
 
 
46
Currently, bzr selftest is used to invoke tests.
 
47
You can provide a pattern argument to run a subset. For example,
 
48
to run just the blackbox tests, run::
 
49
 
 
50
  ./bzr selftest -v blackbox
 
51
 
 
52
To skip a particular test (or set of tests), use the --exclude option
 
53
(shorthand -x) like so::
 
54
 
 
55
  ./bzr selftest -v -x blackbox
 
56
 
 
57
To ensure that all tests are being run and succeeding, you can use the
 
58
--strict option which will fail if there are any missing features or known
 
59
failures, like so::
 
60
 
 
61
  ./bzr selftest --strict
 
62
 
 
63
To list tests without running them, use the --list-only option like so::
 
64
 
 
65
  ./bzr selftest --list-only
 
66
 
 
67
This option can be combined with other selftest options (like -x) and
 
68
filter patterns to understand their effect.
 
69
 
 
70
Once you understand how to create a list of tests, you can use the --load-list
 
71
option to run only a restricted set of tests that you kept in a file, one test
 
72
id by line. Keep in mind that this will never be sufficient to validate your
 
73
modifications, you still need to run the full test suite for that, but using it
 
74
can help in some cases (like running only the failed tests for some time)::
 
75
 
 
76
  ./bzr selftest -- load-list my_failing_tests
 
77
 
 
78
This option can also be combined with other selftest options, including
 
79
patterns. It has some drawbacks though, the list can become out of date pretty
 
80
quick when doing Test Driven Development.
 
81
 
 
82
To address this concern, there is another way to run a restricted set of tests:
 
83
the --starting-with option will run only the tests whose name starts with the
 
84
specified string. It will also avoid loading the other tests and as a
 
85
consequence starts running your tests quicker::
 
86
 
 
87
  ./bzr selftest --starting-with bzrlib.blackbox
 
88
 
 
89
This option can be combined with all the other selftest options including
 
90
--load-list. The later is rarely used but allows to run a subset of a list of
 
91
failing tests for example.
 
92
 
 
93
 
 
94
Test suite debug flags
 
95
----------------------
 
96
 
 
97
Similar to the global ``-Dfoo`` debug options, bzr selftest accepts
 
98
``-E=foo`` debug flags.  These flags are:
 
99
 
 
100
:allow_debug: do *not* clear the global debug flags when running a test.
 
101
  This can provide useful logging to help debug test failures when used
 
102
  with e.g. ``bzr -Dhpss selftest -E=allow_debug``
 
103
 
 
104
 
 
105
Writing Tests
 
106
=============
 
107
 
 
108
Where should I put a new test?
 
109
------------------------------
 
110
 
 
111
Bzrlib's tests are organised by the type of test.  Most of the tests in
 
112
bzr's test suite belong to one of these categories:
 
113
 
 
114
 - Unit tests
 
115
 - Blackbox (UI) tests
 
116
 - Per-implementation tests
 
117
 - Doctests
 
118
 
 
119
A quick description of these test types and where they belong in bzrlib's
 
120
source follows.  Not all tests fall neatly into one of these categories;
 
121
in those cases use your judgement.
 
122
 
 
123
 
 
124
Unit tests
 
125
~~~~~~~~~~
 
126
 
 
127
Unit tests make up the bulk of our test suite.  These are tests that are
 
128
focused on exercising a single, specific unit of the code as directly
 
129
as possible.  Each unit test is generally fairly short and runs very
 
130
quickly.
 
131
 
 
132
They are found in ``bzrlib/tests/test_*.py``.  So in general tests should
 
133
be placed in a file named test_FOO.py where FOO is the logical thing under
 
134
test.
 
135
 
 
136
For example, tests for merge3 in bzrlib belong in bzrlib/tests/test_merge3.py.
 
137
See bzrlib/tests/test_sampler.py for a template test script.
 
138
 
 
139
 
 
140
Blackbox (UI) tests
 
141
~~~~~~~~~~~~~~~~~~~
 
142
 
 
143
Tests can be written for the UI or for individual areas of the library.
 
144
Choose whichever is appropriate: if adding a new command, or a new command
 
145
option, then you should be writing a UI test.  If you are both adding UI
 
146
functionality and library functionality, you will want to write tests for
 
147
both the UI and the core behaviours.  We call UI tests 'blackbox' tests
 
148
and they belong in ``bzrlib/tests/blackbox/*.py``.
 
149
 
 
150
When writing blackbox tests please honour the following conventions:
 
151
 
 
152
 1. Place the tests for the command 'name' in
 
153
    bzrlib/tests/blackbox/test_name.py. This makes it easy for developers
 
154
    to locate the test script for a faulty command.
 
155
 
 
156
 2. Use the 'self.run_bzr("name")' utility function to invoke the command
 
157
    rather than running bzr in a subprocess or invoking the
 
158
    cmd_object.run() method directly. This is a lot faster than
 
159
    subprocesses and generates the same logging output as running it in a
 
160
    subprocess (which invoking the method directly does not).
 
161
 
 
162
 3. Only test the one command in a single test script. Use the bzrlib
 
163
    library when setting up tests and when evaluating the side-effects of
 
164
    the command. We do this so that the library api has continual pressure
 
165
    on it to be as functional as the command line in a simple manner, and
 
166
    to isolate knock-on effects throughout the blackbox test suite when a
 
167
    command changes its name or signature. Ideally only the tests for a
 
168
    given command are affected when a given command is changed.
 
169
 
 
170
 4. If you have a test which does actually require running bzr in a
 
171
    subprocess you can use ``run_bzr_subprocess``. By default the spawned
 
172
    process will not load plugins unless ``--allow-plugins`` is supplied.
 
173
 
 
174
 
 
175
Per-implementation tests
 
176
~~~~~~~~~~~~~~~~~~~~~~~~
 
177
 
 
178
Per-implementation tests are tests that are defined once and then run
 
179
against multiple implementations of an interface.  For example,
 
180
``test_transport_implementations.py`` defines tests that all Transport
 
181
implementations (local filesystem, HTTP, and so on) must pass.
 
182
 
 
183
They are found in ``bzrlib/tests/*_implementations/test_*.py``,
 
184
``bzrlib/tests/per_*/*.py``, and
 
185
``bzrlib/tests/test_*_implementations.py``.
 
186
 
 
187
These are really a sub-category of unit tests, but an important one.
 
188
 
 
189
 
 
190
Doctests
 
191
~~~~~~~~
 
192
 
 
193
We make selective use of doctests__.  In general they should provide
 
194
*examples* within the API documentation which can incidentally be tested.  We
 
195
don't try to test every important case using doctests |--| regular Python
 
196
tests are generally a better solution.  That is, we just use doctests to
 
197
make our documentation testable, rather than as a way to make tests.
 
198
 
 
199
Most of these are in ``bzrlib/doc/api``.  More additions are welcome.
 
200
 
 
201
  __ http://docs.python.org/lib/module-doctest.html
 
202
 
 
203
 
 
204
.. Effort tests
 
205
.. ~~~~~~~~~~~~
 
206
 
 
207
 
 
208
 
 
209
Skipping tests
 
210
--------------
 
211
 
 
212
In our enhancements to unittest we allow for some addition results beyond
 
213
just success or failure.
 
214
 
 
215
If a test can't be run, it can say that it's skipped by raising a special
 
216
exception.  This is typically used in parameterized tests |--| for example
 
217
if a transport doesn't support setting permissions, we'll skip the tests
 
218
that relating to that.  ::
 
219
 
 
220
    try:
 
221
        return self.branch_format.initialize(repo.bzrdir)
 
222
    except errors.UninitializableFormat:
 
223
        raise tests.TestSkipped('Uninitializable branch format')
 
224
 
 
225
Raising TestSkipped is a good idea when you want to make it clear that the
 
226
test was not run, rather than just returning which makes it look as if it
 
227
was run and passed.
 
228
 
 
229
Several different cases are distinguished:
 
230
 
 
231
TestSkipped
 
232
        Generic skip; the only type that was present up to bzr 0.18.
 
233
 
 
234
TestNotApplicable
 
235
        The test doesn't apply to the parameters with which it was run.
 
236
        This is typically used when the test is being applied to all
 
237
        implementations of an interface, but some aspects of the interface
 
238
        are optional and not present in particular concrete
 
239
        implementations.  (Some tests that should raise this currently
 
240
        either silently return or raise TestSkipped.)  Another option is
 
241
        to use more precise parameterization to avoid generating the test
 
242
        at all.
 
243
 
 
244
UnavailableFeature
 
245
        The test can't be run because a dependency (typically a Python
 
246
        library) is not available in the test environment.  These
 
247
        are in general things that the person running the test could fix
 
248
        by installing the library.  It's OK if some of these occur when
 
249
        an end user runs the tests or if we're specifically testing in a
 
250
        limited environment, but a full test should never see them.
 
251
 
 
252
        See `Test feature dependencies`_ below.
 
253
 
 
254
KnownFailure
 
255
        The test exists but is known to fail, for example this might be
 
256
        appropriate to raise if you've committed a test for a bug but not
 
257
        the fix for it, or if something works on Unix but not on Windows.
 
258
        
 
259
        Raising this allows you to distinguish these failures from the
 
260
        ones that are not expected to fail.  If the test would fail
 
261
        because of something we don't expect or intend to fix,
 
262
        KnownFailure is not appropriate, and TestNotApplicable might be
 
263
        better.
 
264
 
 
265
        KnownFailure should be used with care as we don't want a
 
266
        proliferation of quietly broken tests.
 
267
 
 
268
We plan to support three modes for running the test suite to control the
 
269
interpretation of these results.  Strict mode is for use in situations
 
270
like merges to the mainline and releases where we want to make sure that
 
271
everything that can be tested has been tested.  Lax mode is for use by
 
272
developers who want to temporarily tolerate some known failures.  The
 
273
default behaviour is obtained by ``bzr selftest`` with no options, and
 
274
also (if possible) by running under another unittest harness.
 
275
 
 
276
======================= ======= ======= ========
 
277
result                  strict  default lax
 
278
======================= ======= ======= ========
 
279
TestSkipped             pass    pass    pass
 
280
TestNotApplicable       pass    pass    pass
 
281
UnavailableFeature      fail    pass    pass
 
282
KnownFailure            fail    pass    pass
 
283
======================= ======= ======= ========
 
284
     
 
285
 
 
286
Test feature dependencies
 
287
-------------------------
 
288
 
 
289
Writing tests that require a feature
 
290
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
291
 
 
292
Rather than manually checking the environment in each test, a test class
 
293
can declare its dependence on some test features.  The feature objects are
 
294
checked only once for each run of the whole test suite.
 
295
 
 
296
(For historical reasons, as of May 2007 many cases that should depend on
 
297
features currently raise TestSkipped.)
 
298
 
 
299
For example::
 
300
 
 
301
    class TestStrace(TestCaseWithTransport):
 
302
 
 
303
        _test_needs_features = [StraceFeature]
 
304
 
 
305
This means all tests in this class need the feature.  If the feature is
 
306
not available the test will be skipped using UnavailableFeature.
 
307
 
 
308
Individual tests can also require a feature using the ``requireFeature``
 
309
method::
 
310
 
 
311
    self.requireFeature(StraceFeature)
 
312
 
 
313
Features already defined in bzrlib.tests include:
 
314
 
 
315
 - SymlinkFeature,
 
316
 - HardlinkFeature,
 
317
 - OsFifoFeature,
 
318
 - UnicodeFilenameFeature,
 
319
 - FTPServerFeature, and
 
320
 - CaseInsensitiveFilesystemFeature.
 
321
 
 
322
 
 
323
Defining a new feature that tests can require
 
324
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
325
 
 
326
New features for use with ``_test_needs_features`` or ``requireFeature``
 
327
are defined by subclassing ``bzrlib.tests.Feature`` and overriding the
 
328
``_probe`` and ``feature_name`` methods.  For example::
 
329
 
 
330
    class _SymlinkFeature(Feature):
 
331
    
 
332
        def _probe(self):
 
333
            return osutils.has_symlinks()
 
334
    
 
335
        def feature_name(self):
 
336
            return 'symlinks'
 
337
    
 
338
    SymlinkFeature = _SymlinkFeature()
 
339
 
 
340
 
 
341
Testing exceptions and errors
 
342
-----------------------------
 
343
 
 
344
It's important to test handling of errors and exceptions.  Because this
 
345
code is often not hit in ad-hoc testing it can often have hidden bugs --
 
346
it's particularly common to get NameError because the exception code
 
347
references a variable that has since been renamed.
 
348
 
 
349
.. TODO: Something about how to provoke errors in the right way?
 
350
 
 
351
In general we want to test errors at two levels:
 
352
 
 
353
1. A test in ``test_errors.py`` checking that when the exception object is
 
354
   constructed with known parameters it produces an expected string form.
 
355
   This guards against mistakes in writing the format string, or in the
 
356
   ``str`` representations of its parameters.  There should be one for
 
357
   each exception class.
 
358
 
 
359
2. Tests that when an api is called in a particular situation, it raises
 
360
   an error of the expected class.  You should typically use
 
361
   ``assertRaises``, which in the Bazaar test suite returns the exception
 
362
   object to allow you to examine its parameters.
 
363
 
 
364
In some cases blackbox tests will also want to check error reporting.  But
 
365
it can be difficult to provoke every error through the commandline
 
366
interface, so those tests are only done as needed |--| eg in response to a
 
367
particular bug or if the error is reported in an unusual way(?)  Blackbox
 
368
tests should mostly be testing how the command-line interface works, so
 
369
should only test errors if there is something particular to the cli in how
 
370
they're displayed or handled.
 
371
 
 
372
 
 
373
Testing warnings
 
374
----------------
 
375
 
 
376
The Python ``warnings`` module is used to indicate a non-fatal code
 
377
problem.  Code that's expected to raise a warning can be tested through
 
378
callCatchWarnings.
 
379
 
 
380
The test suite can be run with ``-Werror`` to check no unexpected errors
 
381
occur.
 
382
 
 
383
However, warnings should be used with discretion.  It's not an appropriate
 
384
way to give messages to the user, because the warning is normally shown
 
385
only once per source line that causes the problem.  You should also think
 
386
about whether the warning is serious enought that it should be visible to
 
387
users who may not be able to fix it.
 
388
 
 
389
 
 
390
Interface implementation testing and test scenarios
 
391
---------------------------------------------------
 
392
 
 
393
There are several cases in Bazaar of multiple implementations of a common
 
394
conceptual interface.  ("Conceptual" because it's not necessary for all
 
395
the implementations to share a base class, though they often do.)
 
396
Examples include transports and the working tree, branch and repository
 
397
classes.
 
398
 
 
399
In these cases we want to make sure that every implementation correctly
 
400
fulfils the interface requirements.  For example, every Transport should
 
401
support the ``has()`` and ``get()`` and ``clone()`` methods.  We have a
 
402
sub-suite of tests in ``test_transport_implementations``.  (Most
 
403
per-implementation tests are in submodules of ``bzrlib.tests``, but not
 
404
the transport tests at the moment.)
 
405
 
 
406
These tests are repeated for each registered Transport, by generating a
 
407
new TestCase instance for the cross product of test methods and transport
 
408
implementations.  As each test runs, it has ``transport_class`` and
 
409
``transport_server`` set to the class it should test.  Most tests don't
 
410
access these directly, but rather use ``self.get_transport`` which returns
 
411
a transport of the appropriate type.
 
412
 
 
413
The goal is to run per-implementation only the tests that relate to that
 
414
particular interface.  Sometimes we discover a bug elsewhere that happens
 
415
with only one particular transport.  Once it's isolated, we can consider
 
416
whether a test should be added for that particular implementation,
 
417
or for all implementations of the interface.
 
418
 
 
419
The multiplication of tests for different implementations is normally
 
420
accomplished by overriding the ``load_tests`` function used to load tests
 
421
from a module.  This function typically loads all the tests, then applies
 
422
a TestProviderAdapter to them, which generates a longer suite containing
 
423
all the test variations.
 
424
 
 
425
See also `Per-implementation tests`_ (above).
 
426
 
 
427
 
 
428
Test scenarios
 
429
--------------
 
430
 
 
431
Some utilities are provided for generating variations of tests.  This can
 
432
be used for per-implementation tests, or other cases where the same test
 
433
code needs to run several times on different scenarios.
 
434
 
 
435
The general approach is to define a class that provides test methods,
 
436
which depend on attributes of the test object being pre-set with the
 
437
values to which the test should be applied.  The test suite should then
 
438
also provide a list of scenarios in which to run the tests.
 
439
 
 
440
Typically ``multiply_tests_from_modules`` should be called from the test
 
441
module's ``load_tests`` function.
 
442
 
 
443
 
 
444
Test support
 
445
------------
 
446
 
 
447
We have a rich collection of tools to support writing tests. Please use
 
448
them in preference to ad-hoc solutions as they provide portability and
 
449
performance benefits.
 
450
 
 
451
 
 
452
TestCase and its subclasses
 
453
~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
454
 
 
455
The ``bzrlib.tests`` module defines many TestCase classes to help you
 
456
write your tests.
 
457
 
 
458
TestCase
 
459
    A base TestCase that extends the Python standard library's
 
460
    TestCase in several ways.  It adds more assertion methods (e.g.
 
461
    ``assertContainsRe``), ``addCleanup``, and other features (see its API
 
462
    docs for details).  It also has a ``setUp`` that makes sure that
 
463
    global state like registered hooks and loggers won't interfere with
 
464
    your test.  All tests should use this base class (whether directly or
 
465
    via a subclass).
 
466
 
 
467
TestCaseWithMemoryTransport
 
468
    Extends TestCase and adds methods like ``get_transport``,
 
469
    ``make_branch`` and ``make_branch_builder``.  The files created are
 
470
    stored in a MemoryTransport that is discarded at the end of the test.
 
471
    This class is good for tests that need to make branches or use
 
472
    transports, but that don't require storing things on disk.  All tests
 
473
    that create bzrdirs should use this base class (either directly or via
 
474
    a subclass) as it ensures that the test won't accidentally operate on
 
475
    real branches in your filesystem.
 
476
 
 
477
TestCaseInTempDir
 
478
    Extends TestCaseWithMemoryTransport.  For tests that really do need
 
479
    files to be stored on disk, e.g. because a subprocess uses a file, or
 
480
    for testing functionality that accesses the filesystem directly rather
 
481
    than via the Transport layer (such as dirstate).
 
482
 
 
483
TestCaseWithTransport
 
484
    Extends TestCaseInTempDir.  Provides ``get_url`` and
 
485
    ``get_readonly_url`` facilities.  Subclasses can control the
 
486
    transports used by setting ``vfs_transport_factory``,
 
487
    ``transport_server`` and/or ``transport_readonly_server``.
 
488
 
 
489
 
 
490
See the API docs for more details.
 
491
 
 
492
 
 
493
BranchBuilder
 
494
~~~~~~~~~~~~~
 
495
 
 
496
When writing a test for a feature, it is often necessary to set up a
 
497
branch with a certain history.  The ``BranchBuilder`` interface allows the
 
498
creation of test branches in a quick and easy manner.  Here's a sample
 
499
session::
 
500
 
 
501
  builder = self.make_branch_builder('relpath')
 
502
  builder.build_commit()
 
503
  builder.build_commit()
 
504
  builder.build_commit()
 
505
  branch = builder.get_branch()
 
506
 
 
507
``make_branch_builder`` is a method of ``TestCaseWithMemoryTransport``.
 
508
 
 
509
Note that many current tests create test branches by inheriting from
 
510
``TestCaseWithTransport`` and using the ``make_branch_and_tree`` helper to
 
511
give them a ``WorkingTree`` that they can commit to. However, using the
 
512
newer ``make_branch_builder`` helper is preferred, because it can build
 
513
the changes in memory, rather than on disk. Tests that are explictly
 
514
testing how we work with disk objects should, of course, use a real
 
515
``WorkingTree``.
 
516
 
 
517
Please see bzrlib.branchbuilder for more details.
 
518
 
 
519
 
 
520
TreeBuilder
 
521
~~~~~~~~~~~
 
522
 
 
523
The ``TreeBuilder`` interface allows the construction of arbitrary trees
 
524
with a declarative interface. A sample session might look like::
 
525
 
 
526
  tree = self.make_branch_and_tree('path')
 
527
  builder = TreeBuilder()
 
528
  builder.start_tree(tree)
 
529
  builder.build(['foo', "bar/", "bar/file"])
 
530
  tree.commit('commit the tree')
 
531
  builder.finish_tree()
 
532
 
 
533
Usually a test will create a tree using ``make_branch_and_memory_tree`` (a
 
534
method of ``TestCaseWithMemoryTransport``) or ``make_branch_and_tree`` (a
 
535
method of ``TestCaseWithTransport``).
 
536
 
 
537
Please see bzrlib.treebuilder for more details.
 
538
 
 
539
 
 
540
.. |--| unicode:: U+2014
 
541
 
 
542
..
 
543
   vim: ft=rst tw=74 ai