Testing 在共同测试中，什么是；具体执行”；什么意思？

我在研究“具体与象征性执行”的概念时，遇到了“具体与象征性执行”这一术语。（这里提到的文章“CUTE:C的concolic单元测试引擎”在其摘要部分使用了该术语。）

“所使用的方法建立在以前将符号执行和具体执行相结合的工作的基础上，更具体地说，使用这种组合来生成测试输入，以探索所有可行的执行路径。”

谁能确认一下“具体执行”是什么意思？尽管我进行了搜索，但我找不到任何直接引用/明确陈述

---

根据我的理解，“具体执行”是指“使用实际输入值执行程序，而不是符号执行，它假定变量、输入等具有符号值”。如果我错了，请纠正我（如果可能的话，请举一个小例子）。

在您提到的上下文中，我非常确定“具体执行”指的是在特定输入上实际运行程序，并查看发生了什么。您链接到的“concolic测试”一文提出了对特定输入（具体执行，完整但不可靠）和符号测试（符号执行，听起来不完整）之间的混合方法

---

希望这有帮助

共同执行是具体执行和符号执行的混合，目的在于可行性

符号执行允许我们通过所有可能的执行路径执行程序，从而实现所有可能的路径条件（路径条件=将我们带到执行中特定点的逻辑约束集）。问题在于，除了微基准测试外，通过所有可能的执行路径执行程序的成本都是指数级的，因此令人望而却步

另一方面，如果我们为符号执行提供具体的值，则可以引导它通过特定的执行路径（而不遍历所有路径）并实现相应的路径条件。这是可行的

---

我希望这能回答你的问题

嗨，我一直在寻找这个答案，我从那篇文章中推断出同样的答案。谢谢你的确认。我还想知道这个词是标准化的，还是在不同的语境中有所不同，或者这个词只是作者在文章中作为英语语言的一部分使用的。（正如本帖其他评论员所提到的）？我觉得这个术语在使用上有标准的含义，但同样没有确认/不确定。@Suhaschikkana我不确定。我以前从未见过它，但我也没有在程序验证方面做过很多工作。尽管如此，我将继续寻找答案，并将在一段时间内跟进这篇文章。这是你非常友好的回答，我觉得这是非常正确的。在我确认之前，请给我一个时间，再次感谢！！。你能解释一下为什么你说具体执行是不可靠的吗？我不太明白。“你说它不合理的目的是什么？”Mehrdad我是在形式逻辑的背景下使用这个词的。可靠性意味着如果测试报告程序是正确的，那么程序实际上是正确的，完整性意味着如果程序是正确的，测试将报告它是正确的。具体执行已完成（如果程序有效，它将通过测试），但不可靠（错误的程序仍可能通过测试套件中的所有测试）。