1. 首頁
  2. 問答
  3. 控制流枚舉的Java解析器

控制流枚舉的Java解析器

2012-02-15 133 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

相關問題

 相關問題