学部後期課程
HOME 学部後期課程 情報科学特論Ⅶ
学内で開催されるオンライン授業の情報漏えい防止のため,2020年4月4日以降は授業カタログの更新を見合わせています

情報科学特論Ⅶ

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限
マイリストに追加
マイリストから削除
教室
理7号館 007号教室
講義使用言語
英語
単位
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.