iSAQB CPSA-A FM
iSAQB® CPSA-A - 形式化方法（课程）
描述
参加iSAQB® CPSA-A 形式化方法 (FM) 课程后，学员可获得 20 个技术能力 (TC) 积分和 10 个方法能力 (MC) 积分。这些积分将计入参加 Brightest iSAQB CPSA-A 考试所需的 70 个积分。需要注意的是，在参加 Brightest iSAQB CPSA-A 考试所需的 70 个积分中，学员必须在以下每个领域获得至少 10 个能力积分：
- 技术能力 (TC)
- 方法能力 (MC)
- 沟通能力 (CC)
经认证的 iSAQB® FM – 形式化方法 (CPSA-A) 培训以最新的 iSAQB® 课程大纲为基础：
第 1 部分 – 逻辑
- 了解命题逻辑的基本结构
- 了解谓词逻辑或一阶逻辑的基本结构
- 了解时序算子的基本结构
- 理解逻辑演算的基本概念
- 理解直觉主义逻辑与经典逻辑之间的区别
第 2 部分 – 规约与实现
- 区分不同的规约概念
- 理解规约可以用于不同类型的组件
- 理解规约可以涉及不同的质量特性
- 区分形式化规约与其他类型的规约
- 了解至少三种不同规约语言的主要区别
- 理解精化的概念
第 3 部分 – 形式化方法与开发流程
- 识别可以应用形式化方法的领域
- 了解适合使用形式化方法的相关质量特性
- 理解精确规约的重要性
- 了解不同形式化方法之间的权衡
- 逐步引入形式化方法
- 选择合适的形式化方法
- 使用形式化方法评估架构
第 4 部分 – 工具
- 应用基于属性的测试
- 理解类型系统的作用
- 应用模型检验来验证自动机的性质
- 使用证明辅助工具验证各种软件系统的性质
- 使用 SMT 求解器验证各种软件系统的约束条件
- 应用抽象解释，通过静态分析预测动态行为
目标受众
CPSA-A 形式化方法课程特别适合希望通过应用相关技术和架构方法来确保软件系统正确性的专业人士。
要求
如需参加任何 iSAQB® CPSA – Advanced Level 课程，您必须持有 iSAQB® Certified Professional for Software Architecture – Foundation Level (CPSA-F) 证书。
知识要求：
学员应具备以下基础知识：
- 代数基础知识
- 逻辑基础知识
以下领域的知识有助于理解本课程中介绍的部分概念：
- 函数式编程
- 使用等式对程序进行推理
- 编程语言语义
The global exam price vary depending on the certification and your geographical location.
