(株)ベリサーブ【3724】の掲示板 〜2015/04/15

JAXAのIV&V活動の技術研究に参画中


当社は、独立行政法人宇宙航空研究開発機構（JAXA）に対して、当社が独自に持つ検証フレームワークや検証プロセスを提供することにより「ソフトウェア独立検証及び有効性確認（IV&V）」の有効性を高める技術研究に参画しています。
　JAXAは、宇宙機など特に高い信頼性を求められるシステムに対して、｢ソフトウェアIV&V（注）｣を適用し、その有効性を明確にし、産業界への普及を促進する活動を行なっています。
　当社では、JAXAで実施されているソフトウェアIV&V活動の技術研究、具体的には「GSN（Goal Structure Notation）を用いたIV&V検証戦略の構築手法及び評価手法の検討」、「ロバスト性評価技術の構築」、「独立試験ケースによる評価手法の確立」のテーマにおいて、当社の検証フレームワーク／プロセスである「システムテスト・カテゴリー」、「VS Method」、及び「D-Case適用実績」などを適用しながら技術研究に参画しています。

　これまでの活動実績としては、次のようなものがあります。

・宇宙機ソフトウェアの検証プロセスを評価・分析し検証手法の改善提案
・当社が保有している不具合分析手法と、JAXAが提供する不具合分析手法の比較分析を行い、不具合分析手法の改善提案
・当社が保有している保証ケース、要求記述表、要求逸脱表等を用いたテスト十分性の適用手法を、他の事例に適用できるよう手順書の作成

　今後もJAXAにおける技術研究を加速させるため、当社の技術を結集して継続的に参画していきます。