测试的模块往往不是独立程序，需要为被测试模块设计若干辅助模块，其中用来模拟被测模块的上级调用模块称为_____模块。

采用软件工程的方法开发软件，各阶段都有相应的文档，容易进行维护工作，这是一种_____维护。

状态图反映了状态与_____的关系。

规定功能的软件，在一定程度上能从错误状态自动恢复到正常状态，这种软件称之为_____软件。

结构化分析方法

黑盒测试

维护的副作用

软件配置管理

软件质量保证

软件生存周期中，准确地确定软件系统必须做什么的阶段是