填空题
因修改软件而造成的错误后其他不希望出现的情况被成为维护的副作。它分为三种：（）：例如改进程序的执行效率而引入的错误。（）：例如修改全局会公共数据而引起的错误。（）：例如过时的文档内容、索引和文本造成的冲突。
编码副作用；数据副作用；文档副作用
填空题 软件需求说明书在（）产生，其使用者为（）。
判断题 动态行为就是动态模型的具体表现。（）
问答题 简述使用模型技术进行软件系统开发的意义。
