(toppers-users 4396) SESSAME～最新の組込みテスト技術を学ぼう～第2回のご案内
YOKOI Naoko
naoko ＠ toppers.jp
2015年 6月 23日 (火) 13:37:00 JST
TOPPERSプロジェクト会員，関係者の皆様
TOPPERSプロジェクト事務局の横井です．
お世話になっております．
関連団体のSESSAMEから，2月に開催した，最新の組込みテスト技術に関する
セミナーの第2回開催のご案内です．
開催日が近づいてまいりましたので，再度ご案内させていただきます．
ご希望の回のみの参加も可能です．
ご興味のある方，ぜひご参加ください．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
SESSAMEセミナー
〜最新の組込みテスト技術を学ぼう〜
第2回（全4回開催予定）のご案内
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
東京大学 VLSI設計教育研究センター (VDEC)で研究をされている
藤田昌宏先生をお迎えし，組込みソフトウェア技術者を対象とした
組込みCプログラムの試験に関する講座を開催しています．
テーマは，新しいプログラムテスト技術です．
組込みソフトウェアの領域では，MCDCカバレッジを好例として従来
から半導体の開発技術をプログラムテストに応用してきました．
藤田先生は，VLSIのテスト技術の延長として組込みソフトウェアの
テスト技術を研究されています．
今回、形式検証やHW/SW協調テストなど、今後の組込みソフトウェアに
必要となる先端のテスト技術を学ぶよい機会となることでしょう．
【講義プラン】
2015年に4回の講義を計画しています．
最先端の組込みソフトウェアテスト技術の中から，テーマを選んで
講義いただく予定です．
初回は，ソフトウェアを実行して検査を行う，ソフトウェアのテスト
技術の解説でした．
第2回となる今回は，形式的解析技術に基づくソフトウェアコードの
解析手法についての解説です．
全4回の内容は、以下の通りとなる予定です．
１．導入とソフトウェアの自動テスト（前回）
２．形式的解析手法（今回）
３．プログラム合成・デバッグ
−仕様からの生成、実行例からの生成
−ルールベースプログラミング
−プログラム間の差異検出
４．C言語解析・検証・デバッグのための「新」ツール
各回の詳細については，事務局にお問い合わせください．
ご希望の回のみご参加いただけます．
【開催概要】
セミナー名称：最新の組込みテスト技術を学ぼう（2）
主催：特定非営利活動法人
組込みソフトウェア管理者・技術者育成研究会(SESSAME)
（http://www.sessame.jp/ ）
日時：6月30日(火)13:30〜17:00 受付開始13:00
＾＾＾＾＾＾＾＾＾＾＾＾
開始時刻が前回と異なっておりますのでご注意ください！
会場：株式会社東陽テクニカ
テクノロジーインターフェースセンター 8階セミナー室
〒103-0021 東京都中央区日本橋本石町1-1-2
http://www.toyo.co.jp/spirent/access.html
講師：東京大学大規模集積システム設計教育研究センター
教授 藤田昌宏氏
受講料：第2回の受講料は30,000円(資料代、消費税込)です
募集人員：40名
プログラム：
・モデルチェッキングに代表される形式的ソフトウェア解析・検証
手法の基本について
・自動抽象化やpartial order reduction 等について
・プロパティの自動生成手法や，チェック技術について
・形式的等価性検証技術について
・等価でない場合の，差異を説明する新規技術について
・ハードウェア設計の形式的検証技術やツールの現状について
・因果関係解析技術について
・ソフトウェア検証に関連する定理自動証明技術について
など
申込み方法：本メール末尾の申込書により，メールにてお申込みください．
・お申し込み頂きますと、折り返し『参加案内、請求書』を
お送りいたします．
・請求書にしたがって銀行振込をお願いいたします．
振込手数料は貴社にてご負担ください．
・参加費は、欠席されても原則としてお返しいたしかねます
のでご了承ください．
・申込書に記載いただいた情報は，本人確認、本セミナに関
する連絡のほか，SESSAMEに関する各種ご案内のみに利用し，
適切な管理を行うよう努めます．
-----------------------------------------------------------------
申し込み、問い合わせ先
組込みソフトウェア管理者・技術者育成研究会 横井
〒103-0007 東京都中央区日本橋浜町1-8-12-8F
一般社団法人組込みシステム技術協会内
電話:(03)3865-1730/FAX:(03)3865-5616
e-mail：secretariat ＠ sessame.jp
-----------------------------------------------------------------
To:secretariat ＠ sessame.jp
Subject: 最新の組込みテスト技術セミナー（２）参加申込書
=== 最新の組込みテスト技術セミナー（２）参加申込書 ===
■会社
会社名 ：
会社の郵便番号：〒
所在地 ：
電話番号：
■受講者
氏名 ：
ふりがな ：
所属部署・役職：
電子メール ：
■請求書の送付先
(受講者以外への送付をご希望の場合はご記入ください)
■備考 (その他の希望などがあればお書きください)
--
−−−−−−−−−−−−−−−−−−−−−−−
横井尚子（YOKOI Naoko) secretariat ＠ toppers.jp
NPO法人TOPPERSプロジェクト事務局
〒103-0007 東京都中央区日本橋浜町1-8-12
（一社）組込みシステム技術協会内
TEL＆FAX: 03-3865-5616
−−−−−−−−−−−−−−−−−−−−−−−
