【摘要】随着计算机应用的发展和软件规模的扩大,软件在信息社会中扮演着越来越重要的作用,然而软件危机的频频出现,使得诸如航天、运输控制系统、电子商务等众多质量关键应用领域都对系统的可靠性提出了极高的要求。对软件进行检测是保证软件质量很重要的环节,特别是静态检测更是软件检测中一种重要且有效的方法。对于当今软件规模和复杂度越来越高的特点,人工走查已经不仅仅是费时费力的问题,甚至可能是不切实际的,所以如果 […]