Polyspace维基百科,自由的 encyclopedia Polyspace是静态程序分析的工具,利用抽象释义的方式进行大规模的分析,可以侦测C语言、C++或是Ada程式的原始码中,是否有特定类型的执行期错误,或是证明没有这类的错误。此工具也可以检查原始码是否符合特定的代码标准(如MISRA C/C++, SEI CERT C/C++(CWE), JSF AV C++, AUTOSAR C++)[3]。 Quick Facts 开发者, 操作系统 ...Polyspace开发者MathWorks [1]操作系统跨平台[2]类型静态程序分析许可协议专有软件网站https://mathworks.com/products/polyspace.htmlClose
Polyspace是静态程序分析的工具,利用抽象释义的方式进行大规模的分析,可以侦测C语言、C++或是Ada程式的原始码中,是否有特定类型的执行期错误,或是证明没有这类的错误。此工具也可以检查原始码是否符合特定的代码标准(如MISRA C/C++, SEI CERT C/C++(CWE), JSF AV C++, AUTOSAR C++)[3]。 Quick Facts 开发者, 操作系统 ...Polyspace开发者MathWorks [1]操作系统跨平台[2]类型静态程序分析许可协议专有软件网站https://mathworks.com/products/polyspace.htmlClose