论文部分内容阅读
介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法.该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的.
利用状态机检测JAVA空指针引用故障
【摘 要】
：
介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法.该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的.
【机 构】
：
装甲兵工程学院,国防科技信息中心
【出 处】
：
装甲兵工程学院学报
【发表日期】
：
2004年期
其他文献
自吸动力网络模型是建立在复杂的薄膜流动、膨胀和流体的自吸跃迁的客观描述基础上的。该模型表明,薄膜膨胀是受毛管力控制的非线性的扩散过程;前缘驱替与跃迁的竞争与速率相
本文介绍了在Visual Basic环境下利用MSComm通信控件开发串行数据通信的方法,通过MSComm控件的事件驱动方式,实现对远程污染源排放的有毒气体浓度的实时自动监测,实际使用效
本文介绍了一种可以应用于长距离输油管线,地铁施工中的安全监测系统.该系统使用RS-485串口将所有监测设备串接,通过位移传感器,温度传感器,压力传感器来计算监控过程中目标
为了解决DES等旧的加密算法已经走向衰落的情况,分析了高级加密标准(AES),AES是美国国家标准和技术研究所(NIST)选定的一种高强度加密算法.文中探讨了将椭圆曲线加密(ECC)和A
现浇混凝土护坡施工质量好坏的关键在于材料、模板和浇筑质量的控制,现浇混凝土护坡施工工艺虽然不复杂,但由于是在坡面上施工也具有一定的难度。通过模板改制可以有效的控制
In this paper, the backdrop and significance of the research of germ-remaining rice whitener firstly were expatiated. Then, the study progress in China and over
变换域通信系统通过信道估计在变换域设计信号波形避开干扰,它没有采用载波调制,而是用一个类似噪声的基函数进行信息调制.论述了变换域通信系统的基本概念,对变换域通信系统
本文对应用于生物医学等领域的非接触荧光式温度检测技术进行了系统的理论及技术实验的研究,采用金属镀膜工艺的微小探头制作技术,利用快速傅立叶变换的方法对荧光信号进行处
支付清算工作是银行业金融机构的基础性服务工作.为促进支付清算业务更好地服务"三农",满足农村地区多层次、多样化的支付清算需求,促进社会主义新农村建设,本文对天津农村地