51Testing软件测试论坛

标题: polyspace静态测试--有关库函数问题 [打印本页]

作者: DFCV快乐小青年 时间: 2014-7-2 16:45
标题: polyspace静态测试--有关库函数问题
对于一些非标准库函数，polyspace在测试时无法找到函数原型，导致后续的BUG。。求助如何导入这些库文件或者如何解决此类问题。。谢谢

作者: lsekfe 时间: 2014-8-8 10:54

对于一些非标准库函数，polyspace在测试时无法找到函数原型，导致后续的BUG。。求助如何导入这些库文件或者 ...
DFCV快乐小青年发表于 2014-7-2 16:45

这方面的资料比较少，希望有达人可以指引下~

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