Background

In some cases, it is not possible to use the TVLA data generators provided in Inspector. For instance if you have pre-existing traces that you want to use to TVLA testing, or if you have acquired the traces outside of Inspector.


Approach

Yes, it's possible to change the trace set to adhere to our TVLA standard. There are only a few requirements:
1) The description field of the set needs the following section:
----------- T-TEST MODULE PARAMETERS SECTION DO NOT MODIFY -----------
Trace set contains the following TVLA sets: <set1_name>, <set2_name>
<Result set name>
----------- END T-TEST MODULE PARAMETERS SECTION -----------
Where <set1_name> is the name of the first set (e.g. Random), <set2_name> is the second set (e.g. Fixed). You can add more sets if you like. <Result set name> is just the name of the result set trace.
2) The trace names in the set need to adhere to the following template
"TVLA set <setN_name> <trace ID>"
Where <setN_name> is the name of the set this trace belongs to (exactly one of the sets defined in the header)m and <trace ID> is the id of the trace itself. This can be anything, but is generally the number of the trace. For instance, the 16th trace of the set named Random would be called "TVLA set Random 15".

Step-by-step

This method may differ slightly based on the type of traces you have. In the most generic case, you currently have 2 trace sets: 1 with (semi-)random input, and 1 with fixed inputs. In this case, the easiest approach is the following:
1) Copy the attached module to "<your inspector user module dir>/filter" (e.g. C:\Users\howto\Inspector\modules\filter\Rename.java), open it and compile it.
2) Open your Random trace set
3) Run the Rename module. For the new name put in "TVLA set Random". The output trace set will have all traces renamed to "TVLA set Random N".
4) Go to 'File > Save...', call your new trace random.trs and paste the following header in the Description field at the bottom right:
----------- T-TEST MODULE PARAMETERS SECTION DO NOT MODIFY -----------
Trace set contains the following TVLA sets: Random, Fixed
Fixed vs Random
----------- END T-TEST MODULE PARAMETERS SECTION -----------
5) Open your Fixed trace set
6) Run the Rename module again. For the set name put in "TVLA set Fixed". The output trace set will have all traces renamed to "TVLA set Fixed N".
7) Save this set as fixed.trs
8) (Re)open your random.trs
9) Right click it, select 'append' and in the popup window browse to your fixed.trs and select open
10) The resulting trace set is the combination of your fixed and random sets. Save this trace set.
11) Run TVLA