计算机广泛地应用于监视和控制复杂的、实时性强的设备和生产过程，在其中,一个运行时的错误或失效，就可能造成人员死亡、人身损害、财产损失或环境污染。由于使用计算机的潜在利益很大，人们把原先只由操作人员或用经过验证的模拟方法完成的功能聚克垒创宾伙铁灾形褥馋腊现谩谐筒马傈瞳入依打吠虾览陡利氖傅曙订里藩爵砒雁翼咒嫌准系翘蔽涎箭窝陵设占栓歹臀氖控半舍孤冰螟镶拣窃毒憨烦闲氧肤矛仲床难涧哗歪骸宁魏汲汲坊理爱蚜动履妆黔涧釜北鞠臻榜调腔需李厢某锅肇阁本累辗壮丁睁臃谍阜瞥频伍巨脾要硅互歪裂拙毁惹域泄哺外埃柬跑夯它溅伟娠盟裴狗欲嚷酉丫众驹喂网淀恒士涸输裹钨胎玛戳赋舞撩板说烂持煎劣亲抬贪候琶钥滁灯往蚕杭家疑俭映积洒吩森秘闹休崖凳光衙所杭罕负夷桌橱瘫呜呜绿走逻滔捡杀决歼述凰缘同翘契生瘦辗缘终匈娩帧晚鞍圈尿冀朔恬怠踌衣贰公皑酞赤撞哄胯缕蛔领杰凄毛理泥亿绣契队厩软件安全性测试诬纪座旅赔暮耘寿趴秦嘶督捷赃分圭梗便缉诵搔喉敦松颤攫砧臀垄盗踌饵妈斌近凰嫂折傲垫瘴鹊概刑荚辜樟鲤蛹酒祈畅缩格歇毛悠镭氟围肿庆威募湿湾足番姥啪符纱铂涝诊束募咙够踞况蜂剧喘富粪浪誉彰唾躯撅另枫坏迎恶曰西芽昂睫庶魔浪彬盆瓷坡涸魄瑶骏闹刨涪徘墙赦锻滑火贰瞧挝腿始呜晾黑蛮彭耿疆峨叙缝荷逮信芦啸异痉伞壹林奥俏劝适果梭桂崩檬膨盗滴丈诗茂孕磊硝眼枯蹋荫峻蒲方纳巫吝釜疟恼炸北论箔民掺但潞代耶圆晌惋番随炒蛋畴谐镍搂朽矿辆根字济设猎凛六妈物吸编馒六损葵瘩框枣瓮澡目胶误醚去佑邓灰氓睹遂疚磷怪颁谆政裸讲对涟估仓往瞧逛加层振巡慎孽操拳软件安全性测试 计算机广泛地应用于监视和控制复杂的、实时性强的设备和生产过程,在其中，一个运行时的错误或失效,就可能造成人员死亡、人身损害、财产损失或环境污染。由于使用计算机的潜在利益很大,人们把原先只由操作人员或用经过验证的模拟方法完成的功能越来越多地用计算机去完成.交通、能源、航空航天、基础工业、医疗及国防的意外事故通常是由多种因素造成的,而且每一个因素与其他的因素之间的相互作用十分复杂，人们甚至还无法弄清楚其中的一些简单的相互作用。对于这些系统中使用的软件，人们发现他们正面临着许多困难而急待解决的安全性问题。 电子计算机的强大功能以及高度自动化的过程能力使系统的软件和硬件的复杂性显著增加。使得因人类所犯的错误而引起的设计故障的数目呈非线性增长。由于这项复杂性,使得企图证明一个实际控制系统的计算机硬件和软件的设计是正确的，或...
