iSAQB CPSA-A FM
iSAQB® CPSA-A - 정형 기법(과정)
설명
iSAQB® CPSA-A 정형 기법 (FM) 과정에 참여하면 기술 역량(TC) 점수 20점과 방법론 역량(MC) 점수 10점을 취득할 수 있습니다. 이 점수는 Brightest에서 iSAQB CPSA-A 시험에 응시하기 위해 필요한 70점에 포함됩니다. Brightest의 iSAQB CPSA-A 시험에 응시하기 위해 필요한 총 70점 중 다음 각 영역에서 최소 10점의 역량 점수를 취득해야 합니다:
- 기술 역량(TC)
- 방법론 역량(MC)
- 의사소통 역량(CC)
공인 iSAQB® FM – 정형 기법 (CPSA-A) 교육은 최신 iSAQB® 커리큘럼을 기반으로 합니다:
파트 1 – 논리
- 명제 논리의 기본 구조 이해하기
- 술어 논리 또는 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.
인증 시험을 예약해 보세요
Brightest Private
시험
Pearson VUE 전문가가 웹캠을 통해 실시간으로 관리하는 개인을 위한 전자 시험시험입니다(현재 ISTQB도 응시 가능합니다).
Brightest Center
시험
5,200개 이상의 시험 센터 중 어느 곳에서나 Pearson VUE 웹사이트를 통해 간편하게 등록하실 수 있는 개인을 위한 전자 시험입니다.
Brightest Green
시험
전 세계 어디에서나 최소 6명 이상의 참가자가 6개 언어로 응시하실 수 있는 전자 단체 시험입니다.
Brightest Paper
시험
점점 더 많은 언어로 제공되고 있는 6명 이상의 참가자 그룹을 위한 전통적인 시험 방식입니다.