説明
ソフトウェアシステムの体系的テスト手法。ソフトウェアの検証と確認、デバッグ、品質保証、ソフトウェア信頼性の測定と予測。これらのトピックをリアルタイムおよび分散システムの文脈で扱うことに重点を置く。
前提条件
- 前提条件: SYSC 3120 または SYSC 3020。
条件および詳細
- 追加単位は COMP 4004 に対して認められない。
- 前提条件: SYSC 3120 または SYSC 3020。
- 講義週3時間、実験／問題解析週3時間。
原語による参照テキスト
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.
出典と参照
日付と出典は、情報を確認する際の参考のために保持されています。翻訳は読みやすくするための提案であり、条件や要件については公式の出典が基準となります。
出典の参照 : https://calendar.carleton.ca/undergrad/courses/SYSC/