1. 首页
  2. 问答
  3. 控制流枚举的Java解析器

控制流枚举的Java解析器

2012-02-15 83 views
1

是否有一个开源的Java解析工具，可以通过一个方法枚举控制流路径并在整数变量上计算范围约束？ （A周六 - 求解将是巨大的，以及）控制流枚举的Java解析器

- 编辑 -

This is the answer触发此问题。我想这是the commercial version of the tool。

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

来源

2012-02-15 hawkeye

+1

我不知道有什么，但谷歌关键字将是*抽象解释整数间隔*。 – aioobe 2012-02-15 09:57:23

回答

1

一个近似于你要求的是Java Symbolic PathFinder。从该网站：

符号路径查找器

  • 执行的Java的符号执行字节码
  • 将复杂的数学约束，数据结构和数组，多线程，先决条件字符串（正在进行的工作）
  • 适用于（可执行）模型和代码
  • 生成测试向量和测试序列，保证达到用户指定的覆盖范围（例如路径，语句，分支，MC/DC覆盖范围）
  • 措施覆盖面。
  • 生成JUnit测试，心宿仿真脚本等（输出可以很容易地定制）
  • 测试期间生成过程中，检查错误
  • 是柔性的，因为它允许不同的覆盖准则容易编码
  • 与模拟环境集成（正在进行的工作）

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

来源

2012-11-06 03:03:10 EfForEffort

相关问题

 相关问题