【摘 要】
：
基于对程序源代码的静态分析方法,针对C/C＋＋程序中的变量定义未使用故障和变量未初始化故障,提出了一种自动测试方法。以变量定义未使用故障和变量未初始化故障的表现形式为基
【机 构】
：
装甲兵工程学院信息工程系,国家海洋局
论文部分内容阅读
基于对程序源代码的静态分析方法,针对C/C＋＋程序中的变量定义未使用故障和变量未初始化故障,提出了一种自动测试方法。以变量定义未使用故障和变量未初始化故障的表现形式为基础,从面向具体故障的测试思想出发,并以此为基础,综合应用了抽象语法树和控制流图,提出了一种静态查找这些故障的方法。测试结果表明,该方法能够有效检测变量使用的故障,提高了测试结果的精度。
其他文献
针对卡车优化调度中心实时运行部分维护困难、更新改造工作量大的问题,应用面向对象方法对原结构化程序进行改造,既实现了结构化程序设计与面向对象设计的有机结合,又充分发
用十六烷基吗啉与十二烷基吗啉作混合浮选剂对NaCl进行了浮选试验,结果表明,十六烷基吗啉体积分数为30%时浮选效果最好,即十二烷基吗啉与十六烷基吗啉体积比的最佳配比为7:3.
随着斜拉桥跨度的增大,其几何非线性因素影响越来越明显,这就需要寻求考虑几何非线性影响的特大跨度斜拉桥施工线形预测方法。文章分析BP神经网络算法的基本原理及改进措施,
以五氧化二磷、无水乙醇、硝酸钙为原料，通过溶胶-凝胶法制备羟基磷灰石涂层。选用2mm／s的速度浸渍提拉载玻片，在载玻片上进行涂膜，经60℃干燥后在650℃保温3h，可在载玻片上得到羟
文章对某钢桁梁黄河大桥进行了损伤数值模拟,提取其固有频率作为BP神经网络的输入参数来训练网络,对桥梁整体的损伤进行诊断,并根据实桥损伤诊断的结果提出了一种改进的BP神
串口同步采集是工业控制应用的重要环节,为克服由于不准确的数据采集所带来的乘性误差,进而对多串口的同步采集进行了研究。利用VS2005编程环境,设计实现了多串口的上位机数
随着非易失存储器的出现和广泛使用,存储体系结构正在发生根本改变.传统数据库系统与文件系统事务处理技术大多基于磁盘设备,设计之初并未考虑非易失存储器特性.为了充分利用
成本管理是企业管理重点研究的对象。在激烈的市场竞争中，企业产品之间的竞争主要体现在生产成本的竞争，企业要在竞争中自我生存和发展，就要根据市场的变化，结合自身的经营状况随