polyspace静态测试--有关库函数问题

DFCV快乐小青年 · 发表于 2014-7-2 16:45:02

对于一些非标准库函数，polyspace在测试时无法找到函数原型，导致后续的BUG。。求助如何导入这些库文件或者如何解决此类问题。。谢谢

lsekfe · 发表于 2014-8-8 10:54:09

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

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

		自动登录	找回密码
密码			(注-册)加入51Testing

[求助] polyspace静态测试--有关库函数问题