daml/compatibility
Gary Verhaegen fc5fa4c213
granular test selection, take 3 (#6458)
This is the final bit extracted from #6314. This PR adds the capability
to filter individual test cases (for either inclusion or exclusion)
while being completely backwards compatible. It also introduces a new
cli option, `--list-all`, to list all test cases, keeping the behaviour
of the existing `--list` option unchanged, i.e. only print test suites.

Unlike #6314, this is still building upon the idea of defining test
suites as maps, preserving the known-good order of tests and thereby not
introducing flakiness into our builds.

CHANGELOG_BEGIN

- [Ledger API Test Tool] ``--exclude`` and ``--include`` now match the
  full test name as a prefix, rather than just suite names. Test name is
built by combining the suite name with a test identifier, so this change
should be fully backwards compatible. Run with ``--list-all`` to list
all tests (as opposed to just the test suites with ``--list``).

CHANGELOG_END
2020-06-23 14:27:36 +02:00
..
bazel_tools granular test selection, take 3 (#6458) 2020-06-23 14:27:36 +02:00
head_sdk Include the first feature in compat tests for create-daml-app (#6002) 2020-05-18 14:37:16 +02:00
sandbox-migration Add migration test for divulgence (#6376) 2020-06-17 10:57:22 +00:00
versions Prune SDK versions in compat tests (#6325) 2020-06-12 17:03:38 +02:00
.bazelignore Extend compatibility tests to test against HEAD (#5714) 2020-04-24 14:43:35 +02:00
bazel-haskell-deps.bzl Use a custom Scala binary for the sandbox migration tests (#6140) 2020-05-28 15:02:54 +02:00
BUILD Include sadbonx-classic in compatibility tests (#6399) 2020-06-19 15:55:39 +02:00
build-release-artifacts-windows.ps1 remove clean --expunge (#6394) 2020-06-17 22:35:09 +02:00
build-release-artifacts.sh Include the first feature in compat tests for create-daml-app (#6002) 2020-05-18 14:37:16 +02:00
build-ts-libs.sh Include create-daml-app tests in compatibility tests (#5945) 2020-05-13 10:39:51 +02:00
deps.bzl upgrade rules_haskell (#6284) 2020-06-10 17:21:31 +02:00
maven_install.json Use a custom Scala binary for the sandbox migration tests (#6140) 2020-05-28 15:02:54 +02:00
README.md Include sadbonx-classic in compatibility tests (#6399) 2020-06-19 15:55:39 +02:00
stack-snapshot.yaml Initial boilerplate for cross-version compatibility testing (#5665) 2020-04-23 12:58:11 +02:00
test-windows.ps1 remove bazel cleanup (#6331) 2020-06-12 20:21:45 +02:00
test.sh Make compat tests work on windows (#5732) 2020-04-28 16:06:36 +02:00
update-versions.sh Update SDK versions in compatibility tests (#5844) 2020-05-05 19:40:03 +02:00
versions.bzl Bump compat versions (#6452) 2020-06-22 15:16:50 +00:00
WORKSPACE Prune SDK versions in compat tests (#6325) 2020-06-12 17:03:38 +02:00
workspace_status.sh Initial boilerplate for cross-version compatibility testing (#5665) 2020-04-23 12:58:11 +02:00

This directory contains the infrastructure and test setup for cross-version compatibility testing. We make this a separate Bazel workspace to make it easier to enforce that we only depend on release artifacts.

How to

Before using this, make sure to always run the scripts that build the SDK, namely ./build-release-artifacts.sh and ./build-ts-libs.sh. These should be run every time there is a relevant change you want to be there for this workspace to use.

Any Bazel command can then be used afterwards. ./test.sh are the tests run on CI.

What is currently being tested?

We include the following SDK versions in our tests:

  1. All stable SDK versions.
  2. All snapshots x.y.z-snapshot-* for which there is no stable release x.y.z
  3. HEAD.

Since running all tests can be rather slow, we run them in a daily cron job. On each PR we only include HEAD and the latest stable release.

Cross-version compatibility between ledger-api-test-tool

We test that the ledger-api-test-tool of a given version passes against Sandbox next and classic of another version. We test all possible version combinations here to ensure forwards and backwards compatibility. The ledger-api-test-tool includes a DAR built using a compiler from the same SDK version so this also ensures that sandbox can load a DAR from a different SDK version. We test both in-memory backends and postgresql backends.

Since all our JVM ledger clients use the same client libraries we consider the ledger-api-test-tool to be a good proxy and if things are not covered it should be extended.

Data-continuity for Sandbox classic

We have migration tests that work as follows:

  1. Start the oldest Sandbox version and upload a DAR.

  2. Iterate over SDK versions in order. For each version:

    1. Start sandbox of that SDK version.

    2. Run a custom Scala binary that interacts with the ledger to create contracts, exercise choices and query the ACS and the transaction service.

    3. Validates the results. This includes verifying that the transaction streams are the same after the migration and that the ACS is the same + additional test-specific checks.

We have two tests here: One that includes snapshot versions and one that only iterates through stable versions up to HEAD. This ensures that both individual migrations are correct as well as the migrations from one stable version to the next work as a whole.

Backwards-compatibility for DAML Script

We test that the DAML Script runner from a given SDK version can load DARs built against the DAML Script library from an older SDK. We only guarantee backwards compatibility here.

Backwards-compatibility for DAML Triggers

We test that the DAML Trigger runner from a given SDK version can load DARs built against the DAML Script library from an older SDK. We only guarantee backwards compatibility here.

Backwards-compatibility for data-dependencies

We test that we can import DARs built in older SDK versions via data-dependencies. We only test backwards compatibility here.

Cross-version compatibility for create-daml-app

We test that we can run the create-daml-app tests with JS client libraries and codegen from one version against the JSON API and Sandbox from another version. We test all version combinations here. Currently we do not test different versions of the JSON API and Sandbox. This should be covered by the ledger-api-test-tool tests since the JSON API uses the same client libraries.