模型检验技术是通过搜索待验证软件系统模型的有穷状态空间来检验系统的行为是否具有与其性质的一种有穷状态系统自动验证技术。
查看答案
确定属性和操作的作用范围的基本原则是尽量缩小作用范围，每个类仅公开那些为直接响应消息所必须的操作。原则上，属性可以在一定范围内公开。
A. 对
B. 错
变换分析和事务分析的最后一个步骤都是分解并精化事务结构以及每条动作路径所对应的结构，对结构进行优化，以提高软件设计的整体质量。
A. 对
B. 错
进程视图的用户主要是软件开发人员和项目经理。
A. 对
B. 错
DCOM构件中直接与客户交互的是一个个对象，相同的对象构成一类。
A. 对
B. 错
微信支付 
支付宝支付