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