51Testing软件测试论坛

标题: 哪位达人用过或是知道"符号执行器"? [打印本页]

作者: B2CPC 时间: 2005-7-10 19:33
标题: 哪位达人用过或是知道"符号执行器"?
哪位达人用过或是知道"符号执行器"?看书看到这么个东东,不是很理解.想向高手们请教.如果用过,能举个例子吗?没用到过,知道的话,简单介绍一下也行!谢谢了

[ Last edited by B2CPC on 2005-7-10 at 19:40 ]

作者: jennie98 时间: 2005-7-11 15:52
不懂啊。顶一下

高手快来解决阿

作者: ylximu 时间: 2005-7-12 09:09
俺也没见过，更没听说过～～

作者: B2CPC 时间: 2005-7-12 21:43
多谢关注!

目前找到有这么一段解释:它在符号短语中分析一个程序在给定路径上作了些什么事情.它模拟程序的执行,计算程序在不同位置上的值.符号执行器非常适合用于数学算法的分析.因为用于符号执行的程序开发是非常昂贵的,所以它一般用于测试数学程序,其成本/收益是可接受的.
有些关键字如符号短语具体是什么意思呢,不太明白.想请大虾们稍作解释.还有什么需要补充的?来者不拒:d有例子就更清楚了:p

作者: lingling_0811 时间: 2005-7-19 14:50
不懂.顶一下

作者: calven 时间: 2005-7-19 20:29
我用符号执行器在google作搜索...居然没有完整的解释.郁闷

作者: B2CPC 时间: 2005-7-20 23:30
是啊，事先我在51上也搜索过，没找到才发帖（能找到就不发了）

欢迎光临 51Testing软件测试论坛 (http://bbs.51testing.com/)