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

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

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

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

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

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

主催 大学共同利用機関法人情報・システム研究機構
国立情報学研究所
トップエスイー
協賛(予定) NPO法人トップエスイー教育センター
審査委員
  • 早水公二(株式会社フォーマルテック)
  • 田辺良則(鶴見大学/国立情報学研究所)
MoCConで
競う能力
モデル検査業務に必要な以下の技術と能力を競います.
  • 他者が開発したシステムを理解して適切なモデルを作成するモデリング技術
  • モデルの振る舞いを検証するための適切な検査式を作成する技術
  • 反例の解析技術
  • 検査の経緯や結果を第三者が読みやすい報告書(ドキュメント)に纏める能力
参加資格 日本在住の個人またはグループ.
競技内容 制御ブロック図上で起きてはならない現象が発生してしまいました.ブロック図からモデル検査のためのモデルを構築して,その現象を再現・確認するための検査式を作成した上で,発生原因であるタイマの設定値を,モデル検査を用いて調査してください.検査の経緯や結果を,第三者が読みやすいようにまとめて「モデル検査報告書」(枚数及び様式は自由) を作成して提出してください.モデル検査ツールは,SMV(NuSMVなど),SPIN,UPPAALのいずれかを使用してください.
審査方法 モデル検査の知識のない第三者でも理解できる,的確な報告書となっているかを総合的に審査します.
重要日程
  • 2017年8月7日(月) 0時0分:応募締め切り(8月6日中の応募まで延期しました
  • 2017年8月5日(土):問題をWeb上で公開
  • 2017年8月13日(日):回答提出期限(結果をWebで提出)
  • 2017年8月21日(月):Webにて結果公開
各賞
  • 優勝
  • 学生奨励賞
副賞としてiPadを予定.

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

TopSE Communityのアカウント取得

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

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

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

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