• 検索結果がありません。

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

N/A
N/A
Protected

Academic year: 2021

シェア "TERAS とは Tool Environment for Reliable and Accountable Software Open Traceability Tool Platform 2"

Copied!
25
0
0

読み込み中.... (全文を見る)

全文

(1)

TERAS V3 オープントレーサビリティツールプラットフォーム

高品質開発のためのトレーサビリティマネジメント

Tool Environment for Reliable and Accountable Software

一般社団法人TERAS

2014/11/19

(2)

TERASとは

T

ool

E

nvironment for

R

eliable and

A

ccountable

S

oftware

(3)

一般社団法人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)  一般社団法人コンピュータソフトウェア協会(CSAJ) パッケージソフトウェア品質認証制度  一般社団法人実践的プロジェクトマネジメント推進協会(PPMA) EPM-Xツール(定量的計測)との連携  独立行政法人情報処理推進機構(IPA) TERASを活用した評価(レポートあり: http://sec.ipa.go.jp/reports/20130215-2.html )  産業技術総合研究所  TIDAコンソーシアム など 事例タイトル 講演者 - ロボット分野における適用事例 - 「電動車椅子ロボット開発へのTERAS活用」 産業技術総合研究所 中坊 嘉宏 様 - 鉄道分野における適用事例 - 「トレーサビリティを用いた成果物の品質向上とその評価」 産業技術総合研究所 田口 研治 様 - 情報通信分野における適用事例 - 「ソフトウェア要求分析から詳細設計までシームレスにつ なぐ開発プロセス」 三菱スペース・ソフトウエア 株式会社 藤原 啓一 様 - ロボット分野における適用事例 - 「ロボットの安全のためのトレーサビリティ」 産業技術総合研究所 水口 大知 様 http://www.teras.or.jp/?page_id=303 ※ TERASホームページから講演資料をダウンロード可能

 TERAS事例紹介

(4)

背景 ソフトウェア産業を取り巻く環境 ①

トレーサビリティの必要性 ~規格~

文書

記述

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 システム・アーキテクチャ設計書の内部確認

・システムを構成する機能ブロックの分割が適切であり、

システム要求で求められる事項が実現可能かどうか

(トレーサビリティの確認)

・システム要求やテスト仕様との対応

(トレーサビリティ

が取れているか。

(5)

背景 ソフトウェア産業を取り巻く環境 ②

トレーサビリティの必要性 ~事例~

JR東日本や東京メトロなどの8都県662駅

自動改札機と窓口処理機で

同一のプログラム・ミス

で不具合再発

①2007/10/12

「自動改札機起動せず260万人に影響」

中央コンピュータからのデータをICカードに書き込む

プログラムにミス

②2007/10/18

「PASMO-Suica 65駅の窓口処理機で異常発生」

10月12日の自動改札機と

同一のプログラム・ミス

みずほ銀行が大規模システム障害

2011年3月14日、義援金振り込み集中をきっかけに、店舗でのサービス停止、ATMの

取引停止などを連発。銀行統合によるシステム統合時の人為的

プログラム・ミス

と、

人手作業に依存するシステム運用管理

が原因。

(6)

トレーサビリティが解決する課題

機能安全、情報技術セキュリティ、

パッケージソフトウェア品質等の規格認証

開発コスト(+品質、納期:QCD)

→ 運用コスト

→ オフショア開発の管理

→ 見積もり根拠として活用 等

(7)

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

過去 要件 設計 実装 単体 テスト 結合 テスト システム テスト

プロセス規定

要件 設計 実装 単体 テスト 結合 テスト システム テスト

開発成果物

TERAS第1回成果報告会 「機能安全に必要なトレーサビリティとは」 TERAS技術委員会 ヴィッツ 森川聡久 http://www.teras.or.jp/?page_id=303

プロセストレーサビリティ

要件トレーサビリティ

変更記録 変更 管理 構成管理 復 元 最新

変更管理

構成管理

トレーサビリティ

(8)

トレーサビリティツールの課題

1.様々なツールで成果物を作成している

2.様々なツールで成果物を管理している

3.顧客が使うツール、自社が使うツール、

協力会社が使うツールがバラバラ

■様々なツール

開発力向上のためには

今後も新しい技術(ツール)に対応する必要がある。

トレーサビリティのために進化を止めるわけにはいかない。

(9)

TERASの特徴

1.様々なツールで成果物を作成している

2.様々なツールで成果物を管理している

3.顧客が使うツール、自社が使うツール、

協力会社が使うツールがバラバラ

トレーサ ビリティ 管理

(10)

TERASの目指す姿

Cloud

ALM

ALM(Application Lifecycle Management)

TERAS提供予定

Traceability Repository TERAS-TRA

OSLC (Open Services for Lifecycle Collaboration)

OSLC REST

REST (Representational State Transfer)

Traceability Plug-in

XXXX

Plug-in

XXXX

Plug-in

XXXX

Plug-in

オープン/サードベンダー提供予定 Version Control Repository Subversion オープン提供 サードベンダー提供予定 MATLAB/Simulink EA ZIPC MS Office Bug Tracking Repository Trac Empirical Project Monitor Repository IPA Microsoft® Office OSLC TRA OSLC EM OSLC SCM OSLC CM

(11)

TERAS機能紹介; TERASへ登録

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

(12)
(13)

TERAS機能紹介; Enterprise Architecture連携

s t m プ リセットデ ー タ モデ ル 要素 要素 要素 ダイアグラム 要素 要素

アドオンメニューから

登録

(14)

TERAS機能紹介; MATLAB/Simulink連携

System、Block、Line の階層構造を取り込みます

 名称が付与されていない Line は取り込み対象外とします  取り込み要素は設定ファイルで絞り込み可能です  mdlファイルも取り込み可能です 

対応バージョン

 MATLAB 2008b / Simulinkバージョン7.2  他のバージョンでも基本構造が変わらないものは取り込み可能です System1 SubSystem1 Line2 Block1 Block2 Block3 Block4 Line1 System1 Block1 SubSystem1 Block2 SubSystem1 Block3 Block4 Line1 Line2 System、Block、 Line の 構造を取り込み

(15)

TERAS機能紹介; タグベースリンク(自動リンク)

付与されている

管理ID・タグ

自動で

リンクを生成

(16)

TERAS機能紹介; トレーサビリティ確認

影響項目の一覧を作成

指定した要素に対応する

上流・下流の要素を検索表示

この改造は 他の製品にも影響が

(17)

TERAS機能紹介; トレーサビリティ確認

何が足りないか

一目でわかる

カバレッジ不足の

最新状況を表示

カバレッジ状況一覧を

1クリックで作成

(18)

TERAS機能紹介; トレーサビリティ確認

影響範囲検索の

結果をCSV出力

形式指定

CSVを雛形に

スタート

(19)

TERAS機能紹介; ソースコード取り込み

ソースコード ⇔ 設計書間のトレーサビリティ確保

設計書やテスト設計書等とソースコードをトレース可能

ソースコードの関数単位等で厳密な検証が可能となり、安全説明に役立つ

不具合発生時の影響範囲分析などが詳細に可能

テキストファイルであればトレース可能なため、トレース対象の文書が増える

 例えば、XMLやHTML、テキストで書いた仕様書等 サンプルソースコード

(20)

TERAS機能紹介; CM連携(Trac,Redmine)

Trac/Redmine(チケット)がトレーサビリティ対象となる

トレーサビリティ 要件カバレッジ 影響範囲検索 Trac/Redmine モデル TERAS リポジトリ 要求仕様書, 設計書…

MATLAB/Simulink, EA, Visio等

チケットが

取り込める

ようになる

(21)

トレーサビリティ イノベーション(

承転結)

仕様を変更したら、

膨大なテスト費用の見積もりに。。。

仕様を変更されて、

(22)

トレーサビリティ イノベーション(起

転結)

そのために

(23)

トレーサビリティ イノベーション(起承

結)

(24)

TERAS

Traceability

Repository

トレーサビリティ イノベーション(起承転

レビューのIT化

レビュー時にTERASでトレーサビリティをとる。

(25)

Tool Environment for Reliable and Accountable Software

ご清聴ありがとうございました。

参照

関連したドキュメント

Goal of this joint work: Under certain conditions, we prove ( ∗ ) directly [i.e., without applying the theory of noncritical Belyi maps] to compute the constant “C(d, ϵ)”

0.1. Additive Galois modules and especially the ring of integers of local fields are considered from different viewpoints. Leopoldt [L] the ring of integers is studied as a module

It is also aimed to bring out the effect of body acceleration, stenosis shape parameter, yield stress, and pressure gradient on the physiologically important flow quantities such as

These upper right corners are hence the places that are responsible for the streets of these lower levels, on these smaller fields (which again are and remain blocks).. The next

In this diagram, there are the following objects: myFrame of the Frame class, myVal of the Validator class, factory of the VerifierFactory class, out of the PrintStream class,

In the operator formalism, we study how to make noncommutative instantons by using the ADHM method, and we review the relation between topological charges and noncommutativity.. In

Under some mild conditions on the coefficients and pathwise uniqueness, we prove that every diffusion process associated to a relaxed control is a strong limit of a sequence of di ff

When making early preplant surface applications (15 to 45 days prior to planting), use a tank mix of Satellite HydroCap herbicide with other herbicides registered for use in a