著者

北浜 優子 北嶋 曉 岡野 浩三 谷口 健一 キタハマ ユウコ キタジマ アキラ オカノ コウゾウ タニグチ ケンイチ Kitahama Yuko Kitajima Akira Okano Kozo Taniguchi Kenichi

出版者

情報処理学会

雑誌

情報処理学会論文誌 (ISSN:03875806)

巻号頁・発行日

vol.41, no.11, pp.3114-3121, 2000-11-15

---

形式的手法の設計導入教育への適用の有用性を調べるために,大阪大学基礎工学部情報科学科3年次学生のCPU設計実験において,(i)我々の研究グループで作成した検証システムを用いて設計の正しさを形式的に証明する設計手法(新手法),(ii)慎重な見直しや波形シミュレーションなどで設計の正しさを確認する設計手法(従来手法),の2つのコースを設けて,その2つのコース間で作業時間と設計したCPUにおける誤りの有無について2カ年にわたって比較を行った.定められた中間レポート提出期限までに誤りのないCPUを設計した学生は,従来手法コースでは42人中0人,新手法コースでは42人中41人であった.従来手法コースでは提出期限後に,教官が誤りを指摘して学生が設計を修正する期間を設け,この期間に19人が誤りのないCPUを設計した.中間レポート提出期限までに費やした全作業時間の平均は新手法43時間に比べて従来手法のほうが13時間ほど短かった.以上より,あらかじめ定められた期限までに正しいCPUを設計するためには,新手法は30%ほど作業時間がかかるものの効果的であることが確かめられた.