コード解析

コード解析

- Caseplayer2
CasePlayer2 は、ANSI準拠C言語、C++（※C++ 11/14対応）、組み込み向けC言語（非ANSI）を解析して、フローチャートなどのプログラム仕様書を作成するツールです。機能安全規格ISO 26262 / IEC 61508に準拠し、C言語コーディング規約「MISRA-C」のルールチェック機能を搭載。過去のソースコードのロジック解析や、仕様書作成作業を強力に支援します。
- SharedVariableChecker2
「SharedVariableChecker2」は、プログラム解析/仕様書作成ツール CasePlayer2 との連携で使用するツールで、Cソースを静的解析し、タスク、関数からの同一グローバル変数へのアクセスを可視化。変数の競合状態や関連性を図表化し、不具合リスク箇所の特定に寄与します。
- テストパートナーSQV
「テストパートナーSQV」は、「S=Speed Q=Quality V=Value」をコンセプトにした、組込みソフトの単体テストを中心としたテストサービスです。言語解析&テストツールメーカーとしての知見をベースに品質の高い検証サービスを提供します。自動車機能安全ISO 26262が要求するテスト水準のエビデンス、テストレポートの作成にも対応します。お客様からの要求に従い、短納期のテストに対応するための柔軟&迅速なグローバルリソース調達体制を持っています。テスト結果を納品するだけではなく、テストパートナーとして、お客様のテスト設計/コード設計の改善アドバイスを実施することも可能です。