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