学部後期課程
HOME 学部後期課程 情報科学特論Ⅶ
過去(2020年度)の授業の情報です
学内のオンライン授業の情報漏洩防止のため,URLやアカウント、教室の記載は削除しております。
最終更新日:2024年3月15日

授業計画や教室は変更となる可能性があるため、必ずUTASで最新の情報を確認して下さい。
UTASにアクセスできない方は、担当教員または部局教務へお問い合わせ下さい。

情報科学特論Ⅶ

This short course focuses on methodologies for software testing and verification. It consists of 6 lectures, each with an assignment. Students will be given a one-unit credit if they submit reports for those assignments.
MIMA Search
時間割/共通科目コード
コース名
教員
学期
時限
0510101
FSC-IS4101L3
情報科学特論Ⅶ
萩谷 昌己
A2
金曜4限
マイリストに追加
マイリストから削除
講義使用言語
英語
単位
1
実務経験のある教員による授業科目
NO
他学部履修
不可
開講所属
理学部
授業計画
1. Introduction and software testing white box testing, black box testing, triangle example, unit testing, JUnit 2. Assertion and property-based testing assertion, property-based testing, QuickCheck, ScalaCheck 3. Model-based testing model-based testing, Modbat 4. Software model checking software model checking, Java PathFinder (JPF) 5. Basic model checking model checking, SPIN, temporal logic, linear temporal logic (LTL) 6. Software model checking by linear temporal logic JPF+LTL
授業の方法
Ordinary lectures and assignments (home works).
成績評価方法
By reports of the assignments.
教科書
None.
参考書
Given during the lectures.
履修上の注意
Students should have knowledge about Java. Students are expected to install necessary software on their computers and do the home works.