PROMETEU - a tool to support documents generation and traceability in the test process