要求仕様検証ツール『STIMULUS』がSCADE Test向けテストケースの自動生成に対応

要求仕様検証ツール『STIMULUS』が、ANSYS社製モデルベース統合開発環境SCADEのSCADE Test向けテストケースの自動生成に対応いたしました。

『STIMULUS』は、実装前に要求仕様の矛盾・漏れの発見や、要求仕様の検証を行うテストケースを自動生成することができる、要求仕様のシミュレーションおよび検証用ツールです。

『STIMULUS』のテストケース自動生成機能を利用することで、SCADE Testのユーザは、要求仕様通りにモデルが作成されているかを検証するテストケースを、これまでのように手動で作成することなく『STIMULUS』から自動で生成し、SCADE Test上で実施することが可能になります。

【製品紹介】

要求仕様検証ツール STIMULUS

ANSYS社 SCADE （アンシス・ジャパン株式会社のWEBサイト）