Polyspace維基百科,自由的 encyclopedia Polyspace是靜態程序分析的工具,利用抽象释义的方式進行大規模的分析,可以偵測C語言、C++或是Ada程式的原始碼中,是否有特定類型的執行期錯誤,或是證明沒有這類的錯誤。此工具也可以檢查原始碼是否符合特定的代碼標準(如MISRA C/C++, SEI CERT C/C++(CWE), JSF AV C++, AUTOSAR C++)[3]。 事实速览 開發者, 操作系统 ...Polyspace開發者MathWorks [1]操作系统跨平台[2]类型靜態程序分析许可协议专有软件网站https://mathworks.com/products/polyspace.html关闭
Polyspace是靜態程序分析的工具,利用抽象释义的方式進行大規模的分析,可以偵測C語言、C++或是Ada程式的原始碼中,是否有特定類型的執行期錯誤,或是證明沒有這類的錯誤。此工具也可以檢查原始碼是否符合特定的代碼標準(如MISRA C/C++, SEI CERT C/C++(CWE), JSF AV C++, AUTOSAR C++)[3]。 事实速览 開發者, 操作系统 ...Polyspace開發者MathWorks [1]操作系统跨平台[2]类型靜態程序分析许可协议专有软件网站https://mathworks.com/products/polyspace.html关闭