0

我得到了一个项目来创建一个用于测试 c 程序的 concolic 测试框架。我发现 CUTE 和 DART 实现了 concolic 测试。但它们无法下载。我完全理解 concolic 测试的工作方式，但我无法在系统级别实现它。有人可以帮忙吗？我需要有关如何提取 ac 程序的组件/功能、具体和象征性地测试它们以及解决程序中可能出现的错误的帮助。

4

2 回答 2

1

CREST是 concolic 测试的开源实现。

于 2013-06-21T03:32:22.397 回答
1

CATG和Jalangi分别是 Java 和 JavaScript 程序的 concolic 测试的开源实现。

于 2013-06-21T03:36:57.353 回答