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

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

本刊启事

为尊重被引用著作作者的著作权,便于读者查阅相关文献,同时向读者提供更多有价值的参考资料,根据国家和军队期刊编辑出版以及《军事学核心期刊建设与管理规定(试行)》的有关规定,《国防》对刊发稿件中引用的文献、观点,在文尾加注引文、注释和参考文献。为此,作者来稿均需注明以上信息,信息不全的文稿本刊将要求作者补齐后再向本刊投寄。(一)引文标注格式引文标注应包括以下内容:主要责任者/题名/其他     

徐垚:“白面书生”唱黑脸

正徐垚,一米七○的个头,白净的面孔,跟战士谈起心来,总喜欢引用几个典故,所以就得了个"白面书生"的雅号。可是,在不少官兵眼里,他可是一位"黑脸判官"。因为他是大队的警卫排排长,负责日常的军容风纪纠察。警卫排不仅担负大队的营门岗哨勤务,而且还负责营区官兵的军容风纪纠察。严整的军容、笔挺的军姿、标准的齐步,警卫排战士的站立行走,总给人一种不怒而威的     

面向故障的软件测试方法研究

提出了一种面向故障的软件测试方法,用以检测C程序中坏的存储分配、存储泄漏、空指针引用、数组越界和未初始化变量等5类故障.该方法在词法分析和语法分析的基础上,利用检查点查找算法查找可疑点,通过适当的人工确认,能够有效找出软件中的故障.     

用电子表格软件建立动态仿真模型

本文描述了用电子表格软件开发动态船舶操纵仿真模型的技术。文中用自引用公式对动态仿真模型的公式进行了编程。该技术不需要电子表格的宏指令。对电子表格用于动态仿真建模的利弊在文中也进行了讨论。     

《武警学院学报》征稿简则

《武警学院学报》学术理论性强,特色鲜明,读者面广,选稿用稿公平公正,刊发文章的下载率、引用率、转载率高,具有较高的知名度和广泛的影响力。常年开设:边防研究、警卫研究、维和研究、执法研究、反恐处突研究、教育训练研究、思想政治工作研究、部队建设研究;消防理论研究、灭火救援技术、火灾预防、消防安全评价、火灾调查、消防监督管理等栏目,热诚欢迎各界专家学者惠赐佳作!