ブロック式ビジュアルプログラミング環境は、プログラミング言語の構文規則やキーワードを暗記することなくプログラミングを体験することができることから、小学校から大学まで広くプログラミング入門に利用されている。本研究では、ブロック式ビジュアルプログラミング環境「Phratch」にアサーション機能を追加するソフトウェアを開発し、一般に公開した。アサーションは処理単位に対する事前条件および事後条件を定義したものであり、ソフトウェアの機能仕様、設計およびテストを系統的に行うことを可能にする。実際の大学学部レベルのプログラミング教育に「Assertch」を導入し、その効果を評価した。
|