問題タブ [dependency-analysis]

私が使用している依存関係ツリーは次のとおりです。

ご覧のとおり、サイクルがあります。

Maven 2.2.1 の使用:

Maven 3.3.3 の使用:

maven 3を使用した分析では、PAをPAへの依存関係としてPA自体に追加する必要があります。maven 3を使用してmaven 2と同じ動作をすることは可能ですか?

私は frama-c Aluminium-20160502 バージョンを使用しており、大規模なプログラムの依存関係を調べたいと考えています。コマンド ラインでオプション -deps を使用すると、いくつかの依存関係が欠落していることがわかりました。特に、複数の条件が 1 つの if に結合されている場合、依存関係の分析は、1 つの条件が false になるたびに停止します。この例では、次のとおりです。

私が試したとき：frama-c -deps program.c

フレームは、次の依存関係を示しています。

[from] ====== 計算された依存関係 ======

これらの依存関係は、終了する実行の終了時に保持されます。

[from] 関数 main: res FROM A; B; よ

[from] ====== 依存関係の終わり ======

したがって、条件 B は既に false であるため、条件 C には到達しません。

条件が満たされていない場合でも、すべての依存関係を計算するように frama に指示する方法があるのだろうか。オプション -slevel を試してみましたが、結果はありませんでした。間隔 Frama_C_interval(0,1) を使用する方法があることは知っていますが、それを使用すると、この関数を使用する変数が依存関係に表示されません。X と Y を A、B、C に依存させ、res を A、B、C、X、Y に依存させたい

何か案は？

異なる c ファイルを含むプロジェクトで変数の依存関係を計算しようとしています。これらの各ファイルにはメイン関数があり、互いに呼び出していません。ただし、それらには共有変数があり、それらの間の最終的な依存関係を計算する必要があります。

たとえば、「File1.c」と「File2.c」の 2 つの c ファイルと、3 つのグローバル変数を定義するヘッダー ファイル「Header.h」があります。

File1.c

File2.c

Header.h

frama-c で依存関係モジュールを呼び出す場合は、エントリ ポイントを指定する必要があるため、エントリ ポイントとして main1 または main2 を選択する必要があるため、main1.c の依存関係を取得します。

var1 から var2

または main2.c からの依存関係:

var2 から var3

代わりに、両方のファイル間の依存関係を取得したいと思います。

var1 から var3

また、別の関数から呼び出す 2 つのメインをラップしようとしましたが、frama は文字通り「効果なし」と言っています。私が手に入れたいものがframa-cで可能になることを願っています。

自動テスト ケース選択ツールの作成に取り組んでいますが、その前に、プロジェクトのリストでクラス/メソッドの依存関係を抽出する必要があります。JDEP について聞いたことがありますが、Java 8 以降でしか動作しないようです。Java 6 以降のバージョンで動作するツールが必要です。さらに、メソッドベースの依存関係検索とクラスベースの依存関係検索のどちらが優れているかについて、ちょっとしたアドバイスが役に立ちます。

前もって感謝します！

//ロイ