基于模式的靜態(tài)代碼分析、運(yùn)行時(shí)內(nèi)存監(jiān)測、單元測試以及數(shù)據(jù)流分析等軟件驗(yàn)證技術(shù)是查找嵌入式C語言程序/軟件缺陷行之有效的方法。上述技術(shù)中的每一種都能查找出某一類特定
基于模式的靜態(tài)代碼分析、運(yùn)行時(shí)內(nèi)存監(jiān)測、單元測試以及數(shù)據(jù)流分析等軟件驗(yàn)證技術(shù)是查找嵌入式C語言程序/軟件缺陷行之有效的方法。上述技術(shù)中的每一種都能查找出某一類特定