欧美的模块化导弹计划

目前,欧洲、美国都在为未来的空地作战,地地作战研制新型“模块化导弹”,主要计划包括英国、法国、瑞典联合实施的欧洲模块化导弹(EMM),美国陆军、海军联合发展的联合通用导弹(JCM),以及美国陆军为未来作战系统研制的间瞄发射系统(NLOS-LS)。     

利用状态机检测JAVA空指针引用故障

介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的。