btrfs-progs/tests
Mark Harmstone 58dfcf8e5f btrfs-progs: add an image to fsck-tests/065-valid-log-tree where csum already present
Adds a test that btrfs check doesn't report an error because of a
missing csum entry in the log tree, if that csum is already in the
normal csum tree. See commit 6c7d2a32.

The checksum tree in already-present.img.xz:

checksum tree key (CSUM_TREE ROOT_ITEM 0)
leaf 5390336 items 1 free space 16254 generation 5 owner CSUM_TREE
leaf 5390336 flags 0x1(WRITTEN) backref revision 1
checksum stored ff20c282
checksum calced ff20c282
fs uuid 70d417f0-0173-49ca-bdf1-b789a798974d
chunk uuid b7ec3806-ea09-4f18-a5ef-126a2d79105e
        item 0 key (EXTENT_CSUM EXTENT_CSUM 13631488) itemoff 16279 itemsize 4
                range start 13631488 end 13635584 length 4096

The log tree in already-present.img.xz:

log tree key (TREE_LOG ROOT_ITEM 5)
leaf 5373952 items 3 free space 15981 generation 7 owner TREE_LOG
leaf 5373952 flags 0x1(WRITTEN) backref revision 1
checksum stored 63afa0e5
checksum calced 63afa0e5
fs uuid 70d417f0-0173-49ca-bdf1-b789a798974d
chunk uuid b7ec3806-ea09-4f18-a5ef-126a2d79105e
        item 0 key (257 INODE_ITEM 0) itemoff 16123 itemsize 160
                generation 7 transid 7 size 4096 nbytes 0
                block group 0 mode 100644 links 1 uid 0 gid 0 rdev 0
                sequence 1 flags 0x0(none)
                atime 1721050040.375996658 (2024-07-15 14:27:20)
                ctime 1721050040.375996658 (2024-07-15 14:27:20)
                mtime 1721050040.375996658 (2024-07-15 14:27:20)
                otime 0.2820488960 (1970-01-01 01:00:00)
        item 1 key (257 INODE_REF 256) itemoff 16109 itemsize 14
                index 2 namelen 4 name: file
        item 2 key (257 EXTENT_DATA 0) itemoff 16056 itemsize 53
                generation 7 type 1 (regular)
                extent data disk byte 13631488 nr 4096
                extent data offset 0 nr 4096 ram 4096
                extent compression 0 (none)

Signed-off-by: Mark Harmstone <maharmstone@fb.com>
[ Move the image to 065-valid-log tree ]
Signed-off-by: Qu Wenruo <wqu@suse.com>
2024-10-29 10:35:21 +10:30
..
cli-tests btrfs-progs: tests: fix shellcheck reports in cli-tests 2024-06-24 19:19:26 +02:00
convert-tests btrfs-progs: tests: add case to verify large symbolic link handling in convert 2024-09-17 14:33:22 +02:00
fsck-tests btrfs-progs: add an image to fsck-tests/065-valid-log-tree where csum already present 2024-10-29 10:35:21 +10:30
fuzz-tests btrfs-progs: tests: update or fix shell script coding style 2024-06-24 19:18:08 +02:00
misc-tests btrfs-progs: receive: cannot find clone source subvol when receiving in reverse direction 2024-08-14 23:59:44 +02:00
mkfs-tests btrfs-progs: tests: also test --subvol modifiers in mkfs-tests/036-rootdir-subvol 2024-10-10 14:14:32 +10:30
template
Makefile btrfs-progs: tests: do not run test-convert under test target 2023-10-17 19:34:00 +02:00
README.md
array-test.c btrfs-progs: run codespell throughout fixing typos automagically 2024-07-30 19:56:08 +02:00
btree-test.c btrfs-progs: tests: update btree-test 2023-11-03 18:04:37 +01:00
build-tests.sh btrfs-progs: run codespell throughout fixing typos automagically 2024-07-30 19:56:08 +02:00
check-setup.sh btrfs-progs: run codespell throughout fixing typos automagically 2024-07-30 19:56:08 +02:00
clean-tests.sh
cli-tests.sh
common btrfs-progs: tests: use feature output from "btrfs --version" 2024-07-30 20:01:05 +02:00
common.convert btrfs-progs: convert: add raid-stripe-tree to allowed features 2024-01-31 09:49:43 +01:00
common.local
convert-tests.sh
export-testsuite.sh
fsck-tests.sh
fsstress.c btrfs-progs: tests: use unsigned types for bit shifts in fsstress 2024-03-12 22:05:20 +01:00
fssum.c btrfs-progs: tests: fix fssum ASAN memory leak reports 2024-06-24 19:20:08 +02:00
fuzz-tests.sh
hash-tests.sh btrfs-progs: crypto: add openssl as crypto provider 2023-11-30 22:04:45 +01:00
ioctl-test.c
json-formatter-test.c
library-test.c libbtrfs: reduce rbtree includes and ship only rbtree_types.h 2024-08-14 23:59:07 +02:00
misc-tests.sh
mkfs-tests.sh
nullb btrfs-progs: tests: fix parsing zone size in nullb 2023-11-03 18:04:37 +01:00
scan-results.sh
string-table-test.c
test-console.sh
testsuite-files

README.md

Btrfs-progs tests

A testsuite covering functionality of btrfs-progs, i.e. the checker, image, mkfs and similar tools. There are no additional requirements on kernel features (other than CONFIG_BTRFS_FS built-in or module), the tests build on top of the core functionality like snapshots and device management. In some cases optional features are turned on by mkfs and the filesystem image could be mounted, such tests might fail if there's lack of support.

Quick start

Run the tests from the top directory:

$ make test
$ make test-fsck
$ make test-convert

or selectively from the tests/ directory:

$ ./fsck-tests.sh
$ ./misc-tests.sh

The verbose output of the tests is logged into a file named after the test category, e.g. fsck-tests-results.txt.

Selective testing

The tests are prefixed by a number for ordering and uniqueness. To run a particular test use:

$ make TEST=MASK test

where MASK is a glob expression that will execute only tests that match the MASK. Here the test number comes handy:

$ make TEST=001\* test-fsck      # in tests/
$ TEST=001\* ./fsck-tests.sh     # in the top directory

will run the first test in fsck-tests subdirectory. If the test directories follow a good naming scheme, it's possible to select a subset e.g. like the convert tests for ext[234] filesystems using mask 'TEST='*ext[234]*'.

When running tests in a sequence and one fails, testing can be started from that test skipping all the ones that are supposed to pass, like:

$ make TEST_FROM=004\* test-fsck

This will skip any tests found in the directory that precede 004, assuming that there is such test.

Test directory structure

tests/fsck-tests/

  • tests targeted at bugs that are fixable by fsck, the test directory can contain images that will get fixed, or a custom script ./test.sh that will be run if present

tests/convert-tests/

  • coverage tests of ext2/3/4 or reiserfs and btrfs-convert options

tests/fuzz-tests/

  • collection of fuzzed or crafted images
  • tests that are supposed to run various utilities on the images and not crash

tests/cli-tests/

  • tests for command line interface, option coverage, weird option combinations that should not work
  • not necessary to do any functional testing, could be rather lightweight
  • functional tests should go to other test directories
  • the driver script will only execute ./test.sh in the test directory

tests/misc-tests/

  • anything that does not fit to the above, the test driver script will only execute ./test.sh in the test directory

tests/common, tests/common.convert

  • scripts with shell helpers, separated by functionality

tests/test.img

  • default testing image, available as TEST_DEV variable, the file is never deleted by the scripts but truncated to 0 bytes, so it keeps it's permissions. It's e.g. possible to host it on NFS, make it chmod a+w for root.

Other tuning, environment variables

Instrumentation

It's possible to wrap the tested commands to utilities that might do more checking or catch failures at runtime. This can be done by setting the INSTRUMENT environment variable:

make INSTRUMENT=valgrind test-fuzz     # in the top directory
INSTRUMENT=valgrind ./fuzz-tests.sh    # in tests/

The variable is prepended to the command unquoted, all sorts of shell tricks are possible.

Note: instrumentation is not applied to privileged commands (anything that uses the root helper), with exception of all commands built from git that will be instrumented even if run with the sudo helper.

run_check $SUDO_HELPER mount /dev/sdx /mnt           # no instrumentation
run_check $SUDO_HELPER "$TOP/btrfs" check /dev/sdx   # with instrumentation

Instrumented commands: btrfs, btrfs-image, btrfs-convert, btrfs-tune, mkfs.btrfs, btrfs-select-super, btrfs-find-root, btrfs-corrupt-block.

As mentioned above, instrumentation tools are like valgrind or potentially gdb with some init script that will let the commands run until an exception occurs, possibly allowing to continue interactively debugging.

Verbosity, test tuning

  • TEST_FROM=glob -- start testing from the first test that matches the glob expression and skip anything before that, this can be combined with the TEST variable that takes precedence

  • TEST_LOG=tty -- setting the variable will print all commands executed by some of the wrappers (run_check etc), other commands are not printed to the terminal (but the full output is in the log)

  • TEST_LOG=dump -- dump the entire testing log when a test fails

  • TEST_FLAVOR -- run binaries of specified flavor, which is dynamic build by default, or static using all the build binaries with .static suffix

  • TEST_ENABLE_OVERRIDE -- defined either as make arguments or via tests/common.local to enable additional arguments to some commands, using the variable(s) below (default: false, enable by setting to 'true')

  • TEST_ARGS_CHECK -- user-defined arguments to btrfs check, before the test-specific arguments

  • TEST_ARGS_MKFS -- user-defined arguments to mkfs.btrfs, before the test-specific arguments

  • TEST_ARGS_CONVERT -- user-defined arguments to btrfs-convert, before the test-specific arguments

Multiple values can be separated by ,.

For example, running all fsck tests with the --mode=lowmem option can be done as

$ make TEST_ENABLE_OVERRIDE=true TEST_ARGS_CHECK=--mode=lowmem test-check

Specifically, fsck-tests that are known to be able to repair images in the lowmem mode should be marked using a file .lowmem_repairable in the test directory. Then the fsck-tests with the 'mode=lowmem' will continue when image repair is requested.

Permissions

Some commands require root privileges (to mount/umount, access loop devices or call privileged ioctls). It is assumed that sudo will work in some way (no password, password asked and cached). Note that instrumentation is not applied in this case, for safety reasons or because the tools refuse to run under root. You need to modify the test script instead.

Cleanup

The tests are supposed to cleanup after themselves if they pass. In case of failure, the rest of the tests are skipped and intermediate files, mounts and loop devices are kept. This should help to investigate the test failure but at least the mounts and loop devices need to be cleaned before the next run.

This is partially done by the script clean-tests.sh, you may want to check the loop devices as they are managed on a per-test basis, see the output of command losetup and eventually delete all existing loop devices with losetup -D.

Prototyping tests, quick tests

There's a script test-console.sh that will run shell commands in a loop and logs the output with the testing environment set up. It sources the common helper scripts so the shell functions are available.

Runtime dependencies

The tests use some common system utilities like find, rm, dd. Additionally, specific tests need the following packages installed: acl, attr, e2fsprogs, reiserfsprogs.

New test

  1. Pick the category for the new test or fallback to misc-tests if not sure. For an easy start copy an existing test.sh script from some test that might be close to the purpose of your new test. The environment setup includes the common scripts and/or prepares the test devices. Other scripts contain examples how to do mkfs, mount, unmount, check, loop device management etc.

  2. Use the highest unused number in the sequence, write a short descriptive title and join by dashes -. This will become the directory name, e.g. 012-subvolume-sync-must-wait.

  3. Write a short description of the bug and how it's tested to the comment at the beginning of test.sh. You don't need to add the file to git yet. Don't forget to make the file executable, otherwise it's not going to be executed by the infrastructure.

  4. Write the test commands, comment anything that's not obvious.

  5. Test your test. Use the TEST variable to jump right to your test:

$ make TEST=012\* tests-misc           # from top directory
$ TEST=012\* ./misc-tests.sh           # from tests/
  1. The commit changelog should reference a commit that either introduced or fixed the bug (or both). Subject line of the shall mention the name of the new directory for ease of search, e.g. btrfs-progs: tests: add 012-subvolume-sync-must-wait

  2. A commit that fixes a bug should be applied before the test that verifies the fix. This is to keep the git history bisectable.

Test images

Most tests should be able to create the test images from scratch, using regular commands and file operation. The commands also document the test case and use the test code and kernel of the environment.

In other cases, a pre-created image may be the right way if the above does not work (e.g. comparing output, requesting an exact layout or some intermediate state that would be hard to achieve otherwise).

  • images that don't need data and valid checksums can be created by btrfs-image, the image can be compressed by the tool itself (file extension .img) or compressed externally (recognized is .img.xz)

  • raw images that are binary dump of an existing image, created e.g. from a sparse file (.raw or .raw.xz)

Use xz --best and try to get the smallest size as the file is stored in git.

Crafted/fuzzed images

Images that are created by fuzzing or specially crafted to trigger some error conditions should be added to the directory fuzz-tests/images, accompanied by a textual description of the source (bugzilla, mail), the reporter, brief description of the problem or the stack trace.

If you have a fix for the problem, please submit it prior to the test image, so the fuzz tests always succeed when run on random checked out. This helps bisectability.

Exported testsuite

The tests are typically run from git on binaries built from the git sources. It is possible to extract only the testsuite files and run it independently. Use

$ make testsuite

This will gather scripts and generate tests/btrfs-progs-tests.tar.gz. The files inside the tar are in the top level directory, make sure you extract the contents to an empty directory. From there you can start the tests as described above (the non-make variant).

By default the binaries found in $PATH are used, this will normally mean the system binaries. You can also override the $TOP shell variable and this path will be used as prefix for all btrfs binaries inside the tests.

There are some utilities that are not distributed but are necessary for the tests. They are in the top level directory of the testsuite and their path cannot be set.

The tests assume write access to their directories.

Coding style, best practices

do

  • quote all variables by default, any path, even the TOP could need that, and we use it everywhere
    • even if the variable is safe, use quotes for consistency and to ease reading the code
    • there are exceptions:
      • $SUDO_HELPER as it might be intentionally unset
  • use #!/bin/bash explicitly
  • check for all external dependencies (check_global_prereq)
  • check for internal dependencies (check_prereq), though the basic set is always built when the tests are started through make
  • use functions instead of repeating code
    • generic helpers could be factored to the common script
  • cleanup files an intermediate state (mount, loop devices, device mapper devices) a after successful test
  • use common helpers and variables where possible

do not

  • pull external dependencies if we can find a way to replace them: example is xfs_io that's conveniently used in fstests but we'd require xfsprogs, so use dd instead
  • throw away (redirect to /dev/null) output of commands unless it's justified (i.e. really too much text, unnecessary slowdown) -- the test output log is regenerated all the time and we need to be able to analyze test failures or just observe how the tests progress
  • cleanup after failed test -- the testsuite stops on first failure and the developer can e.g. access the environment that the test created and do further debugging
    • this might change in the future so the tests cover as much as possible, but this would require to enhance all tests with a cleanup phase

Simple test template

The file tests/common provides shell functions to ease writing common things like setting up the test devices, making or mounting a filesystem, setting up loop devices.

#!/bin/bash
# Simple test to create a new filesystem and test that it can be mounted

source "$TEST_TOP/common"

setup_root_helper
prepare_test_dev

run_check_mkfs_test_dev
run_check_mount_test_dev
run_check $SUDO_HELPER dd if=/dev/zero of="$TEST_MNT"/file bs=1M count=1
run_check_umount_test_dev

Each test should be briefly described, source the helpers like run_check. The root helper is the sudo wrapper that can be used as $SUDO_HELPER variable. The implicit variables for testing device is $TEST_DEV mounted at $TEST_MNT. The mkfs and mount helpers take arguments that are then injected into the right place in the respective command.

Besides the setup and cleanup code, the main test in this example is dd that writes 1MiB to a file in the newly created filesystem.

Multiple device test template

Tests that need more devices can utilize the loop devices, an example test of the above:

# Create a new multi-device filesystem and test that it can be mounted

source "$TEST_TOP/common"

setup_root_helper
setup_loopdevs 4
prepare_loopdevs
TEST_DEV=${loopdevs[1]}

run_check $SUDO_HELPER "$TOP/mkfs.btrfs" -f -d raid1 -m raid1 "${loopdevs[@]}"
run_check_mount_test_dev
run_check $SUDO_HELPER dd if=/dev/zero of="$TEST_MNT"/file bs=1M count=1
run_check_umount_test_dev

cleanup_loopdevs

A 'btrfs check' test template

The easiest way to test an image is to put it to the test directory, without the test.sh script. All images found are simply processed by the shell function check_image with default parameters.

Any tweaks to the 'check' subcommand can be done by redefining the function:

source "$TEST_TOP/common"

check_image() {
	run_check "$TOP/btrfs" check --readonly "$1"
}

check_all_images

The images can be stored in various formats, see section 'Test images'.

Misc hints

There are several helpers in tests/common, it's recommended to read through that file or other tests to get the idea how easy writing a test really is.

  • result
    • _fail - a failure condition has been found
    • _not_run - some prerequisite condition is not met, e.g. missing kernel functionality
  • messages
    • _log - message printed to the result file (e.g. tests/mkfs-tests-results.txt), and not printed to the terminal
    • _log_stdout - ditto but it is printed to the terminal
  • execution helpers
    • run_check - should be used for basically all commands, the command and arguments are stored to the results log for debugging and the return value is checked so there are no silent failures even for the "unimportant" commands
    • run_check_stdout - like the above but the output can be processed further, e.g. filtering out some data or looking for some specific string
    • run_mayfail - the command is allowed to fail in a non-fatal way (e.g. no segfault), there's also the run_mayfail_stdout variant
    • run_mustfail - expected failure, note that the first argument is mandatory message describing unexpected pass condition