从设计模型和遗留软件的代码出发即可对软件设计进行恢复和进化。
查看答案
一般的软件进化主要通过普通的维护工作进行个别变更,其影响局限在局部范围内。
A. 对
B. 错
软件设计过程中的各个活动的结果最终应文档化,形成正式的软件设计规格说明,作为软件设计的输出。
A. 对
B. 错
管道/过滤器风格的特征是从向外提供服务的构件出发,沿着链接关系依次搜索个构件和连接,形成一个有向无圈图。
A. 对
B. 错
模型检验技术是通过搜索待验证软件系统模型的有穷状态空间来检验系统的行为是否具有与其性质的一种有穷状态系统自动验证技术。
A. 对
B. 错