polyspace静态测试--有关库函数问题
对于一些非标准库函数,polyspace在测试时无法找到函数原型,导致后续的BUG。。求助如何导入这些库文件或者如何解决此类问题。。谢谢 对于一些非标准库函数,polyspace在测试时无法找到函数原型,导致后续的BUG。。求助如何导入这些库文件或者 ...DFCV快乐小青年 发表于 2014-7-2 16:45 http://bbs.51testing.com/images/common/back.gif
这方面的资料比较少,希望有达人可以指引下~
页:
[1]