一般的软件进化主要通过普通的维护工作进行个别变更，其影响局限在局部范围内。
查看答案
软件设计过程中的各个活动的结果最终应文档化，形成正式的软件设计规格说明，作为软件设计的输出。
A. 对
B. 错
管道/过滤器风格的特征是从向外提供服务的构件出发，沿着链接关系依次搜索个构件和连接，形成一个有向无圈图。
A. 对
B. 错
模型检验技术是通过搜索待验证软件系统模型的有穷状态空间来检验系统的行为是否具有与其性质的一种有穷状态系统自动验证技术。
A. 对
B. 错
确定属性和操作的作用范围的基本原则是尽量缩小作用范围，每个类仅公开那些为直接响应消息所必须的操作。原则上，属性可以在一定范围内公开。
A. 对
B. 错
微信支付 
支付宝支付