セミナー概要
日時：
2014年12月5日(金)，7日(日)
ともに9:30-17:30（受付開始: 9:00）
※5日と7日の内容は同一です。
ともに9:30-17:30（受付開始: 9:00）
※5日と7日の内容は同一です。
会場：
国立情報学研究所 国立情報学研究所 20階 ミーティングルーム(2009/2010)
概要：
ますます困難となるソフトウェア開発の課題に対し，以下のように様々な立場・視点からの取り組みがなされています．
・ アジャイル開発のための，テスト（動作例）を軸としたテスト駆動開発やその発展手法
・ 厳密な言語による記述に基づく仕様の厳密化やツールによる検証（形式手法）
・ 様々な技法を用い系統的に行う品質保証テストやその自動生成ツール
これらの分野は互いに関係ない，時には相反するものだと見なされているかもしれません．しかし，これらの分野はすべて，
・ アジャイル開発のための，テスト（動作例）を軸としたテスト駆動開発やその発展手法
・ 厳密な言語による記述に基づく仕様の厳密化やツールによる検証（形式手法）
・ 様々な技法を用い系統的に行う品質保証テストやその自動生成ツール
これらの分野は互いに関係ない，時には相反するものだと見なされているかもしれません．しかし，これらの分野はすべて，
「ソフトウェアが実現すべき機能」を定義する，そしてその定義を用いて確かに実現がされていることを検証・確認する
という共通の課題に向き合っているものです．このため，これらの分野それぞれで積み上げられた技術や考え方は，元となる思想が異なるからこそ，互いの課題を解決する可能性があります．
本セミナーでは，ソルバー（モデル発見）ツールを用いて，「仕様を基にテストケース（動作例）を生成や確認する」，あるいは「テストケース（動作例）を基に仕様を確認する」演習を行います．この演習は上記の3つの分野にまたがって行うもので，それぞれの分野での上記課題に対する考え方への入門となるとともに，それら分野の相互関係・相互補完について広い視点から学び，議論する内容となります．
本セミナーで用いるツールは，情報処理推進機構（IPA）のソフトウェア工学分野の先導的研究支援事業（RISE)の委託研究により試作したものです．Java言語で書いたデータ構造やインターフェースの記述に対し，仕様や場合分けのヒント，動作例などを付加することで，手軽にソルバー（モデル発見）の技術を，インクリメンタルに，インタラクティブに活用できるようになっています．
【注意事項】
・ ツールをインストールしたWindows PCを用意する予定です．
・ テスト駆動開発（TDD）やその発展（受け入れテスト駆動開発ATDDなど），VDMやAlloyなどの形式仕様記述手法，PICTなどのテスト自動生成ツールなどの知識・経験があれば，より理解が深まりますが，必須ではありません（これらの分野への導入をしつつ，相互の関係について考える内容となっています）．
講師：
・石川 冬樹 准教授（国立情報学研究所）
定員：
35名(先着順)
※定員に達し次第，申し込みを締め切らせていただきます。
※定員に達し次第，申し込みを締め切らせていただきます。
参加費：
無料
※NPO法人 トップエスイー教育センター会員の方は、優先的に受講いただけます。
※NPO法人 トップエスイー教育センター会員の方は、優先的に受講いただけます。
参加申込方法：
参加申込みサイトより必要事項を入力の上、お申込みください。
http://ws.formzu.net/fgen/S57176756/
http://ws.formzu.net/fgen/S57176756/
主催：
NPO法人 トップエスイー教育センター
協力：
国立情報学研究所 GRACEセンター
お問合せ窓口：
セミナーに関するご質問などは、下記アドレスにて承ります。
inquiry@topse.or.jp
inquiry@topse.or.jp
