Declarative tests

[nrc]

I would like to make integration tests much simpler to write. Currently we need both test data and a unit test which contains a lot of boilerplate and fiddly code. I would like that the unit test part can be specified declaratively. There is a lot of design to be done as to how exactly this should work. The test author must specify:

• the test code
• the messages sent to the RLS and their parameters
• the expected results

There should be a facility to check the setup/teardown of the RLS without any specification (and test authors should be able to opt-out of this). When specifying parameters to messages sent to the RLS which include locations or ranges, it would be nice to do this declaratively (e.g., by using a special comment in the test data or something). We also need to generate the boilerplate around sent and expected messages.