软件分析阶段产生的文档是________。