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

ソフトウェア静的解析

  • 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コーディング規約に適合しているかどうかを評価し、規約に違反している箇所に対して、該当するルール番号を示すなどの支援をします。

  • 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++コーディング規約に適合しているかどうかを評価し、規約に違反している箇所に対して、該当するルール番号を示すなどの支援をします。

  • ソースコードレビュー支援ツール QA・Verify
    1

    ソースコードレビュー支援ツール QA・Verify
    Programming Research Ltd.

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

  • IEC61508用QA・C/C++認証パッケージ
    1

    IEC61508用QA・C/C++認証パッケージ
    Programming Research Ltd.

    IEC61508向けの「セーフティマニュアル」です。
    「セーフティマニュアル」では、IEC61508に準拠した開発を行う上での“QA·C/C++”および“対応するMISRA-C/C++適合度評価モジュール”の適用方法をご確認頂くことができます。

     

  • ISO26262用QA・C/C++認証パッケージ
    1

    ISO26262用QA・C/C++認証パッケージ
    Programming Research Ltd.

    ISO26262向けの「セーフティマニュアル」です。
    「セーフティマニュアル」では、ISO26262に準拠した開発を行ううえでの“QA・C/C++”および“対応するMISRA-C/C++適合度評価モジュール”の適用方法をご確認頂くことができます。

     

PAGE TOP