[Test] Derive tests from traces
When a component C is traced to a requirement which contains a test T:
- show T in the list of tests of C
- if the inputs involved in T are not present in C, ask the user for a mapping
- if the mapping does not map to the same types, fail (maybe propose standard type-to-type mappings like boolean to integer)
(from redmine: issue id 2711, created on 2016-10-11, closed on 2019-06-03)