製品・サービス

組込みソフトウェア品質改善ソリューション
ソフトウェア要求仕様検証サービス


組込みソフトウェア開発の要求仕様フェーズを支援

お客様の課題

  • 従来の「仕様記述のあいまいさ」を排除し、要求仕様の漏れ、不整合を検出できる仕組み作り。
  • 要求仕様不良を、システムテスト工程まで待つことなく、早い段階で検出できる仕組み作り。
  • ツールを活用する場合の導入コスト低減。

サービス概要

形式手法を活用した要求仕様書の記述内容の品質向上を支援します。

  • 1.形式的手法を利用して、仕様記述のあいまいさを排除します。
  • 2.要求分析段階でテストケース作成し、検査実行により、品質を確保します。
  • 3.テストケースの網羅性確認により、テスト品質を確保し、テスト工程で流用できます。
  • 4.形式仕様記述ツールや検証ツールの環境構築を行います。

組込みソフトウェア・トータルソリューション ソフトウェア要求仕様検証サービス概要図

適用業務・提供サービス

組込みソフトウェア開発の要件定義

特長・機能

◆仕様整合検証

 自然言語のあいまいな記述を排除し、一意に解釈できる仕様記述し、要求分析結果のあいまいさ、不整合を検出します。

◆仕様品質検証

 検査仕様(テストケース)を作成し、C0網羅率を機械的に検証します。また、自工程内テスト、仕様変更時の回帰テストを実施します。

組込みソフトウェア・トータルソリューション ソフトウェア要求仕様検証サービス特長・機能

導入のメリット・効果

  • 要求仕様のバグによる手戻りの回避。
  • 要求仕様やテストケースの資産化。

関連するトピックス

※ 記載されている製品/サービス名称、社名、ロゴマークなどは該当する各社の商標または登録商標です。

お問い合わせ・資料請求

ご質問、ご相談、お見積もりの依頼などお気軽にお問い合わせください。

お問い合わせフォーム

サービスに関するお問い合わせ

ご質問、ご相談、お見積もりの依頼などお気軽にお問い合わせください。

お問い合わせフォーム

車載システム事業への取り組み