个人中心
文章发布
退出
作者热门文章
- html - 出于某种原因，IE8 对我的 Sass 文件中继承的 html5 CSS 不友好？
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景？
24
4
我在研究 concolic testing 的概念时遇到了术语“具体和符号执行” . (那里提到的文章“CUTE:C 的混合单元测试引擎”在其摘要部分使用了该术语。)
"The approach used builds on previous work combining symbolic and concrete execution, and more specifically, using such a combination to generate test inputs to explore all feasible execution paths."
谁能确认一下“具体执行”是什么意思？尽管我进行了搜索，但我找不到任何直接引用/明确的陈述。
据我所知，“具体执行”是指“使用实际输入值执行程序，这与符号执行不同，符号执行假定变量、输入等的符号值”。如果我错了，请纠正我(如果可能的话用一个小例子)。
最佳答案
Concolic 执行是 CONCrete 执行和 symbOLIC 执行的混合体，以可行性为目的。
符号执行允许我们通过所有可能的执行路径来执行程序，从而实现所有可能的路径条件(路径条件=将我们带到执行中的特定点的逻辑约束集)。问题在于，除了微基准测试之外，通过所有可能的执行路径执行程序的成本呈指数级增长，因此令人望而却步。
另一方面，如果我们为符号执行提供具体值，您可以引导它通过特定的执行路径(无需遍历所有路径)并实现各自的路径条件。这是可行的。
我希望这能回答你的问题
关于testing - 在concolic测试中， "concrete execution"是什么意思？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/28128656/
24
4
0
我使用 apt-get install libgtest-dev 安装了 gtest 我正在尝试检查它是否有效。 所以我在 eclipse 中编写了简单的测试代码。 但是有错误， undefined
($test) = (@test); $test = @test; 用一个括号括住变量，它访问数组的第一个元素。我找不到有关数组括号的信息。 最佳答案 ($test) = (@test); 这会将@t
在 clojure.test 中有一个允许同时测试多个设备的宏: are . 在 clojure.test 中，可以结合 are宏与 testing ? IE。就像是: (are [scenario
通常，Rust 中的单元测试被赋予一个单独的模块，该模块使用 #[cfg(test)] 进行条件编译: #[cfg(test)] mod tests { #[test] fn test
在过去，编程很少涉及猜测。我会写几行代码，一眼就能 100% 确定代码做什么和不做什么。错误主要是拼写错误，但与功能无关。 我相信在过去的几年中存在这种“试错”编程的趋势:编写代码(就像在草稿中一样)
在building the Kotlin compiler之后(在提交e80a01a处): ./gradlew dist 测试未成功通过: ./gradlew compiler:test 由于很少有测
关闭。这个问题需要更多focused .它目前不接受答案。 想改进这个问题吗？ 更新问题，使其只关注一个问题 editing this post . 关闭 9 年前。 Improve this qu
最近一直在思考模糊测试和猴子测试的区别。根据 wiki，猴子测试似乎“只是”一个单元测试，而模糊测试则不是。安卓有 UI/Application Exerciser monkey而且它看起来不像是单元
按照目前的情况，这个问题不适合我们的问答形式。我们希望答案得到事实、引用或专业知识的支持，但这个问题可能会引发辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开，visit the
现在我正在使用 CMake 设置一个 C++ 测试环境。其实我已经意识到我想做什么，但我对两种不同的测试输出风格感到困惑。在我下面的示例中，“make test”实际上做了什么？我认为“make te
在 VS2012 中运行单个测试时，测试资源管理器底部会显示一个窗口，其中包括(假设失败)旁边带有“测试失败”的红色图标。紧随其后的是带有“已用时间”的失败消息。 我想简单地知道是否有办法清除这个窗口
bash 是否可以从 shell 执行命令，如果它返回某个值(或空值)则执行命令？ if [ "echo test" == "test"]; then echo "echo test output
这个问题在这里已经有了答案: 8年前关闭。 Possible Duplicate: What is a smoke testing and what will it do for me? 为什么“冒烟
x86 下的并行编程可能很困难，尤其是在多核 CPU 下。假设我们有多核 x86 CPU 和更多不同的多线程通信组合。 单一作者和单一读者 单个读者多个作者 多个读者和单个作者 多个读者和多个作者 那
我使用Ctest来运行一堆使用add_test()注册的Google测试。当前，这些测试没有任何参数。但是，我想在运行--gtest_output=xml时为它们提供所有参数(所有参数都通用，特别是c
我有下表和数据: CREATE TABLE `test` ( `id` int(11) NOT NULL auto_increment, `name` varchar(8) NOT NULL,
go test 的两个标志 -parallel 和 -test.parallel 之间的区别以及哪个标志优先？ -parallel n Allow parallel execu
在我的组件 AudioPlayer 中，我有一个 download() 方法: download() { this.audio.pause(); window.open(this.file,
您必须承认，对于 Rails 和数据库的新手来说，rubyonrails.org 上的官方解释使所有这四个任务听起来完全一样。引用: rake db:test:clone Recreate the
我过去曾讨论过这个话题，我想我可能知道答案，但我无法正确地表达出来。 这是我认为我所知道的: 如果您在编写测试之前已经有了关于事情如何工作的想法，那么我怀疑您是测试优先而不是测试驱动，因此您首先编写测
我是一名优秀的程序员,十分优秀！