docs/testplan-zephyr.md

# Zephyr test plan

The following roughly describes how MCUboot is tested on Zephyr.  The
testing is done with the code in `samples/zephyr`.  These examples
were written using the FRDM-K64F, but other boards should be similar.
At this time, however, the partitions are hardcoded in the Makefile
targets to flash.

Note that the script "run-tests.sh" in that directory is helpful for
automating the process, and provides simple "y or n" prompts for each
test case and expected result.

## Building and running.

The tests are build using the various `test-*` targets in
`samples/zephyr/Makefile`.  For each test, invoke `make` with that
target:

    $ make test-good-rsa

Begin by doing a full erase, and programming the bootloader itself:

    $ pyocd erase --chip
    $ make flash_boot

After it resets, look for "main: Starting bootloader", a few debug
messages, and lastly: "main: Unable to find bootable image".

Then, load hello1:

    $ make flash_hello1

This should print "main: Jumping to the first image slot", and you
should get an image "hello1".

Note that there are comments with each test target describing the
intended behavior for each of these steps.  Sometimes an upgrade will
happen and sometimes it will not.

    $ make flash_hello2

This should print a message: `boot_swap_type: Swap type: test`, and
you should see "hello2".

Now reset the target::

    $ pyocd commander -c reset

And you should see a revert and "hello1" running.

## Testing that mark ok works

Repeat this, to make sure we can mark the image as OK, and that a
revert doesn't happen:

    $ make flash_hello1
    $ make flash_hello2

We should have just booted the hello2.  Mark this as OK:

    $ pyocd flash -a 0x7ffe8 image_ok.bin
    $ pyocd commander -c reset

And make sure this stays in the "hello2" image.

This step doesn't make sense on the tests where the upgrade doesn't
happen.

## Testing all configurations

Repeat these steps for each of the `test-*` targest in the Makefile.