モデル,テスト,コードの要求仕様のトレース

自動車,航空機器や医療機器などにおけるソフトウェアの依存度は年々高まっており,その複雑度も増加の一途を辿っています。これらの機器に組み込まれるソフトウェアに対しては高い安全性が求められますが,品質を高める施策として,仕様書とソフトウェア(コード)間のトレーサビリティを確保し,仕様からソースコードまでを追跡できるような仕組みが必要であると考えられています。ソフトウェアの開発においては,個々の成果物が相互に影響するのかどうか,独立しているのかどうかを判断できることが非常に重要であり,ソフトウェアに変更が加えられた際の影響を把握できるように,トレーサビリティを意識して開発を進めることが非常に重要となります。トレーサビリティを意識して作成された文書および成果物は上位文書との関連付けができているため,不整合や機能の不足などが減少し,結果として品質向上に繋がります。また,関連する文書の参照も容易となり,第三者によるレビューを実施しやすく,レビューの質と効率を向上させる効果も期待できます。

近年では,業界標準(自動車業界のISO 26262およびIEC 64508,商業航空の178 b,鉄道のEN 50128,医療のIEC 62304,およびCMMIや香料などの一般ソフトウェア開発規格)への準拠の観点からもトレーサビリティ管理の重要性はますます高まっています。

トレーサビリティマトリクスとは

このトレーサビリティを維持する手段として有効なのがトレーサビリティマトリクスです。トレーサビリティマトリクスでは要求仕様がどのように設計に盛り込まれ、該当するソースコードの場所や関数名などが一目でわかるように表としてまとめられます。一般的に、ソフトウェア開発において成果物はプログラミング言語で記述されたコードとなるため、仕様が定義された文書とは言語が異なるケースや、抽象度が異なるケースがあります。こういった場合、文書と成果物の管理することは困難ですが、トレーサビリティマトリクスを活用することにより、仕様書と成果物の関係が非常に解りやすくなります。

要求仕様 システム
設計書
詳細
設計書
ソースコードの場所 ファイル名 コード
関数
行番号 要件ソース

周波数
同期

美好的
亚足联

位相差検出 H: \工作…… rx2_fine_afc 一个 19 一个
通滤波器 H: \工作…… rx2_fine_afc b 43 B


亚足联

位相差検出 H: \工作…… rx2_coarse_afc c 63 C
通滤波器 H: \工作…… rx2_coarse_afc d 105. D

トレーサビリティマトリクスの例

トレーサビリティマトリクスにより可視化することで要求仕様からテストの仕様など関連ドキュメントまでの追跡,要求仕様から該当ソースコードまでの追跡を行うことが可能となり,要求仕様に追加変更が生じた場合でも影響範囲を容易に把握できるメリットがあります。

IEC 62304におけるトレーサビリティ管理の必要性

上述したように,ソフトウェア開発におけるトレーサビリティ管理の必要性は増しており,ソフトウェアの品質を証明するための一つの指標として用いられるようになってきました。以前は航空宇宙鉄道などソフトウェアの複雑度が高く厳格な品質管理が求められる産業で特に重要視されてきましたが,近年では様々なソフトウェア開発において広く用いられるようになっています。医療機器におけるソフトウェアもその一つで,IEC 62304に代表されるような医療機器ソフトウェアの安全性向上を目的としたIEC国際規格においても,トレーサビリティ管理が認証取得の要件となっています。医療機器は近年ソフトウェア起因のリコールが増加傾向にあり,多くの医療機器メーカーがこの国際規格であるIEC 62304の採用にシフトしてきています。

複雑化する医療機器のソフトウェア開発

このIEC 62304はソフトウェア開発プロセスに重点が置かれており,全ての医療機器ソフトウェアは開発ライフサイクル全体を通じて要件の管理とトレーサビリティ分析を行い,その記録が残されていることが要求されています。

金宝app仿真软件環境で実現するモデルベースデザインとトレーサビリティマトリクス

トレーサビリティマトリクスの活用をはじめ,トレーサビリティを意識した開発や管理はソフトウェアの品質向上に寄与する反面,作業工数の増加を伴います。ソフトウェア自体の複雑度も増加傾向にある中で,このようなトレーサビリティに代表されるような品質維持・向上への取り組みに要する工数も増加しており,従来主流であったプログラミング言語を手書きすることによる機器の開発は限界に近づきつつあります。

医療機器開発のプロセスにおける課題

自動車や航空宇宙,上述した医療機器などソフトウェアに対して高い品質と厳格な品質管理を要求する産業においては,モデルベースデザイン(モデルベース開発,MBD)による开启が主流になりつつあります。モデルベースデザインではますます言语言语言语ををず,エンジニアが直感的に理念しやすい図环境环境をを中心に开放を进めをし段阶全全のを可口ます,ターゲットハードウェアに実装配するためのコードにからからからからからから自动成する形となりなりなり,要求仕様の段阶から十検证れたモデルベースとして,エンジニアのスキルにしない再现のスキルに依存し再现の高度コード生成が可です。

モデルベースデザインとは

一方,トレーサビリティの観点でも多くの利点があり,モデルベースデザインを実現するための基本環境となる金宝app®は,要求仕様のトレーサビリティの効率的なリンク,解析,およびレポートを実行する機能を提供します。また,金宝app仿真软件需求™では,金宝app仿真软件環境で作成されたモデルの要求仕様のトレーサビリティを達成できます。具体的には以下を行うことができます。

  • 設計,テスト,および要求仕様情報を含むトレーサビリティレポートを単一のドキュメントに生成
  • 要求仕様にリンクしているモデル内のオブジェクトを強調表示し,外部要求仕様へのリンクを提供
  • モデル構造とリンク情報を,要求仕様管理リポジトリにエクスポート
  • 自动化APIを使使てユーザーワークフローでととををを

さらに,IEC认证工具包を使うことで,トレーサビリティマトリクスも自動生成することができます。

トレーサビリティマトリクスの自動生成

このように,モデルベースデザインを実現する金宝app仿真软件環境には様々なドキュメント,マトリクスを自動生成する機能が備わっており,コード自体の自動生成も含めて開発効率と品質向上に大きく貢献します。



用户故事

PTCインテグリティとのの合

IBM Rational DOORSとの統合

医療機器開発における取り組み・事例


软件参考

参考:形式検証/形式手法金宝app仿真软件的需求基于模型的测试金宝app仿真软件设计验证器