程式动态行为安全分析(II).PDF

摘要 程式的安全分析與軟體品質息息相關 ，而品質則仰賴於高涵蓋率的測試技術。我們 採用自動測試的技術來進行軟體安全分析 。傳統上，軟體測試所需成本高達總成本的 50% ，因此成為軟體發展(Software Development)過程中的主要瓶