解析：UML用况图（Use Case Diagram）的基本模型元素包括：参与者（Actor，即主题）、用况（Use Case）、关联（Association，连接参与者与用况）、泛化（Generalization）、包含（Include）、扩展（Extend）等。’消息’（Message）是序列图（Sequence Diagram）中的核心元素，用于表示对象间交互的通信，不属于用况图的模型元素。
解析：有效性测试（Validation Testing）又称确认测试，核心目标是验证软件功能是否符合需求规格说明书（SRS）的要求，即‘做对的事’（Are we building the right product?）。单元测试针对模块内部逻辑；集成测试关注模块间接口；系统测试在完整环境中验证整体功能与性能；而有效性测试特指需求符合性验证。
解析：ISO/IEC 12207-2008 中：确认（Verification）指‘是否正确地构造了产品’（Are we building the product right?），如评审、测试；而确认（Validation）指‘是否构造了正确的产品’（Are we building the right product?），即验证是否满足用户需求和预期用途。标准中‘软件确认过程’（Software Validation Process）即对应此定义，用于证实工作产品满足需求。
