Carleton University · SYSC 4101

Xác thực phần mềm

Tiêu đề chính thức : Software Validation

Tín chỉ : 0.5 tín chỉNăm tham chiếu : 2026-27

Mô tả

Kỹ thuật kiểm thử có hệ thống cho hệ thống phần mềm. Xác nhận và xác minh phần mềm, gỡ lỗi phần mềm, đảm bảo chất lượng, đo lường và dự đoán độ tin cậy phần mềm. Nhấn mạnh cách xử lý các chủ đề này trong bối cảnh hệ thống thời gian thực và hệ thống phân tán.

Tiền đề

  • Điều kiện tiên quyết: SYSC 3120 hoặc SYSC 3020.

Điều kiện và thủ tục

  • Không cho phép tính thêm tín chỉ cho COMP 4004.
  • Điều kiện tiên quyết: SYSC 3120 hoặc SYSC 3020.
  • Bài giảng ba giờ mỗi tuần, thí nghiệm/phân tích bài toán ba giờ mỗi tuần.
Văn bản tham chiếu bằng ngôn ngữ gốc

Techniques for the systematic testing of software systems. Software validation and verification, software debugging, quality assurance, measurement and prediction of software reliability. Emphasis on the treatment of these topics in the context of real-time and distributed systems.

  • Prerequisite(s): SYSC 3120 or SYSC 3020 .
  • Precludes additional credit for Precludes additional credit for COMP 4004 .
  • Lectures three hours a week, laboratory/problem analysis three hours a week.

Nguồn và tham khảo

Ngày và nguồn được giữ lại để giúp bạn kiểm tra thông tin. Các bản dịch được cung cấp để dễ đọc; nguồn chính thức là tham chiếu cho các điều kiện và yêu cầu.

Nguồn tham khảo : https://calendar.carleton.ca/undergrad/courses/SYSC/

Liên hệ StudyCanada

Chia sẻ kế hoạch hoặc câu hỏi của bạn. Chúng ta sẽ tiếp tục trao đổi qua email.

Chúng tôi sử dụng thông tin liên hệ này để trả lời yêu cầu của bạn. Quyền riêng tư

Biểu mẫu này gửi đến StudyCanada. Để liên hệ với trường, hãy dùng thông tin trong hồ sơ trường.