The format of the export file is very simple.
There is a few informations in u1.04.00, section 10.1.
Users should not have to generate a .export file from scratch.
Examples can be generated for testcases by as_run:
as_run --get_export supv001a
MC
PS: This post should be moved to the Development section.