问题标签 [dependency-analysis]

这是我正在使用的依赖树：

如您所见，有一个循环：

使用 Maven 2.2.1：

使用 Maven 3.3.3：

使用 maven 3 的分析希望我将 PA 作为 PA 的依赖项添加到自身。使用 maven 3 是否可以具有与 maven 2 相同的行为？

我正在使用 frama-c Aluminium-20160502 版本，我想找出大型程序中的依赖关系。在命令行中使用选项 -deps 时，我发现缺少一些依赖项。特别是当多个条件合并为一个 if 时，只要一个条件为假，依赖性分析就会停止。在此示例中：

当我尝试时：frama-c -deps program.c

frama 显示以下依赖项：

[来自] ====== 依赖项计算 ======

对于终止的执行，这些依赖项在终止时保持：

[来自] 函数 main: res FROM A; 乙; 是

[来自] ====== 依赖关系结束 ======

所以它没有达到条件C，因为B已经是假的。

我想知道是否有办法告诉 frama 计算所有依赖项，即使条件不满足。我尝试使用选项 -slevel 但没有结果。我知道有一种方法可以使用区间 Frama_C_interval(0,1) 但是当我使用它时，使用此函数的变量不会显示在依赖项中。我想让 X 和 Y 依赖于 A、B、C 和 res 依赖于 A、B、C、X、Y

有任何想法吗？

我正在尝试计算具有不同 c 文件的项目中的变量依赖关系。这些文件中的每一个都有一个主要功能，并且它们不会相互调用。但是它们有共享变量，我需要计算它们之间的最终依赖关系。

例如，我有两个 c 文件：“File1.c”和“File2.c”以及一个定义三个全局变量的头文件“Header.h”。

文件1.c

文件2.c

头文件.h

如果我在 frama-c 上调用依赖项模块，我必须指定入口点，因此选择 main1 或 main2 作为入口点，所以要么我得到 main1.c 的依赖项：

来自 var2 的 var1

或来自 main2.c 的依赖项：

来自 var3 的 var2

相反，我想获得两个文件之间的依赖关系：

来自 var3 的 var1

我还尝试包装从另一个函数调用它们的两个电源，但 frama 字面意思是“没有影响”。我希望使用frama-c可以实现我想要得到的东西。

我正在努力创建一个自动测试用例选择工具，但在此之前我需要在项目列表中提取类/方法的依赖项。我听说过 JDEP，但它似乎只在 Java 8 之后才有效。我想要一些工具，它可以与 Java 6 及更高版本一起使用。另外，关于基于方法的依赖搜索或基于类的依赖搜索是否会更好，一些建议会很好。

提前致谢！

//罗伊

我有一个 maven 项目，我想使用如下所示的文件来减少依赖项的数量pom.xml：

使用mvn dependency:analyze目标后，我得到一个未使用的声明依赖项列表：

但是当我尝试删除它们时，这会导致我的项目中的测试失败。为什么会这样？maven 是否还检查与测试链接的依赖项？