セミナー
課題解決できる! 開発支援ツールを体験できる!

AIST(産業技術総合研究所)/CATS合同セミナ(無料)

セミナ
番号
セミナ名
(紹介ツール)
概要 日時・会場(新横浜)
お申込は受講希望日をクリック
AC-1 機能安全
(ZIPC、TERAS)
機能安全の概念、リスクの決定法、安全整合性水準(SIL)について解説します。 開催日時 調整中
AC-2 テスト設計
(ZIPC Tester/FOT)
ソフトウェアの品質確保や増大するテスト工数、安全規格対応など、 ソフトウェアビジネスや開発現場においてより良いテスト技術の需要 が高まっている。
Pair-wise 法は少ないテストでより多くの不具合を 見つけることができる効果的なテスト技術である。本技術は長い歴史 を持つ伝統的なテスト技術であるが、産業からのテスト技術への高ま る需要を受け、Pair-wise 法が今再び注目されており、それに伴い 実用化に向けた急速な発展を遂げている。
本セミナーではPair-wise 法の歴史を振り返り、同技術の最近の実用化研究を紹介しつつ、 産総研が開発中の Pair-wise法を現代的な形で拡張したテスト技術 FOT を紹介する。
2013/09/06(金)13:30〜17:30
アリーナタワー2F(新横浜)
(満員御礼 締め切りました)

DEOS プロジェクト協力セミナ(無料)

セミナ
番号
セミナ名
(紹介ツール)
概要 日時・会場(新横浜)
お申込は受講希望日をクリック
DC-1 D-Case入門セミナー
〜高信頼なシステム開発に必要な考え方の基本を身につけよう!〜
近年、自らのシステムやソフトウェアがディペンダブルであることを論証する思考技術と説明技術が求められています。
是非、この機会に安全性ケース(アシュアランスケース)作成スキルを身につけてみませんか?
2013/07/31(水)13:00〜17:30
キャッツ川浅ビル9F

CATSセミナ(無料)

セミナ
番号
セミナ名
(体験できるツール他)
※セミナ名クリックで詳細
概要
日時・会場(新横浜)
お申込は受講希望日をクリック
CZ-1 状態遷移表設計
(ZIPC)
状態遷移表設計の概念、基礎を解説します。
(ZIPCを使った演習あり)
2013/07/12(金)13:30〜17:30
キャッツ川浅ビル9F

2013/08/30(金)13:30〜17:30
アリーナタワー2F(新横浜)

2013/09/13(金)13:30〜17:30
アリーナタワー2F(新横浜)

CZ-2 状態遷移テスト入門
(ZIPC Tester)
状態遷移テストのテスト設計とZIPC Testerを使ったテストケース生成を体験します。 2013/07/05(金)13:30〜17:30
キャッツ川浅ビル9F

2013/08/29(木)13:30〜17:30
アリーナタワー2F(新横浜)

2013/09/05(木)13:30〜17:30
アリーナタワー2F(新横浜)
(締め切りました)
CZ-3 TERASを活用した
トレーサビリティ
マネジメント
(TERAS)
機能安全対応や開発コスト削減・品質確保の ためにトレーサビリティマネジメントを効率的に 実施するためのツール(TERAS)活用方法を ご紹介します。
(※TERASの体験あり)
2013/07/18(木)13:30〜16:00
キャッツ川浅ビル9F

2013/08/21(水)13:30〜16:00
アリーナタワー2F(新横浜)
(締め切りました)
CZ-4 業務ノウハウ見える化
(Corona)
業務改善に必要な情報を効率的に 作成するために、ツール(Corona)を 適用したビッグデータ解析方法を ご紹介します。
(※演習あり)
2013/08/22(木)13:30〜15:30
アリーナタワー2F(新横浜)
(締め切りました)
CZ-5 上流ドキュメントから状態遷移設計、テスト設計へ
(USDM手法、状態遷移表)
USDM(Universal Specification Describing Manner)の基礎を解説します。
USDMからZIPC状態遷移設計、ZIPC Testerテスト用状態遷移設計へのつなぎ方を解説します。(演習あり)
2013/09/11(水)13:30〜16:30
アリーナタワー2F(新横浜)
(締め切りました)
CZ-7 形式手法を用いた
検査手法入門
(PAT Pro)
PAT Pro、UPPAALといったモデル検査ツールの紹介と形式手法、モデル検査などを説明します (PAT Proを使った演習あり) 2013/07/26(金)13:30〜15:30
キャッツ川浅ビル9F

2013/08/23(金)13:30〜15:30
アリーナタワー2F(新横浜)
(締め切りました)

2013/09/12(木)13:30〜15:30
アリーナタワー2F(新横浜)
(締め切りました)

※日程、内容、会場が予告なく変更されることがございます。

↑ページTOPへ