摘要： 【课程背景】 随着计算机技术迅猛发展，软件的销售量和使用量呈几何级数增长，软件的规模也越来越大，复杂性急剧提高。例如，航天飞机的飞行软件达50万行源代码，F－22战斗机更达150多万行源代码，软件失效已成为系统瘫痪的主要原因。根据美国国防部和NASA的统计，当今武器系统和航天项目中的软件可靠性比硬件 阅读全文