組込みソフトウェア品質改善ソリューションソフトウェア要求仕様検証サービス～組込みソフトウェア開発の要求仕様フェーズを支援～ソフトウェア要求仕様書の抜け、漏れを形式的手法でチェックしますサービス概要１．形式手法を利用して、仕様記述のあいまいさを排除します。２．要求分析段階でテストケースを作成し、検査実行により、品質を確保します。３．テストケースの網羅性確認により、テスト品質を確保し、テスト工程で流用できます。４．形式仕様記述ツールや検証ツールの環境構築を行います。【サービス導入メリット】１．要求仕様のバグによる手戻りの回避２．要求仕様やテストケースの資産化サービス内容 ◆仕様整合検証自然言語のあいまいな記述を排除し、一意に解釈できる仕様を記述し、要求分析結果のあいまいさ、不整合を検出します。 ◆仕様品質検証検査仕様（テストケース）を作成し、Ｃ０網羅率を機械的に検証します。また、自工程内テスト、仕様変更時の回帰テストを実施します。開発プロセスソフトウェア要求仕様検証システムｱｰｷﾃｸﾁｬ設計仕様整合検証ソフトウェア要求分析仕様品質検証ソフトウェアｱｰｷﾃｸﾁｬ設計仕様を正確に伝えられるシステム結合テストソフトウェア詳細設計ソフトウェア総合テストソフトウェア結合テスト実装・単体テスト手戻りコスト削減テスト設計コスト削減総合試験結合試験外部審査単体試験開発コスト削減実装開発管理の最適化適応工程詳細設計ソフトウェア第三者検証開発ノウハウの資産化基本設計品質保証活動要求求仕仕様様要目的サービスの特長正確な仕様記述と正確な仕様記述と仕様伝達仕様伝達評価基準の明確化評価基準の明確化仕様誤りの早期発見仕様誤りの早期発見仕様記述言語を用いることによる、あいまいさのない、厳密な記述が可能。仕様が正確であるため、後工程担当者に対して、仕様を正確に伝達することが可能。仕様に対するテストケースを定義するため、仕様において何を検証すべきか？どこまで検証すべきか？を仕様段階で明確にすることが可能。仕様段階において、テストケースを用いたテストを実行するため、従来まで下流工程で発見されていた仕様バグを、仕様段階で早期に発見・修正することが可能。顧客貴社仕様策定チーム弊社仕様検証チーム提示、修正要求モデリング要求分析要求要求仕様ＱＡ要求（全体/一部）仕様策定仕様書作成あいまいさ、仕様抜けモレ、矛盾を排除仕様レビュー承認テストケース記述仕様検証フィードバック製品仕様提案製品仕様書仕様書（全体/一部）仕様記述仕様書製品仕様書テストケース価格価格：150万円～（税抜） ※ 最小作業期間は、１ヶ月となります。 ※ サービスの入力情報となる要件定義など各仕様・制約等につきましては、下記まで問い合わせください。 ※ 上記価格には、作業環境構築や環境操作教育などの契約は含まれておりません。別途契約が必要となります。サービスで使用する環境は、弊社で用意いたします。 ※掲載されている製品/サービス名称、社名、ロゴマークなどは該当する各社の商標または登録商標です。本製品・サービスに関するお問い合わせは下記までＳＣＳＫカスタマーセンター（SCSKの製品・サービスに関するお問い合わせ受付窓口）０８００－５００－４０００（無料）受付時間／月～金９:００～１８:００（祝日、年末年始、当社指定日を除く） ※携帯電話でのお問い合わせ TEL:０３-６６７０-２９９０ □豊洲本社 □青山オフィス □西日本千里オフィス □西日本北浜オフィス □中部丸の内オフィス □中部栄オフィス □九州オフィス http://www.scsk.jp/ 〒135-8110 〒107-0062 〒560-0083 〒541-0041 〒460-0002 〒460-0003 〒812-0011 東京都江東区豊洲3-2-20 豊洲フロント東京都港区南青山2-26-1 SCSK青山ビル大阪府豊中市新千里西町1-2-2 住友商事千里ビル大阪府大阪市中央区北浜1-8-16 大阪証券取引所ビル愛知県名古屋市中区丸の内3-5-10 住友商事丸の内ビル愛知県名古屋市中区錦3-25-11 ニッセイ村瀬ビル福岡県福岡市博多区博多駅前3-30-23 博多管絃ビル TEL：03-5166-2500 TEL：03-6438-3901 TEL：06-6833-2600 TEL：06-6223-8800 TEL：052-951-0396 TEL：052-954-8481 TEL：092-472-5800 ［2012年 4月現在］