摘要

<正>随着计算机应用的不断发展,软件已成为各行各业智能化、网络化的关键,由于软件的漏洞和缺陷造成系统运行失常的后果也愈加严重,特别是在航空航天、金融保险、交通通信、工业控制等关系国计民生的重要领域,软件一旦失效将造成重大损失。同时,随着软件规模越来越大、结构日趋复杂,软件在构建和编程过程中会造成一些缺陷,缺陷可能导致失效,失效引发事故,导致软件的开发、集成和维护工作越来越复杂。随着网络上每年爆出大量的安全事件,如软件漏洞、