IEC61508、ISO26262、DO-178B、MISRA、CERT などあらゆるスタンダードに対応する静的・動的解析〜要件トレーサビリティ
・静的・動的解析、テストケース & ドライバー生成、テスト管理機能の融合
・形式手法(フォーマルメソッド)の活用
・システムワイドにソースコードを静的解析、可視化
・動的解析結果をグラフィカルに可視化
・あらゆるコンパイラ・実行環境に対応(ホスト実行〜ターゲット)
・IEC61508、ISO26262、DO-178B、MISRA、CERT などあらゆるスタンダードに対応
開発ライフサイクルの検証作業を一貫してサポートし、テスト結果の要件に対するトレーサビリティ取得を自動化。35年以上に渡ってあらゆるスタンダード認証に最も実績があるテストツールであり、テスト賢者のノウハウが組込まれたツール。
|