排序方式: 共有6条查询结果,搜索用时 15 毫秒
1
1.
介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的。 相似文献
2.
3.
正徐垚,一米七○的个头,白净的面孔,跟战士谈起心来,总喜欢引用几个典故,所以就得了个"白面书生"的雅号。可是,在不少官兵眼里,他可是一位"黑脸判官"。因为他是大队的警卫排排长,负责日常的军容风纪纠察。警卫排不仅担负大队的营门岗哨勤务,而且还负责营区官兵的军容风纪纠察。严整的军容、笔挺的军姿、标准的齐步,警卫排战士的站立行走,总给人一种不怒而威的 相似文献
4.
提出了一种面向故障的软件测试方法,用以检测C程序中坏的存储分配、存储泄漏、空指针引用、数组越界和未初始化变量等5类故障.该方法在词法分析和语法分析的基础上,利用检查点查找算法查找可疑点,通过适当的人工确认,能够有效找出软件中的故障. 相似文献
5.
本文描述了用电子表格软件开发动态船舶操纵仿真模型的技术。文中用自引用公式对动态仿真模型的公式进行了编程。该技术不需要电子表格的宏指令。对电子表格用于动态仿真建模的利弊在文中也进行了讨论。 相似文献
6.
《中国人民武装警察部队学院学报》2015,(2):97
《武警学院学报》学术理论性强,特色鲜明,读者面广,选稿用稿公平公正,刊发文章的下载率、引用率、转载率高,具有较高的知名度和广泛的影响力。常年开设:边防研究、警卫研究、维和研究、执法研究、反恐处突研究、教育训练研究、思想政治工作研究、部队建设研究;消防理论研究、灭火救援技术、火灾预防、消防安全评价、火灾调查、消防监督管理等栏目,热诚欢迎各界专家学者惠赐佳作! 相似文献
1