iSAQB CPSA-A FM

Mô tả

Tham gia khóa học iSAQB® CPSA-A Phương pháp Hình thức (FM) mang lại cho người tham gia 10 điểm Năng lực Kỹ thuật (TC), 10 điểm Năng lực Phương pháp (MC) và 10 điểm Năng lực Giao tiếp (CC) trong tổng số 70 điểm cần thiết để đủ điều kiện tham gia kỳ thi iSAQB CPSA-A với Brightest. Điều quan trọng cần nhớ là trong tổng số 70 điểm cần thiết để tham gia kỳ thi iSAQB CPSA-A với Brightest, bạn cần có ít nhất mười điểm năng lực trong mỗi lĩnh vực sau:

• Năng lực Kỹ thuật (TC)

• Năng lực Phương pháp (MC)

• Năng lực Giao tiếp (CC)

Chương trình đào tạo iSAQB® FM - Phương pháp Hình thức (CPSA-A) được công nhận dựa trên chương trình hiện tại của iSAQB®:

Phần 1 - Logic

• Biết cấu trúc cơ bản của logic mệnh đề

• Biết cấu trúc cơ bản của logic vị từ/logic bậc nhất

• Biết cấu trúc cơ bản của các toán tử thời gian

• Hiểu các khái niệm cơ bản của phép tính logic

• Hiểu sự khác biệt giữa logic trực giác và logic cổ điển

Phần 2 - Đặc tả và Triển khai

• Phân biệt các khái niệm về đặc tả

• Hiểu rằng đặc tả có thể áp dụng cho các loại thành phần khác nhau

• Hiểu rằng đặc tả có thể áp dụng cho các đặc tính chất lượng khác nhau

• Phân biệt đặc tả hình thức với các loại đặc tả khác

• Biết các đặc điểm khác nhau của ít nhất ba ngôn ngữ đặc tả khác nhau

• Hiểu khái niệm tinh chỉnh

Phần 3 - Phương pháp Hình thức và Quy trình Phát triển

• Xác định nơi có thể áp dụng các phương pháp hình thức

• Biết các đặc tính chất lượng liên quan cho thấy khi nào nên sử dụng phương pháp hình thức

• Hiểu tầm quan trọng của đặc tả chính xác

• Biết các điểm đánh đổi giữa các phương pháp hình thức

• Đưa các phương pháp hình thức vào từng bước

• Lựa chọn phương pháp hình thức phù hợp

• Đánh giá kiến trúc bằng các phương pháp hình thức

Phần 4 - Công cụ

• Áp dụng kiểm thử dựa trên thuộc tính

• Hiểu vai trò của hệ thống kiểu

• Áp dụng kiểm tra mô hình để xác minh các thuộc tính của máy trạng thái

• Áp dụng trợ lý chứng minh để xác minh các thuộc tính của các hệ thống phần mềm bất kỳ

• Áp dụng bộ giải SMT để xác minh các ràng buộc của các hệ thống phần mềm bất kỳ

• Áp dụng diễn giải trừu tượng để dự đoán hành vi động bằng phân tích tĩnh