PolySpace

上一篇 / 下一篇 2007-05-24 14:22:43 / 個人分類：技術文摘

查看( 311 ) / 評論( 1 )

PolySpace
8U J3d d T%T4R0——基于源程序的運行時錯誤的靜態檢查工具

PolySpace軟件是由PolySpace公司開發的一個程序運行時錯誤的靜態檢查工具。該軟件采用基于源代碼靜態檢查的方法來檢查程序在運行時可能出現的錯誤，可以大幅度的提高軟件的可靠性，降低測試成本，縮短軟件的開發周期。領測軟件測試網*s1C_(ex)d
一．什么是運行時錯誤的靜態檢查？
xS5kiJu$WF8?)qV0運行時錯誤的靜態檢查是指，不需要運行程序，只根據源代碼，就能檢查軟件將來在運行時可能出現的錯誤的技術。