トップエスイーコンテスト 2017 {夏}

トップエスイーコンテスト2017 {夏} について

トップエスイーは,ソフトウェアエンジニアリングの技術・理論・ツールを使いこなすIT技術者(スーパーアーキテクト)を育成する社会人向けの教育プログラムです.10年以上に渡り300名を超える社会人エンジニアを修了者として送り出しました.また,トップエスイーはエンジニアの自己研鑽を支援する活動を行っております.その一環として,国内の社会人・学生を対象とした,先端的なソフトウェアエンジニアリング技術を競う「トップエスイーコンテスト」を開催します.

トップエスイーコンテストとして,2017年3月にビッグデータのBiPCon、モデル検査のMoCConとして2つのコンテストを開催しました(トップエスイーコンテスト2017)。2017年8月には、引き続いてMocConを開催します。社会におけるソフトウェアの重要性がますます高まる中,高度なIT技術者の育成につながることを願っております.

MoCConModel Checking Contest
モデルチェッキングコンテスト

モデル検査を用いて詳細設計書の不具合解析を行い, 結果を的確に第三者に報告する能力を競うコンテストです.

主催 大学共同利用機関法人情報・システム研究機構
国立情報学研究所
トップエスイー
協賛 NPO法人トップエスイー教育センター
審査委員
  • 早水公二(株式会社フォーマルテック)
  • 田辺良則(鶴見大学/国立情報学研究所)
MoCConで
競う能力
2017年3月に開催された前回のMoCConでは,詳細設計書から検証のためのモデリングを行い,既知の不具合(設計ミス)の原因をモデル検査を用いて解析し,その結果を第三者に説明する能力を競いました.今回の課題については決定し次第公開します。
参加資格 日本在住の個人またはグループ.
競技内容 2017年3月に開催された前回のMoCConでは,自然言語で記述された要求仕様と,そこから作成した状態遷移表,および観測された不具合が与えられました.これらから,検査のためのモデルを構築し,モデル検査によって不具合の原因を解析してくいただきました.検査のためにおこなった仮定や前提,検査結果をまとめて「モデル検査報告書」(規定枚数以内,様式自由) を作成し,提出していただきました.モデル検査ツールは,SMV(NuSMVなど),SPIN,UPPAALのいずれかを使用しました.今回の競技内容については決定し次第公開します。
審査方法 モデル検査の知識のない第三者でも理解できる,的確な報告書となっているかを総合的に審査します.
重要日程
  • 2017年8月1日(日) 0時0分:応募締め切り(7月31日中の応募まで)
  • 2017年8月5日(土):問題をWeb上で公開
  • 2017年8月13日(日):回答提出期限(結果をWebで提出)
  • 2017年8月21日(月):Webにて結果公開
各賞
  • 優勝
  • 学生奨励賞

トップエスイーコンテスト2017のお申し込み方法

TopSE Communityのアカウント取得

お申し込みに先立って,TopSE Communityのアカウントを作成してください.ただし,現在,TopSE受講生の方,実践プログラミングセミナーを受講された方はアカウントの作成は不要です.

  • こちらのページ(クリックすると新たなウインドウで表示されます)に移動して,お名前とメールアドレスを入力してください.
  • メールが指定されたアドレスにすぐに届くはずです.そのメール内のリンクをクリックしてください.
  • さらに別のメールが指定されたアドレスにすぐに届くはずです.そのメール内にユーザー名とパスワードがあります.それを利用して,以下の手順で申し込みを行ってください.

コンテストへのお申し込み

  • TopSE Communityのマイページに移動します.
  • ご自分のユーザー名とパスワードを入力して,ログインをしてください.「TopSE Communityのアカウント取得」で取得されたものを利用してください.現在,TopSE受講生の方,実践プログラミングセミナーを受講された方は,すでにご利用されているアカウントをご利用ください.
  • ページの内容が表示されます.お名前とユーザー名が表示されるのでご確認ください.また,ページの末尾には,ご所属を入力する欄がありますので,可能な限り入力をお願いします.
  • お申し込みをされるコンテストの「お申し込み」ボタンをクリックしてください.
  • コンテストの申し込みページが表示されるので,質問事項があれば,そこに記載して,「申し込む」ボタンをクリックしてください.
  • TopSE Communityのマイページにおいて,申し込まれたコンテストが「ご参加のトップエスイーコンテスト」の一覧に見えるようになります.これで参加登録は完了します.