TERAS とは Tool Environment for Reliable and Accountable Software Open Traceability Tool Platform 2

Similar documents
第 3 回 TERAS 成果報告会 TERAS V3 紹介と今後の展開 Tool Environment for Reliable and Accountable Software 一般社団法人 TERAS 理事開発委員長渡辺政彦 2014 年 3 月 12 日

TERASとは Tool Environment for Reliable and Accountable Software Open Traceability Tool Platform 2 Copyright 2012 一 般 社 団 法 人 TERAS All Rights Reserved.

TERAS とは Tool Environment for Reliable and Accountable Software Open Traceability Tool Platform 2

untitled

Software Engineering Center ソフトウェア品質説明力の強化 ~ ソフトウェア品質監査制度 ( 仮称 )~ 2012 年 11 月 15 日 独立行政法人情報処理推進機構技術本部ソフトウェア エンジニアリング センター統合系プロジェクト Copyright 2012 IPA,

日経ビジネス Center 2

機能安全に必要なトレーサビリティとは

PARTⅢ 検証事例 2. トレーサビリティ管理の自動化に踏み切った理由や経緯 (1) 国際スタンダード認証に関する課題 ISO DO-178B/C IEC などの国際スタンダードでは 開発工程全般にわたって要件が満たされていること ( システムの正しい要件が 正しい方法で

セミナータイトル    ~サブタイトル~

スキル領域 職種 : ソフトウェアデベロップメント スキル領域と SWD 経済産業省, 独立行政法人情報処理推進機構

はじめに 本ドキュメントは Redmine を使用して稼働する定量的プロジェクト管理ツール ( 以下 IPF と略します ) のヘルプです IPF の操作に関わる機能を解説しており Redmine 及び構成管理ツール (Subversion Git) の標準機能については 本ヘルプの記載対象外として

個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化 による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実 1

<4D F736F F F696E74202D2091E63389F15F8FEE95F1835A834C A CC B5A8F FD E835A835890A78CE C CC835A834C A A2E >

Microsoft PowerPoint プレス発表_(森川).pptx

IPA:セキュアなインターネットサーバー構築に関する調査

f2-system-requirement-system-composer-mw

スキル領域 職種 : マーケティング スキル領域と MK 経済産業省, 独立行政法人情報処理推進機構

IMI情報共有基盤 「表からデータモデル」 データ変換のみを行う方向け画面説明

Microsoft Word - ModelAnalys操作マニュアル_

スライド 1

Microsoft PowerPoint - 【最終提出版】 MATLAB_EXPO2014講演資料_ルネサス菅原.pptx

untitle

PowerPoint プレゼンテーション

スライド 1

はじめに IPA/SEC では ソフトウェア開発における定量的管理の普及促進の一環として 国内の多様なソフトウェア開発のプロジェクトデータを整理 分析した ソフトウェア開発データ白書 を 2004 年より定期的に発行しています その最新版である ソフトウェア開発データ白書 を 2

[ ]スマートセミナーバージョンアップリリースノート

<4D F736F F F696E74202D DD8D8782ED82B98B5A8F7082F B582BD835C F E707074>

先進的な設計 検証技術の適用事例報告書 2015 年度版 2015 年 11 月

プロジェクトマネジメント知識体系ガイド (PMBOK ガイド ) 第 6 版 訂正表 - 第 3 刷り 注 : 次の正誤表は PMBOK ガイド第 6 版 の第 1 刷りと第 2 刷りに関するものです 本 ( または PDF) の印刷部数を確認するには 著作権ページ ( 通知ページおよび目次の前 )

NEXCESS基礎コース01 組込みソフトウェア開発技術の基礎 ソフトウェア開発プロセス編

相続支払い対策ポイント

150423HC相続資産圧縮対策のポイント

ハピタス のコピー.pages

Copyright 2008 All Rights Reserved 2

セキュリティテスト手法 ファジング による脆弱性低減を! ~ 外部からの脅威に対し 製品出荷前に対策強化するために ~ 2016 年 5 月 12 日独立行政法人情報処理推進機構技術本部セキュリティセンター情報セキュリティ技術ラボラトリー鹿野一人 1

ACR-C 保証継続報告書 独立行政法人情報処理推進機構原紙理事長藤江一正押印済変更 TOE 申請受付日 ( 受付番号 ) 平成 24 年 1 月 12 日 (IT 継続 2077) 認証番号 C0312 申請者コニカミノルタビジネステクノロジーズ株式会社 TOEの名称日本語名 :bi

i コンピテンシ ディクショナリ を 活用した品質エンジニアの育成 その 2 独立行政法人情報処理推進機構 HRD イニシアティブセンター 奥村有紀子

PowerPoint プレゼンテーション

<4D F736F F F696E74202D E A92E897CA D E83678AC7979D B838B5F F947

SDM 公開講座 現代ソフトウェア エンジニアリングの俯瞰図 第 2 回 2012/APR/12 情報システムの変化と 社会の安全と安心を考える 独立行政法人情報処理推進機構技術本部ソフトウェア エンジニアリング センター副所長立石譲二

目次 1. はじめに 2. 利用目的別メトリクス一覧表の仕組み 3. 検索機能の使い方 4. 利用シナリオ 5. おわりに Center 1

Simulinkモデル開発における工夫事例

intra-mart EX申請システム version.5.3 PDFオプション リリースノート

PowerPoint

変更要求管理テンプレート仕様書

はじめに ウイルスに感染させるための罠が仕掛けられた悪意のある文書ファイルは これまでにも Office の脆弱性の悪用や マクロ機能を悪用する手口のものがありました 昨今 それらとは異なる新たな攻撃手口を使ったものが出てきています 本資料は 新たな攻撃手口について紹介し 注意点を説明するものです

第4回 国際的動向を踏まえたオープンサイエンスに関する検討会 参考資料5

サイト名

効率の良いテストシナリオ? テストの進め方 テストプロセス テストの設計 より少ないテストケースで より多くのバグを見つける Mercury Interactive Japan KK all rights reserved. 2

プロジェクトを成功させる見積りモデルの構築と維持・改善 ~CoBRA法による見積りモデル構築とその活用方法について~

捺印ツールを使う 捺印ツールをインストールする 1. [ パソコン決裁 6 試用版捺印ツール ] の [ ダウンロード ] ボタンをクリックします 2. [ 実行 ] ボタンをクリックし [SetupDstmp32.exe] ファイルを実行します ご利用のブラウザまたはバージョンにより画面が異なりま

Infor 10 ERP Enterprise Overview

使用する前に

Software Engineering Center Information-technology Promotion Agency, Japan SEC 主催セミナー ( 東京 ) 2012 年 11 月 12 日 定量的プロジェクト管理ツールの概要 独立行政法人情報処理推進機構技術本部ソフトウ

障害管理テンプレート仕様書

intra-mart EX申請システム version.7.2 PDFオプション リリースノート

DumpsKing Latest exam dumps & reliable dumps VCE & valid certification king

IBM Cognos 10 Upgrade FAQ

Rational Roseモデルの移行 マニュアル

Agile 開発におけるプロジェクト管理の課題 リアルタイムなタスク管理 反復開発計画 ( イテレーション スプリント,..) が頻繁に変更される 機能追加やバグ修正 リファクタリングによるソースコード修正に対応したタスク管理が必要 ソースコードの二重管理 リリース済みのソースコードと 開発中のソー

2008年度 設計手法標準化アンケート 集計結果

トレーニングのプレゼンテーション

Copyright Compita Japan ISO33k シリーズとは? これまで使用されてきたプロセスアセスメント標準 (ISO/IEC 本稿では以降 ISO15504 と略称する ) は 2006 年に基本セットが完成し 既に 8 年以上が経過しています ISO

IT 産業を取り巻く環境の変化 ネットワークの普及 競争の激化ビジネスモデルの革新トラブルの多発 期待 ニーズ システムへの要求が増大 安全 安心への要請が増大 低コスト 短納期開発 多機能化 高性能化 信頼できるマネジメント トラブル未然抑止 リスクの増大 理想 不適切な見積 生産性の見誤り 人海

CW6_A1441_15_D06.indd

Information-technology Promotion Agency, Japan (ET-WEST 2013)2013 年 6 月 13 日 ~14 日 組込みシステム開発技術リファレンス ESxR シリーズ概要紹介 IPA 独立行政法人情報処理推進機構 SEC ソフトウェア高信頼化セン

e) 平成 24 年度の活動概要 1 活動の目標と結果平成 23 年度は 平成 22 年度に経済産業省より JASPAR に委託された 機能安全に対応した機器制御システムの開発 において策定した ガイドラインドラフト ( 解説書案 ) を 平成 24 年度までに自動車産業 半導体産業及び組込みシステ

Sol-005 可視化とRCSA _ppt [互換モード]

<4D F736F F D F193B994AD955C D9E82DD835C EC091D492B28DB8816A2E646F63>

初心者にもできるアメブロカスタマイズ新2016.pages

- 2 Copyright (C) All Rights Reserved.

エンジニアリング・サービスから見たMBD導入の成功・失敗

業務紹介 ソフトウェア品質コンサルティング業務 URL: ucts/consulting/index.html Process Technology 開発と改善の豊富な経験に基づく実践的なノウハウをご提供いたします コンサルティング実績 Peopl

Microsoft Project Project 1984 No.1 Project PMBOK (Project Management Body of Knowledge) 1 2 ( ) 3 3 Project 3 Project Standard/Professional Office Pr

1. 主な機能追加項目 以下の検索項目をサポートしました 書誌 全文検索コマンド検索 国内 査定日 最新の査定日 ( 登録査定日または拒絶査定日 ) を検索します 査定種別 最新の登録 拒絶査定 または査定なしを検索します 審査最終処分日 最新の審査最終処分日を検索します 審査最終処分種別 最新の審

Microsoft PowerPoint - ETEC-CLASS1資料 pptx

Word ›žŠpŁÒ-flO“Z

パソコン決裁7 捺印ツールインストールマニュアル

統合運用管理ソフトウェア Systemwalker 総合カタログ

Microsoft PowerPoint - ID005(R02).pptx

第1部参考資料

技術レポート 1)QuiX 端末認証と HP IceWall SSO の連携 2)QuiX 端末認証と XenApp の連携 3)QuiX 端末認証 RADIUS オプションと APRESIA の連携 Ver 1.1 Copyright (C) 2012 Base Technology, Inc.

Microsoft Visual Studio 2010 Professional Data Sheet

POWER EGG V2.01 ユーザーズマニュアル 汎用申請編

脆弱性を狙った脅威の分析と対策について Vol 年 7 月 21 日独立行政法人情報処理推進機構セキュリティセンター (IPA/ISEC) 独立行政法人情報処理推進機構 ( 略称 IPA 理事長 : 西垣浩司 ) は 2008 年度におけ る脆弱性を狙った脅威の一例を分析し 対策をまと

Oracle Business Rules

開発・運用時のガイド JDK8への移行に伴う留意点 [UNIX]

スライド 0

2015 TRON Symposium セッション 組込み機器のための機能安全対応 TRON Safe Kernel TRON Safe Kernel の紹介 2015/12/10 株式会社日立超 LSIシステムズ製品ソリューション設計部トロンフォーラム TRON Safe Kernel WG 幹事

OpRisk VaR3.2 Presentation

Copyright All Rights Reserved. -2 -!

SysMLに関する操作方法について

Microsoft PowerPoint - B3-3_差替版.ppt [互換モード]


スライド 1

(7) 手順 1 の (5) で保存した定款をダブルクリックして開きます ダブルクリック (8) 電子定款の Word 文書が表示されますので 内容を確認します Point 定款認証の事前確認について 申請前に指定公証役場と連絡をとり 定款の案をファックスやメールで送付するなどして 事前の打ち合わせ

Microsoft Word - ESxR_Trialreport_2007.doc

目次 1 はじめに 概要 本システムで対象となるユーザ 対象データ 動作環境 ( オフライン審査用 PC) 本書の表記 用語の説明 オフラインビューアの操作...

INDEX 1. 一括請求 Assist とは 1-1. でんさいに係るサービスと 一括請求 Assist の関係 1-2. 一括請求 Assist による課題解決 2-1. 一括請求 Assist の機能概要 2-2. 一括請求 Assist 業務に関連する機能の全体像 2-3. 一括請求 Ass

Transcription:

TERAS V3 オープントレーサビリティツールプラットフォーム ~ 高品質開発のためのトレーサビリティマネジメント ~ Tool Environment for Reliable and Accountable Software 一般社団法人 TERAS 2014/11/19

TERAS とは Tool Environment for Reliable and Accountable Software Open Traceability Tool Platform 2

一般社団法人 TERAS 紹介 一般社団法人 TERAS(Tool Environment for Reliable and Accountable Software) 経済産業省平成 23 年度産業技術実用化開発事業費補助金 ( 組込みシステム基盤開発事業 ) に採択され 開発費用の 3 分の 2 を国の助成 ( 平成 23~25 年度 ) を受け開発を実施するとともに TERAS トレーサビリティツールの普及に向けた活動を行っています 概要 設立平成 23 年 4 月 7 日 理事長鶴保征城 会員数特別会員 5 社 / 正会員 5 社 / 学術会員 7 名 ( 技術委員長 : 高田広章 )+2 団体 / 賛助会員 4 団体 実証評価会員 111 社 2014 年 3 月現在 実証評価会員 111 社の内訳 実績 TERAS Ver.2 を実証評価会員向けにリリース (Ver.3 を開発中 ) TERAS 成果発表会や ESEC ET 等への展示やセミナー等を通じて 普及活動を実施 他団体との連携 フランス原子力 代替エネルギー庁システム技術研究所 (LIST) 3 など 一般社団法人コンピュータソフトウェア協会 (CSAJ) パッケージソフトウェア品質認証制度一般社団法人実践的プロジェクトマネジメント推進協会 (PPMA) EPM-Xツール ( 定量的計測 ) との連携独立行政法人情報処理推進機構 (IPA) TERASを活用した評価 ( レポートあり : http://sec.ipa.go.jp/reports/20130215-2.html ) 産業技術総合研究所 TIDAコンソーシアム TERAS 事例紹介 事例タイトル - ロボット分野における適用事例 - 電動車椅子ロボット開発への TERAS 活用 - 鉄道分野における適用事例 - トレーサビリティを用いた成果物の品質向上とその評価 - 情報通信分野における適用事例 - ソフトウェア要求分析から詳細設計までシームレスにつなぐ開発プロセス - ロボット分野における適用事例 - ロボットの安全のためのトレーサビリティ TERAS ホームページから講演資料をダウンロード可能 講演者 産業技術総合研究所中坊嘉宏様 産業技術総合研究所田口研治様 三菱スペース ソフトウエア株式会社藤原啓一様 産業技術総合研究所水口大知様 http://www.teras.or.jp/?page_id=303

背景ソフトウェア産業を取り巻く環境 1 トレーサビリティの必要性 ~ 規格 ~ 文書 ISO 26262 : 2011(E) Functional safety Part2 Management of functional safety Annex B: Examples for evaluating a safety culture AutomotiveSPICE ENG.4 ソフトウェア要件分析 Level 1 IEEE Standard for Software Verification and Validation (IEEE Std 1012-2004) 5.4.1 アクティビティ : コンセプト V&V ( プロセス : 開発 ) ESPR SYP2 システム アーキテクチャ設計 SYP2.2 システム アーキテクチャ設計の確認 2.2.1 システム アーキテクチャ設計書の内部確認 記述 - 貧弱な安全文化の指標例 : 説明責任 ( アカウンタビリティ ) が追跡可能ではない - 良好な安全文化の指標例 : 機能安全に関わる意思決定の説明責任の追跡可能を保証するプロセスである 参照元の要件とソフトウェア要件との間でトレーサビリティを作成しているか 獲得要求とシステム要件とのトレーサビリティを検証する システム要件とソフトウェア要件とのトレーサビリティを開始する システムを構成する機能ブロックの分割が適切であり システム要求で求められる事項が実現可能かどうか ( トレーサビリティの確認 ) システム要求やテスト仕様との対応 ( トレーサビリティ ) が取れているか 4

背景ソフトウェア産業を取り巻く環境 2 トレーサビリティの必要性 ~ 事例 ~ JR 東日本や東京メトロなどの 8 都県 662 駅 自動改札機と窓口処理機で同一のプログラム ミスで不具合再発 12007/10/12 自動改札機起動せず 260 万人に影響 中央コンピュータからのデータを IC カードに書き込むプログラムにミス 22007/10/18 PASMO-Suica 65 駅の窓口処理機で異常発生 10 月 12 日の自動改札機と同一のプログラム ミス みずほ銀行が大規模システム障害 2011 年 3 月 14 日 義援金振り込み集中をきっかけに 店舗でのサービス停止 ATM の取引停止などを連発 銀行統合によるシステム統合時の人為的プログラム ミスと 人手作業に依存するシステム運用管理が原因 5

トレーサビリティが解決する課題 1 機能安全 情報技術セキュリティ パッケージソフトウェア品質等の規格認証 2 開発コスト (+ 品質 納期 :QCD) 運用コスト オフショア開発の管理 見積もり根拠として活用等 6

機能安全に必要なトレーサビリティ要件 プロセス規定 要件 システムテスト 設計 実装 結合テスト 単体テスト プロセストレーサビリティ 開発成果物 変更管理構成管理トレーサビリティ 要件 システムテスト 変更記録 変更管理 設計 実装 TERAS 第 1 回成果報告会 機能安全に必要なトレーサビリティとは TERAS 技術委員会ヴィッツ森川聡久 http://www.teras.or.jp/?page_id=303 結合テスト 単体テスト 要件トレーサビリティ 構成管理 最新 復元 過去 7

トレーサビリティツールの課題 1. 様々なツールで成果物を作成している 2. 様々なツールで成果物を管理している 3. 顧客が使うツール 自社が使うツール 協力会社が使うツールがバラバラ 様々なツール開発力向上のためには今後も新しい技術 ( ツール ) に対応する必要がある トレーサビリティのために進化を止めるわけにはいかない 8

TERAS の特徴 1. 様々なツールで成果物を作成している 2. 様々なツールで成果物を管理している 3. 顧客が使うツール 自社が使うツール 協力会社が使うツールがバラバラ トレーサビリティ管理 9

TERAS の目指す姿 既存資産や既存環境をそのまま活用 ALM ALM(Application Lifecycle Management) Traceability Plug-in XXXX Plug-in XXXX Plug-in XXXX Plug-in REST (Representational State Transfer) OSLC (Open Services for Lifecycle Collaboration) REST OSLC OSLC TRA OSLC SCM OSLC CM OSLC EM Cloud Microsoft Office Traceability Repository TERAS-TRA Empirical Project Monitor Repository IPA Version Control Repository Subversion Bug Tracking Repository Trac MATLAB/Simulink EA ZIPC MS Office TERAS 提供予定 オープン提供 サードベンダー提供予定 オープン / サードベンダー提供予定 10

TERAS 機能紹介 ; TERAS へ登録 Excel の場合は行, 列, セル, 図形のテキスト単位で取り込まれます PDF の場合はユーザ指定の正規表現に従って項目を抽出します 行単位取り込みのイメージ Word の場合は章立ての単位で取り込まれます Power Point の場合はテキストボックスの行単位, および図形のテキスト単位で取り込まれます 例 ) 成果物取り込みのイメージ 11

TERAS 機能紹介 ; TERAS へ登録 12

TERAS 機能紹介 ; Enterprise Architecture 連携 アドオンメニューから登録 stm プリセットデータ モデル ダイアグラム 要素 要素 要素 要素 要素 13

TERAS 機能紹介 ; MATLAB/Simulink 連携 System Block Line の階層構造を取り込みます 名称が付与されていない Line は取り込み対象外とします取り込み要素は設定ファイルで絞り込み可能です mdlファイルも取り込み可能です 対応バージョン MATLAB 2008b / Simulink バージョン 7.2 他のバージョンでも基本構造が変わらないものは取り込み可能です System1 System1 Block1 Block2 Block1 Line1 SubSystem1 Block2 SubSystem1 Block3 SubSystem1 Block4 Block3 Line2 Block4 System Block Line の構造を取り込み Line1 Line2 14

TERAS 機能紹介 ; タグベースリンク ( 自動リンク ) 付与されている管理 ID タグ 自動でリンクを生成 15

TERAS 機能紹介 ; トレーサビリティ確認 指定した要素に対応する上流 下流の要素を検索表示 この改造は他の製品にも影響が 影響項目の一覧を作成 16

TERAS 機能紹介 ; トレーサビリティ確認 カバレッジ状況一覧を 1 クリックで作成 カバレッジ不足の最新状況を表示 何が足りないか一目でわかる 17

TERAS 機能紹介 ; トレーサビリティ確認 影響範囲検索の結果を CSV 出力 形式指定 CSV を雛形にスタート 18

TERAS 機能紹介 ; ソースコード取り込み ソースコード 設計書間のトレーサビリティ確保 設計書やテスト設計書等とソースコードをトレース可能 ソースコードの関数単位等で厳密な検証が可能となり 安全説明に役立つ 不具合発生時の影響範囲分析などが詳細に可能 サンプルソースコード テキストファイルであればトレース可能なため トレース対象の文書が増える 例えば XML や HTML テキストで書いた仕様書等 19

TERAS 機能紹介 ; CM 連携 (Trac,Redmine) Trac/Redmine( チケット ) がトレーサビリティ対象となる 要件カバレッジ TERAS リポジトリ トレーサビリティ 影響範囲検索 Trac/Redmine モデル チケットが取り込めるようになる 要求仕様書, 設計書 MATLAB/Simulink, EA, Visio 等 20

トレーサビリティイノベーション ( 起承転結 ) 仕様を変更したら 膨大なテスト費用の見積もりに 仕様を変更されて 膨大な工数が必要なのに 21

トレーサビリティイノベーション ( 起承転結 ) そのために トレーサビリティをとる! 22

トレーサビリティイノベーション ( 起承転結 ) トレーサビリティをとるのが面倒 23

トレーサビリティイノベーション ( 起承転結 ) レビューの IT 化 TERAS Traceability Repository レビュー時に TERAS でトレーサビリティをとる 24

ご清聴ありがとうございました Tool Environment for Reliable and Accountable Software 25 Copyright 2011 一般社団法人 TERAS All Rights Reserved.