リリース日: 2016年11月14日

Parasoft Development Testing Platform (DTP) と DTP Engine for C/C++/.NET/Java の最新リリースは、ソフトウェア品質プロセスを継続的に改善する Parasoft の革新的アプローチをベースに開発されています。本リリースには、「コードの変更によるリスクを深く可視化する新しい機能」や、「テストの作成と保守を改善する、Java 開発者のための新しい単体テスト インターフェイス」、そして「自動車ソフトウェア品質のサポートの拡張」が含まれます。  また、UI の拡張、ウィジェットの更新、受賞歴のある Process Intelligence Engine (PIE) の改善なども実施されました。 


このリリースに関する情報:

継続的デリバリー環境での変化

企業や組織が継続的ソフトウェア デリバリー プラットフォームを実装するにつれ、長期間に集積されたデータに基づく従来のレポート メカニズムはその存在意義を失いました。リリース速度がますます早くなる今日、ビルド間でのインクリメンタルな変更が招くリスクを理解することは非常に重要です。カバレッジの変更とテストのリグレッションの変更を直ちに可視化すること、そして再実行が必要なテストをすぐに特定できることが求められます。本リリースでの更新は、リスクを低減してソフトウェア デリバリーを加速するために、ユーザーがこれらの変更を理解し、解決が必要な問題を特定するのを助けます。 

ビルド単位での静的解析違反の確認と比較

本リリースは、ビルドに基づいてデータを参照および比較する概念を拡張し、新規、修正済み、既存の静的解析違反で直ちに差分を確認できるようになりました。その結果、SDLC の早い段階でより効率的に欠陥の可能性に対応できるだけでなく、違反と変更の相互関係を比較して、欠陥が紛れ込んだコード部分をピンポイントで特定できます。 

PIE スライスの変更ベースのテストに対する更新

Parasoft のアプリケーション カバレッジ技術は、単体テスト、機能テスト、および手動テストの手法をまたがって、テスト結果とカバレッジ結果の連係を可能にします。このアプリケーション カバレッジ技術を基盤として、変更ベースの PIE スライスが改善されました。

  • Change-based Testing: このスライスは、コード ベースの変更を解析し、それらの変更とテスト メトリクスとの相互関係を比較して、再実行が必要なテストを特定します。解析の出力は複数の形式で表示できます (円グラフ、表レポート。CSV データとして、または DTP のテスト エクスプローラーにダウンロード可能 )。また、データとポリシーに基づいて、再テストに優先順位を付けることができます。
  • Risky Code Changes: このスライスは、Test Deficit、Maintenance Burden、Quality Debt に基づいて、コードの変更に関連するリスクを計測します。メトリクスは複数の形式で DTP に表示されます (円グラフ、バブル チャート、ヒート チャート、表レポート)。
  • Untested Changes: このスライスは、ベースラインに対して、ビルド中の変更されたコード行のカバレッジ データを解析し、変更に基づいてカバレッジ ギャップをレポートします。このスライスは、新機能の実装など、コードの変更に関連するテスト スコープを減らすのに役立つため、テスターはカバーされてないコードを集中的にテストでき、テスト効率を上げることができます。また、テストされていない変更に関連するリスクの追跡記録を管理する上でも役立ちます。 

PIE スライスや他の Parasoft ソリューションの拡張は Parasoft Marketplace からダウンロードすることができます。

Coverage Agent Manager (CAM)

CAM は、テスト対象アプリケーションの手動テストの実行中に、カバレッジ データとテスト結果の収集をコントロールするための Web インターフェイスを提供します。また、Web インターフェイスに加えて、サード パーティのテスト フレームワーク (Selenium など) からのコード カバレッジとテスト データの統合をモニタリングできる REST API も提供します。 

Coverage Agent Manager および REST API を利用した CAM の拡張と統合は、Parasoft Marketplace からダウンロードすることができます。

Java Web アプリケーションのマルチセッション アプリケーション カバレッジ

Java アプリケーション カバレッジ エンジン (Jtest DTP Engine) が拡張され、同じアプリケーション サーバーに同時アクセスしている複数ユーザーの固有のカバレッジを追跡できるようになりました。  たとえば、複数の QA エンジニアが同じ Web アプリケーション サーバーにアクセスし、並行テストを実行できます。そして、カバレッジ エージェントはどのカバレッジをどのサーバーに関連付けるかを判断できます。 

開発者のためのデスクトップ エクスペリエンスの向上

開発者が望むのはコードを作成することです。作業スピードを低下させるツールやプロセスが増えて負担を背負うことではありません。本リリースでは、開発者が欠陥のないソフトウェアを迅速に作成することを可能にする、以下の IDE ベースの機能と拡張が導入されました。

Java 対応の単体テスト アシスタント

アジャイルへの転換は、そもそも反復的開発手法の採用によって得られたメリットをなくす恐れがある、単体テストに関連した困難な問題を増やしました。

  • リソースという点で、単体テストの作成と保守は高コストです。テストを構築し、コードの拡張に伴ってテストを更新するには、技術知識がありコードを理解できる人間が必要です。
  • 単体テストは、ユーザー ストーリーのコンテキストがない状態で実行されることも少なくありません。テストから要件へのトレーサビリティがなければ、意図された機能をテストが検証しているかどうか、完全に安心することはできません。
  • 保守されていないテスト、あるいは拙劣に構築されたテストは、動作に一貫性がなく、環境に大きく依存する場合があります。その結果、コードが拡張するにつれて、テストによって不安定さがリグレッションに入り込む可能性があり、継続的な環境で確実にテストを実行することが不可能になります。

Jtest 対応の単体テスト アシスタント (Unit Test Assistant、略して UTA)a は、有用で保守可能な単体テストの作成を支援し、これらの問題を解決します。単体テスト アシスタントは、単体テストの作成時間を削減するだけでなく、そのインターフェイスによって、これまで開発者の専門知識を必要としていた技術的障壁を取り払います。

単体テストを作成する負荷を軽減するのに加えて、単体テスト アシスタントは実際に既存のテストを解析し、問題の可能性 (たとえば安定性の問題など) を一掃します。単体テストモニタリングの機能は、環境に大きく依存するテストを特定するのに役立ちます。その結果、テスト チームはテストを改善し、常に単独でテストを実行できます。さらに、単体テスト アシスタントを使用すると、テストの実行中にオブジェクトを追跡することができるため、観察されたオブジェクトの変化に対してアサーションを生成できます。

継続的品質アシスタント (Continuous Quality Assistant)

継続的品質アシスタントは、開発者が直ちにフィードバックを得ることを可能にします。完全な分析を実行する前に、継続的品質アシスタントは、ファイルを開いたり保存したりといったアクションを開発者が行ったときにコードを分析します。継続的品質アシスタントは、テスト コンフィギュレーションで設定されているとおりに、目的とする高パフォーマンスのルールを実行し、分析によるオーバーヘッドを低く抑えます。

自動車ソフトウェアの品質の拡張サポート

自動車ソフトウェアの品質と安全を最重視する点に注力する姿勢が業界の注目を浴びる中、Parasoft は C/C++ アプリケーションに貢献する拡張を継続します。

静的解析で完全に MISRA C:2012 に対応

DTP Engine for C/C++ に同梱の静的解析ルールが更新され、MISRA C:2012 規格に完全に対応しました。2016 年 5 月に出された Amendment 1 にも完全に対応しています。

マーケットプレースにも新しい MISRA 認定キットが追加されました。MISRA 認定キットは、レポートの一元管理を目的とした、DTP Engine と DTP Server のための構成を提供します。この認定キットには回帰テストと付属ドキュメントが含まれます。これは、たとえば ISO 26262 準拠のための静的解析ルールを適用するときなどに、MISRA C:2012 の使用を検証するのに役立ちます。

新しいマーケットプレース拡張

DTP Engine の更新に加えて、トレーサビリティ レポート DTP ワークフローを導入しました。トレーサビリティ レポートのウィジェットは、要件がどの程度実装およびテストされているかを理解するのに役立ちます。 

その他の更新と拡張

DTP

  • ダッシュボード ウィジェットと違反エクスプローラーで、静的解析違反と抑制の両方を表示 
  • 新しいメトリクスのサポート: METRIC.DIF - ネストされた If 文の深さ
  • DTP テスト コンフィギュレーション UI でのルールマップのサポートの拡張
  • 違反、ルール、ファイルに対応した DTP REST API v1.2
  • Oracle 12c および MySQL 5.7 のサポート
  • JRE 8 と Tomcat 8 の同梱
  • DTP フィルターの "ソース管理" 属性が非推奨になりました。ソース管理が設定された既存の DTP フィルターはこの設定を使用し続けますが、新しいフィルターにはソース管理設定のためのオプションは表示されません。DTP Engine のソース管理設定への影響はありません。

DTP Engine

  • C/C++test: MISRA C:2012 の新規ルール (下記の「新規および更新されたコード解析ルール」を参照。
  • C/C++test: Modern C++ 規格 (C++11、C++14、C++17) のサポートの拡張。専用の静的解析ルールとテスト コンフィギュレーションを含む。
  • C/C++test: CppUTest 単体テスト フレームワークの実行とカバレッジ分析のサポートが追加。
  • DTP テスト コンフィギュレーション UI でのルール パラメータライズの改善。
  • HTML レポートと DTP でのエラーおよびセットアップの問題のレポートが改善。

追加または更新された解析ルール 

ルール ID

説明

Engine

CODSTA-MCPP-01

ユーザー定義の変換を行うキャスト演算子は explicit にするべきである

C/C++test

CODSTA-MCPP-02

typedef ではなくエイリアス宣言を使用する

C/C++test

CODSTA-MCPP-03

スコープなしの列挙型ではなく、スコープ付きの列挙型を使用する

C++test

CODSTA-MCPP-04

NULL または 0 (ゼロ) ではなく nullptr を使用する

C/C++test

CODSTA-MCPP-05

オーバーライド関数に override を指定して宣言する

C/C++test

CODSTA-MCPP-06_a

クラスのコピーを防ぐため、コピー コンストラクターおよびコピー代入演算子に delete を指定して宣言する

C/C++test

CODSTA-MCPP-06_b

クラスのコピーを防ぐため、private メソッドを持つ基底クラスを使用するのではなく、コピー コンストラクターおよびコピー代入演算子に delete を指定して宣言する

C/C++test

CODSTA-174_a_c90

プログラムは規格によって定められた翻訳限界を超えてはならない (c90)

C/C++test

CODSTA-174_a_c99

プログラムは規格によって定められた翻訳限界を超えてはならない (c99)

C/C++test

CODSTA-174_b_c90

プログラムは規格によって定められた翻訳限界を超えてはならない (c90)

C/C++test

CODSTA-174_b_c99

プログラムは規格によって定められた翻訳限界を超えてはならない (c99)

C/C++test

CODSTA-175_a

関数は未使用の型宣言を持つべきではない

C/C++test

CODSTA-175_b

ソース ファイルは未使用の型宣言を持つべきではない

C++test

CODSTA-176_a

関数は未使用のローカル タグ宣言を持つべきではない

C/C++test

CODSTA-176_b

ソース ファイルは未使用のタグ宣言を持つべきではない

C/C++test

CODSTA-177

ソース ファイルは未使用のマクロ宣言を持つべきではない

C/C++test

CODSTA-178

外部識別子は区別できなければならない

C/C++test

CODSTA-179_a_c90

ファイル スコープおよび同じ名前空間で宣言された識別子は区別できなければならない (c90)

C/C++test

CODSTA-179_a_c99

ファイル スコープおよび同じ名前空間で宣言された識別子は区別できなければならない (c99)

C/C++test

CODSTA-179_b_c90

同じブロック スコープおよび同じ名前空間で宣言された識別子は区別できなければならない (c90)

C/C++test

CODSTA-179_b_c99

同じブロック スコープおよび同じ名前空間で宣言された識別子は区別できなければならない (c99)

C/C++test

CODSTA-180

外部リンケージを持つオブジェクトや関数はユニークでなければならない

C/C++test

CODSTA-181

+、-、+= および -= 演算子をポインター型の式に適用するべきではない

C++test

CODSTA-182

sizeof 演算子のオペランドは「配列型」として宣言された関数のパラメーターであってはならない

C/C++test

CODSTA-183

標準ライブラリ関数 memcmp、memmove および memcmp へのポインター引数は、互換性のある型の修飾付きおよび修飾なし版へのポインターでなければならない

C/C++test

CODSTA-184

標準ライブラリ関数 memcmp へのポインター引数は、ポインター型、実質的な signed 型、実質的な unsigned 型、実質的なブール型、または実質的な列挙型を指していなければならない

C/C++test

CODSTA-185_a

標準ライブラリ関数 localeconv、getenv、setlocale または strerror から返されたポインターは、const 修飾された型へのポインターとしてだけ使用する

C/C++test

CODSTA-185_b

lconv 構造体のメンバーによって指し示される文字列を変更してはならない

C/C++test

CODSTA-186

指定された初期化子が配列オブジェクトの初期化に使用されている場合、配列のサイズを明示的に指定する必要がある

C/C++test

BD-API-BADPARAM

ライブラリ関数に誤った値を渡してはならない

C/C++test

BD-API-CTYPE

ctype.h ライブラリ関数に誤った値を渡してはならない

C++test

BD-API-STRSIZE

string.h の関数に渡される size_t 引数には適切な値がなければならない

C/C++test

BD-API-VALPARAM

ライブラリ関数に渡される値を検証する

C++test

BD-PB-EOFCOMP

マクロの EOF と標準ライブラリ関数から返された未変更の戻り値を比較するべきである

C/C++test

BD-PB-ERRNO

errno 値を適切に使用する

C++test

BD-PB-INVRET

特定の標準ライブライ関数から返されたポインターは、そのあとの同じ関数または関連する関数の呼び出しで使用してはならない

C/C++test

BD-PB-MCCSTR

標準ライブラリ関数 memcmp を null 終端文字の比較に使用してはならない

C/C++test

BD-PB-NORETURN

noreturn 属性を持つ関数からは値を返さない

C/C++test

BD-PB-WRRDSTR

1 つのファイルを別のストリームで同時に読み取りアクセス用と書き込みアクセス用に開いてはならない

C/C++test

BD-SECURITY-TDCONSOLE

汚染されたデータを出力コンソールに出力してはならない

C++test

FORMAT-25_b

return 文では、() を使わなければならない

C/C++test

MISRA2004-9_2_b

配列を部分的に初期化してはならない

C/C++test

MISRA2004-9_2_c

ゼロ以外で構造体を初期化する場合、各要素に対して明示的な初期化子が必要である

C++test

MISRA2012-DIR-4_5

同じ名前空間にあり可視性が重なる識別子は見た目で明確に区別できなければならない

C/C++test

MISRA2012-DIR-4_7_ab

非 void 関数の戻り値を必ずチェックする

C++test

MISRA2012-DIR-4_7_bb

常に非 void 関数の戻り値をチェックする

C/C++test

MISRA2012-DIR-4_11b 

ライブラリ関数に渡される値を検証する

C/C++test

MISRA2012-DIR-4_13_ab 

標準ライブラリ関数を使用して動的に取得したすべてのリソースは明示的に解放する必要がある

C/C++test

MISRA2012-DIR-4_13_bb 

解放されたリソースを使用してはならない

C++test

MISRA2012-DIR-4_13_cb 

無効なポインタを使用してリソースを解放してはならない

C/C++test

MISRA2012-DIR-4_13_db 

解放されていないロックを放棄してはならない

C/C++test

MISRA2012-DIR-4_13_eb 

二重ロックを避ける

C++test

MISRA2012-DIR-4_14_ab 

汚染されたデータを配列添え字として使用しない

C++test

MISRA2012-DIR-4_14_bb 

汚染されたデータによる整数オーバーフロー/アンダーフローを防ぐ

C++test

MISRA2012-DIR-4_14_cb 

汚染されたデータによるバッファー読み込み時のオーバーフローを避ける

C++test

MISRA2012-DIR-4_14_db 

汚染されたデータによるバッファー書き込み時のオーバーフローを避ける

C++test

MISRA2012-DIR-4_14_eb 

コマンド インジェクションから防御する

C++test

MISRA2012-DIR-4_14_fb 

ファイル名インジェクションから防御する

C++test

MISRA2012-DIR-4_14_gb 

SQL インジェクションから防御する

C++test

MISRA2012-DIR-4_14_hb 

汚染されたデータによるバッファー オーバーフローを避ける

C++test

MISRA2012-DIR-4_14_ib 

不正な書式制限の定義によるバッファー オーバーフローを避ける

C++test

MISRA2012-DIR-4_14_jb 

環境変数インジェクションから防御する

C++test

MISRA2012-DIR-4_14_kb 

汚染されたデータを出力コンソールに出力してはならない

C++test

MISRA2012-RULE-1_1_a_c90

プログラムは規格によって定められた翻訳限界を超えてはならない (c90)

C/C++test

MISRA2012-RULE-1_1_a_c99

プログラムは規格によって定められた翻訳限界を超えてはならない (c99)

C/C++test

MISRA2012-RULE-1_1_b_c90

プログラムは規格によって定められた翻訳限界を超えてはならない (c90)

C/C++test

MISRA2012-RULE-1_1_b_c99

プログラムは規格によって定められた翻訳限界を超えてはならない (c99)

C/C++test

MISRA2012-RULE-1_3_ab 

ゼロによる除算を避ける

C++test

MISRA2012-RULE-1_3_bb 

初期化の前に使用しない

C/C++test

MISRA2012-RULE-1_3_cb 

解放されたリソースを使用してはならない

C++test

MISRA2012-RULE-1_3_d

バッファーからの読み取り時のオーバーフローを避ける

C++test

MISRA2012-RULE-1_3_eb 

バッファー書き込み時のオーバーフローを避ける

C++test

MISRA2012-RULE-1_3_f

式の値は、規格が認めるどのような順序で評価されようとも、同じでなければならない

C++test

MISRA2012-RULE-1_3_g

関数の引数の評価順序に依存するコードを書いてはならない

C/C++test

MISRA2012-RULE-1_3_h

関数呼び出しおよび関数引数の評価順序に依存するコードを記述してはならない

C/C++test

MISRA2012-RULE-1_3_i

関数呼び出しを含む式の評価順序に依存するコードを書いてはならない

C/C++test

MISRA2012-RULE-1_3_j

オブジェクトは、シーケンス ポイントの間で、格納された値が式の評価によって 2 回以上変更されてはならない

C/C++test

MISRA2012-RULE-1_3_k

1 つの式で複数の volatile を使用してはならない

C/C++test

MISRA2012-RULE-1_3_l

関数呼び出しの評価順序に依存するコードを書いてはならない

C/C++test

MISRA2012-RULE-1_3_m

関数は非 static ローカル オブジェクトへのポインターまたは参照を返してはならない

C/C++test

MISRA2012-RULE-1_3_n

自動記憶域のオブジェクトのアドレスを、オブジェクトが存在しなくなった後にも存在し続ける可能性がある別のオブジェクトに代入してはならない

C/C++test

MISRA2012-RULE-1_3_o

右シフト演算の左辺のオペランドは負数であってはならない

C/C++test

MISRA2012-RULE-2_3_a

関数は未使用の型宣言を持つべきではない

C++test

MISRA2012-RULE-2_3_b

ソース ファイルは未使用の型宣言を持つべきではない

C/C++test

MISRA2012-RULE-2_4_a

関数は未使用のローカル タグ宣言を持つべきではない

C/C++test

MISRA2012-RULE-2_4_b

ソース ファイルは未使用のタグ宣言を持つべきではない

C/C++test

MISRA2012-RULE-2_5

ソース ファイルは未使用のマクロ宣言を持つべきではない

C/C++test

MISRA2012-RULE-5_1

外部識別子は区別できなければならない

C/C++test

MISRA2012-RULE-5_2_a_c90

ファイル スコープおよび同じ名前空間で宣言された識別子は区別できなければならない (c90)

C/C++test

MISRA2012-RULE-5_2_a_c99

ファイル スコープおよび同じ名前空間で宣言された識別子は区別できなければならない (c99)

C/C++test

MISRA2012-RULE-5_2_b_c90

同じブロック スコープおよび同じ名前空間で宣言された識別子は区別できなければならない (c90)

C/C++test

MISRA2012-RULE-5_2_b_c99

同じブロック スコープおよび同じ名前空間で宣言された識別子は区別できなければならない (c99)

C/C++test

MISRA2012-RULE-5_8

外部リンケージを持つオブジェクトや関数はユニークでなければならない

C++test

MISRA2012-RULE-8_6

外部リンケージを持つ識別子は、外部定義を 1 つだけ持たなければならない

C++test

MISRA2012-RULE-8_7

関数およびオブジェクトが 1 つの翻訳単位でだけ参照される場合、外部リンケージが定義されてはならない

C/C++test

MISRA2012-RULE-9_4

オブジェクトの要素を複数回初期化してはならない

C/C++test

MISRA2012-RULE-9_5

指定された初期化子が配列オブジェクトの初期化に使用されている場合、配列のサイズを明示的に指定する必要がある

C/C++test

MISRA2012-RULE-12_5

sizeof 演算子のオペランドは「配列型」として宣言された関数のパラメーターであってはならない

C/C++test

MISRA2012-RULE-18_1_ab 

配列の境界を超えてアクセスしてはならない

C++test

MISRA2012-RULE-18_1_bb 

範囲外の配列およびポインターへのアクセスを避ける

C++test

MISRA2012-RULE-18_4

+、-、+= および -= 演算子をポインター型の式に適用するべきではない

C/C++test

MISRA2012-RULE-20_8

#if または #elif プリプロセッサ ディレクティブの制御式は 0 または 1 に評価されなければならない

C/C++test

MISRA2012-RULE-21_13b

<ctype.h> ライブラリの関数に渡される値は 'unsigned char' として表現できる値または 'EOF' でなければならない

C++test

MISRA2012-RULE-21_14b

標準ライブラリ関数 memcmp を null 終端文字の比較に使用してはならない

C/C++test

MISRA2012-RULE-21_15

標準ライブラリ関数 memcmp、memmove および memcmp へのポインター引数は、互換性のある型の修飾付きおよび修飾なし版へのポインターでなければならない

C/C++test

MISRA2012-RULE-21_16

標準ライブラリ関数 memcmp へのポインター引数は、ポインター型、実質的な signed 型、実質的な unsigned 型、実質的なブール型、または実質的な列挙型を指していなければならない

C/C++test

MISRA2012-RULE-21_17_ab 

ゼロで終わっていない文字列の読み込みによるオーバーフローを避ける

C++test

MISRA2012-RULE-21_17_bb 

バッファー書き込み時のオーバーフローを避ける

C++test

MISRA2012-RULE-21_18b 

string.h の関数に渡される size_t 引数には適切な値がなければならない

C/C++test

MISRA2012-RULE-21_19_a

標準ライブラリ関数 localeconv、getenv、setlocale または strerror から返されたポインターは、const 修飾された型へのポインターとしてだけ使用する

C/C++test

MISRA2012-RULE-21_19_b

lconv 構造体のメンバーによって指し示される文字列を変更してはならない

C/C++test

MISRA2012-RULE-21_20b 

特定の標準ライブライ関数から返されたポインターは、そのあとの同じ関数または関連する関数の呼び出しで使用してはならない

C/C++test

MISRA2012-RULE-22_3b 

1 つのファイルを別のストリームで同時に読み取りアクセス用と書き込みアクセス用に開いてはならない

C++test

MISRA2012-RULE-22_4b 

読み取り専用として開かれたストリームへの書き込みを避ける

C/C++test

MISRA2012-RULE-22_7b 

マクロの EOF と標準ライブラリ関数から返された未変更の戻り値を比較するべきである

C/C++test

MISRA2012-RULE-22_8b 

errno 設定関数の呼び出し前に、errno に 0 を設定する

C/C++test

MISRA2012-RULE-22_9bc 

errno 設定関数の呼び出し後に、errno と 0 を比較してチェックする

C/C++test

MISRA2012-RULE-22_10bc 

errno 設定関数の呼び出し後にだけ、errno と 0 を比較してチェックする

C/C++test

MISRA2008-8_5_2_b

配列を部分的に初期化してはならない

C/C++test

MISRA2008-8_5_2_c

構造体を部分的に初期化してはならない

C/C++test

NAMING-50

同じ名前空間にあり可視性が重なる識別子は見た目で明確に区別できなければならない

C/C++test

PB-69

オブジェクトの要素を複数回初期化してはならない

C/C++test

PREPROC-19

#if または #elif プリプロセッサ ディレクティブの制御式は 0 または 1 に評価されなければならない

C++test

PB.INOE

String.IsNullOrEmpty を使用して string が null または empty かどうかをチェックする

dotTEST

解決済みの PR/FR


PR/FR ID

説明

117075

Compliance by Category ウィジェットが使用するカテゴリが、ターゲットのテスト コンフィギュレーションと一致しない

119444

DTP Server で、作成したテスト コンフィギュレーションが表示されない

119478

Server Edition ライセンスの必須機能が ENT ライセンスで利用できない

120275

Jenkins Cobertura Coverage ウィジェットが日本語ロケールで動作しない

118760

ルール UC.UP が Jtest 10.x にない

118762

ルール METRIC.DIF が Jtest 10.x にない

118761

ルール GLOBAL.ACD が Jtest 10.x にない

120444

Gradle 3.0 がサポートされていない

118860

IntelliJ: json ファイルの sourcelevel が空である

119814

IBM RAD GUI ビルトイン テスト コンフィギュレーションを使用できない

120140

-Xmx の値に関して、ドキュメントと jtestcli.jvm の間に矛盾

120595

内部クラスの場合、NAMING.NE が正しく動作しない

121001

HIBERNATE.SLM のルールの説明で、コードの修正例に誤りがある

116773

未関連のコードが追加されたときに BD-PB_NOTINIT がトリガリングを中止する

116892

RuleWizard で nullptr のサポートを追加する

118116

エラー: このコンテキストでは __if_exists の使用はサポートされない

119825

式の初期化子に対する MISRA2008-5.0.6.a の偽陰性

120019

インクリメンタル モードが有効あるいは無効な場合に、解析結果に差異がある

120121

パーシング エラー: 派生クラスはここでは許可されない

120126

-include/-exclude ファイルが見つからない場合の問題

120353

BD.PB.VOVR のパラメーター名が間違っているため、更新が必要

120455

配列初期化子で #define シンボルを使用している場合、MISRA2004-9_2 で偽陽性

120123

website オプションの間違った使用

120203

WebSite の名前に特殊文字を使用しているか、あるいは WebSite がソリューションのサブフォルダーにある場合、WebSite のビルド時に不正な MSBuild ターゲットになる

120296

パスに日本語文字を含むプロジェクトに結果をインポートすると、カバレッジ マーカーが表示されない

117336

Engine の解析がランダムに失敗する

120151

TFS で diff の操作中、セットアップの問題がレポートされる

120315

ルール ID が重要度を含む場合、抑制が無視される

    1.  Eclipse ベースの IDE で利用可能
    2.  フロー解析のライセンスが必要。Parasoft 製品カスタマーセンターにお問い合わせください。
    3. これらのルールをカスタム テスト コンフィギュレーションで使用する場合、以下のパラメーターを設定する必要があります。
      For MISRA2012-RULE-22_8:
      MISRA2012-RULE-22_8-reportOnMissingErrnoCheck=false
      MISRA2012-RULE-22_8-reportOnUnnecessaryErrnoCheck=false

      For MISRA2012-RULE-22_9:
      MISRA2012-RULE-22_9-reportWhenErrnoIsNotZero=false
      MISRA2012-RULE-22_9-reportOnUnnecessaryErrnoCheck=false

      For MISRA2012-RULE-22_10:
      MISRA2012-RULE-22_10-reportWhenErrnoIsNotZero=false
      MISRA2012-RULE-22_10-reportOnMissingErrnoCheck=false

      "MISRA C 2012" ビルトイン テスト コンフィギュレーションでは、これらのパラメーターはあらかじめ設定されています



  • No labels