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

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

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

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

セミナー
番号
セミナー名
(紹介ツール)
概要
DC-1 D-Case入門セミナー
〜高信頼なシステム開発に
必要な考え方の基本を
身につけよう!〜
近年、自らのシステムやソフトウェアがディペンダブルであることを論証する思考技術と説明技術が求められています。
是非、この機会に安全性ケース(アシュアランスケース)作成スキルを身につけてみませんか?

CATSセミナー(無料)

セミナー
番号
セミナー名
(紹介ツール)
概要
CZ-1 状態遷移表設計
(ZIPC)
状態遷移表設計の概念、基礎を解説します。
(※ZIPCを使った演習あり)
CZ-2 状態遷移テスト入門
(ZIPC Tester)
状態遷移テストのテスト設計とZIPC Testerを使ったテストケース生成を体験します。
CZ-3 TERASを活用したトレーサビリティマネジメント
(TERAS)
機能安全対応や開発コスト削減・品質確保のためにトレーサビリティマネジメントを効率的に実施するためのツール(TERAS)活用方法をご紹介します。
(※TERASの体験あり)
CZ-4 業務ノウハウ見える化
(Corona)
業務改善に必要な情報を効率的に作成するために、ツール(Corona)を適用したビッグデータ解析方法をご紹介します。
(※演習あり)
CZ-5 上流ドキュメントから状態遷移設計、テスト設計へ
(USDM手法、状態遷移表)
USDM(Universal Specification Describing Manner)の基礎を解説します。
USDMからZIPC状態遷移設計、ZIPC Testerテスト用状態遷移設計へのつなぎ方を解説します。
(※演習あり)
CZ-7 形式手法を用いた検査手法入門
(PAT Pro)
PAT Pro、UPPAALといったモデル検査ツールの紹介と形式手法、モデル検査などを説明します
(※PAT Proを使った演習あり)

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

↑ページTOPへ