1

是否有一个开源 java 解析工具可以通过方法枚举控制流路径并计算整数变量的范围约束？（Sat-solver 也会很棒）

- 编辑 -

这是引发这个问题的答案。

这是我正在考虑的工具的商业版本。

我的问题是 - 最接近的开源等价物是什么？

4

1 回答 1

1

Java Symbolic PathFinder与您的要求非常接近。从网站：

符号路径查找器

  • 执行 Java 字节码的符号执行
  • 处理复杂的数学约束、数据结构和数组、多线程、前置条件、字符串（正在进行的工作）
  • 适用于（可执行）模型和代码
  • 生成保证达到用户指定覆盖率的测试向量和测试序列（例如路径、语句、分支、MC/DC 覆盖率）
  • 测量覆盖率。
  • 生成 JUnit 测试、Antares 模拟脚本等（输出可轻松定制）
  • 在测试生成过程中，检查错误
  • 灵活，因为它可以轻松编码不同的覆盖标准
  • 与仿真环境集成（正在进行的工作）

至于你的第二个问题，有一个本地 Java SAT 求解器：sat4j

于 2012-11-06T03:03:10.957 回答