工業高等専門学校の学生に対する形式手法B-Methodの学生実験の実践

DOI 情報処理学会

この論文をさがす

抄録

本稿では，ソフトウェア技術者の素養としての形式手法の体験を目標に，工業高等専門学校（工業高専）の本科4年生のクラス全員に対して形式手法B-Methodの学生実験を実践した．当実験は，形式仕様記述・定理証明とモデル検査の双方を実施項目に含有しており，「フォーマルメソッド利用のレベル」におけるレベル0よりレベル2までの手順をひととおり体験させることを目指す．結果，受講学生より，ツールの使用手順の理解度やB-Methodへの親近感について一定の評価を得ており，ツールを導入したいという希望が出ているなどの一定の関心を得ており，学生の形式手法に対する敷居を下げることに成功しており，目標を達成するものであり，人材の養成確保の問題解決に向けて寄与するものと考える．

This paper presents our design and launching of student experiments of the formal method, B-Method applied for the whole members of the 4th-grade class of an Institute of Technology with the aim of giving opportunities to commit a formal method as the software engineer's fundamental knowledge. Our experiments include both the tasks of formal description, theoretical proving, and the task of model checking. These tasks challenge to give students the opportunities to commit evenly from level-0 to level-2 according to “the levels of formal method usage.” As the results, we got some certain evaluations from students about the understanding how to use the tools, and about the familiarity to the B-Method. We got some students' interesting with the requests to install the tools to their own PCs. Our practice succeeded to render students friendlier with the formal methods. Therefore, we have achieved our aim mentioned above. We think our practice contributes for the challenge to train and grow the human resource talented in formal methods.

収録刊行物

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ