offline test procedure generator + tracker