|
ブロック式ビジュアルプログラミング環境は、ブロックを組み合わせることでプログラムを作成することができる環境である。ブロック式プログラミング環境では、プログラミング言語の構文規則やキーワードを暗記することなくプログラミングを体験することができることから、小学校から大学まで広くプログラミング入門に利用されている。
本研究では、ブロック式ビジュアルプログラミング環境「Phratch」にアサーション機能を追加するアドオン「Assertch」を開発し、一般に公開した。アサーションは処理単位に対する事前条件および事後条件を定義したものであり、ソフトウェアの機能仕様、設計およびテストで利用される機能である。「Assertch」ではアサーションはブロックとして提供されている。アサーションブロックはプログラムを構成するために他のブロックと組み合わせて利用することができる。ビジュアルプログラミング環境を使ったプログラミング導入教育の中で、アサーションブロックは、プログラムの仕様記述、設計、テストを系統的に遂行することを可能にするとともに、形式手法のエッセンスを学ぶことを可能にする。「Assertch」は「Phratch」とともにオープンソースとして一般に公開されており、自由に改変および再配布が可能である。
さらに本研究では実際の大学レベルのプログラミング教育に「Assertch」を適用した。山梨学院大学経営情報学部での計算機科学への導入をおこなう「情報処理論」において、プログラムの正当性に関する講義で「Assertch」を導入し、演習課題を設定し、その効果を評価した。
|
