DO-178C测试向量自动生成工作流程