共查询到10条相似文献,搜索用时 15 毫秒
1.
数组越界的静态测试分析 总被引:4,自引:0,他引:4
给出了一种静态分析方法,静态分析的主要优点就是在程序运行之前就可以对程序故障进行定位。文章首先针对数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,给出了这类错误的静态分析方法,并给出了相应的算法,而后给出了测试系统设计和开发,最后给出了软件测试的实验结果和分析。 相似文献
2.
本文针对多通道线性系统,给出了Luenberger形式的观测器,讨论了其收敛的条件,利用多通道线性系统特征结构配置理论,给出了设计的方法,并给出了实例和仿真结果。 相似文献
3.
本文论述了计算机辅助逻辑模拟的基本方法,给出了门级逻辑模拟算法,并在IBMPC-286上编程实现。文中对算法进行了分析。给出算法的时间和空间复杂度。最后给出实例,实践表明,使用本文给出的算法可取得与实际吻合的模拟结果。 相似文献
4.
本指出了《单片机系统的加密技术》一中的四个理论性错误,给出了理论证明和分析,好其好的加密方法给出了理论上保密性能的分布,并给出了一种较好的加密算法。 相似文献
5.
陈锐 《计算机技术与发展》2006,16(8):30-34
在多维数据压缩的基础上,提出了多维数据的CUBE计算方法。首先给出了无限内存算法,其次给出了一个不完全立方体算法,最后给出了完整立方体的计算方法。并与其他CUBE算法作了比较。 相似文献
6.
7.
8.
基于AI的主动数据挖掘技术在网络故障管理中的应用 总被引:3,自引:0,他引:3
讨论了基于人工智能的主动空间数据挖掘技术在故障管理中的应用,给出了一个应用模型,其中主动空间数据挖掘技术主要体现在数据融合,数据挖掘和知识发现的过程中,文中首先给出了规则定义和触发器定义,并对专家系统的知识发现过程给出了基于时间窗口的告警关联算法,最后给出了在仿真环境下的系统性能测试分析,模型实现和分析数据表明该模型是的可行的。 相似文献
9.
首先给出了用于代数不变量的“参照系”和“坐标”的概念,然后给出了一个基于代数不变量进行目标识别的算法,最后给出了算法的实验结果。 相似文献