C程序靜態(tài)分析工具Canalyze國(guó)產(chǎn)替代軟件1.需求及背景軟件測(cè)試與分析是發(fā)現(xiàn)軟件缺陷、提高軟件質(zhì)量的重要措施。動(dòng)態(tài)測(cè)試是保障軟質(zhì)量的傳統(tǒng)手段。不過(guò)，它依賴于測(cè)試用例的質(zhì)量。如何設(shè)計(jì)一組比較少的試用例，給出合