ソフトウェア開発支援
IR情報 会社情報

すべての製品

  • CERT-Cコンプライアンスモジュール
    1

    CERT-Cコンプライアンスモジュール
    Programming Research Ltd.

    CERT-Cコンプライアンスモジュールは、自動車関連企業をはじめとする多くのお客様に採用されているQA·Cにアドオンして使用するオプションソフトウェア(有償)です。

    C言語のセキュアコーディング規格であるCERT-Cに対するソースコードの適合度を自動で評価します。
     

  • CWE-Cコンプライアンスモジュール
    1

    CWE-Cコンプライアンスモジュール
    Programming Research Ltd.

    CWE-Cコンプライアンスモジュールは、自動車関連企業をはじめとする多くのお客様に採用されているQA·Cにアドオンして使用するオプションソフトウェア(有償)です。

    CWE(共通脆弱性タイプ一覧)対応ツールとして認証されているおり、CWEタイプに属するソースコードの脆弱性を検出し、開発者がセキュアなソースコードを書く支援をします。

  • C++言語用ソースコード静的解析ツール QA・C++
    1

    C++言語用ソースコード静的解析ツール QA・C++
    Programming Research Ltd.

    QA·C++は、C++言語ソースコード用の静的解析ツールです。
    プログラムを実際に動作させることなく、ソースコード全体を詳細に解析し、不具合を発生させる箇所 / 保守性を損ねる箇所 / 移植性を損ねる箇所などの検出や複雑度の数値化を行い、品質改善に役立てて頂くことができます。

  • MISRA-C++コンプライアンスモジュール QA・MISRA for C++
    1

    MISRA-C++コンプライアンスモジュール QA・MISRA for C++
    Programming Research Ltd.

    QA·MISRA (MISRA-C++コンプライアンスモジュール)は、自動車関連企業をはじめとする多くのお客様に採用されているQA·C++にアドオンして使用するオプションソフトウェア(有償)です。
    MISRA-C++コーディング規約に適合しているかどうかを評価し、規約に違反している箇所に対して、該当するルール番号を示すなどの支援をします。

  • CERT-C++コンプライアンスモジュール
    1

    CERT-C++コンプライアンスモジュール
    Programming Research Ltd.

    CERT-C++コンプライアンスモジュールは、自動車関連企業をはじめとする多くのお客様に採用されているQA·C++にアドオンして使用するオプションソフトウェア(有償)です。

    C++言語のセキュアコーディング規格であるCERT-C++に対するソースコードの適合度を自動で評価します。
     

  • NEW

    CWE-C++コンプライアンスモジュール
    1

    CWE-C++コンプライアンスモジュール
    Programming Research Ltd.

    CWE-C++コンプライアンスモジュールは、自動車関連企業をはじめとする多くのお客様に採用されているQA·C++にアドオンして使用するオプションソフトウェア(有償)です。

    CWE(共通脆弱性タイプ一覧)対応ツールとして認証されているおり、CWEタイプに属するソースコードの脆弱性を検出し、開発者がセキュアなソースコードを書く支援をします。

  • AUTOSAR C++コンプライアンスモジュール
    1

    AUTOSAR C++コンプライアンスモジュール
    Programming Research Ltd.

    AUTOSAR C++コンプライアンスモジュールは、自動車関連企業をはじめとする多くのお客様に採用されているQA·C++にアドオンして使用するオプションソフトウェア(有償)です。

    ソースコードがAUTOSAR C++コーディングガイドラインに適合しているかどうかを評価し、ガイドラインに違反している箇所に対して、該当するルール番号を示すなどの支援をします。

  • ソースコードレビュー支援ツール Helix QAC Dashboard(旧 QA・Verify)
    1

    ソースコードレビュー支援ツール Helix QAC Dashboard(旧 QA・Verify)
    Programming Research Ltd.

    Helix QAC Dashboard(旧 QA・Verify)は、静的解析したソースコードの情報をWebベースで共有し、コードレビューを支援するためのツールです。

  • IEC 61508認証支援用セーフティマニュアル
    1

    IEC 61508認証支援用セーフティマニュアル
    Programming Research Ltd.

    IEC 61508認証支援用のセーフティマニュアルです。 IEC 61508 Part 3に準拠したソフトウェア開発を行う上での「QA・CとMISRA-Cコンプライアンスモジュール」「QA・C++とMISRA-C++コンプライアンスモジュール」および「QA・C++とAUTOSAR C++コンプライアンスモジュール」の使用方法とツールがサポートできる範囲を説明したドキュメントです。

  • ISO 26262認証支援用セーフティマニュアル
    1

    ISO 26262認証支援用セーフティマニュアル
    Programming Research Ltd.

    ISO 26262認証支援用のセーフティマニュアルです。 ISO 26262 Part 6に準拠したソフトウェア開発を行う上での「QA・CとMISRA-Cコンプライアンスモジュール」「QA・C++とMISRA-C++コンプライアンスモジュール」および「QA・C++とAUTOSAR C++コンプライアンスモジュール」の使用方法とツールがサポートできる範囲を説明したドキュメントです。

  • QAC連携 C言語用品質診断ツール eXquto
    1

    QAC連携 C言語用品質診断ツール eXquto
    株式会社エクスモーション

    ソースコード品質診断ツール「eXquto(エクスキュート)」は、お客様のソースコードの「設計・実装品質の良し悪し」を診断するツールです。

  • Simulinkモデル用品質診断ツール MODEL EVALUATOR
    1

    Simulinkモデル用品質診断ツール MODEL EVALUATOR
    株式会社エクスモーション

    MODEL EVALUATORはSimulinkモデルの品質を診断(定量化・可視化)するツールです。

  • ソフトウェア開発設計支援ツール astah*
    1

    ソフトウェア開発設計支援ツール astah*
    株式会社チェンジビジョン

    astah* は、ソフトウェア開発で活用されている UML, ER図, DFD, CRUDなどの図を軽快な操作でモデリングする設計支援ツールです。

PAGE TOP

本ウェブサイトではサイト利用の利便性向上のために「クッキー」と呼ばれる技術を使用しています。サイトの閲覧を続行されるには、クッキーの使用に同意いただきますようお願いいたします。詳しくはプライバシーポリシーをご覧ください。