交通诱导系统中动态路径诱导算法的研究

动态交通网络中两节点之间最优路径的选择是目前的一个重要难题。通过对比不同的静态路径算法,并结合实际交通网络的特点,最终选择以A＊算法为基础,并在此之上研究出实现动态交通网络中路径诱导的方案。     

战术导弹制导控制系统动态性能测试方法研究

首先分析了导弹制导控制系统被等效为二阶模型时其动态指标对弹道稳定性的影响,在此基础上提出了一种简单快捷的动态性能测试方法,将弹体简化模型实时解算,并将计算出的弹体运动信息实时注入导弹的反馈控制回路,使导弹控制回路闭环,利用时域方法测试出制导控制系统动态特性曲线,与数字仿真计算出的标准曲线对比,即可评估其性能是否满足动态指标的要求.给出了测试实例,证明方法是有效可行的.     

基于静态分析和动态检测的xss漏洞发现

Web应用程序数量多、应用广泛,然而它们却存在各种能被利用的安全漏洞,这当中跨站脚本(XSS)的比例 是最大的。因此为了更好地检测Web应用中的XSS漏洞,提出了一种结合污染传播模型的代码静态分析及净化单元 动态检测的方法,其中包括XSS漏洞所对应的源规则、净化规则和接收规则的定义及净化单元动态检测算法的描述。 分析表明,该方法能有效地发现W cb应用中的XSS漏洞。     

Tutorial: Static Analysis and Dynamic Testing of Computer Software

Computer programs can be checked for errors statically and dynamically. Static analysis looks for structural and semantic faults in programs. Dynamic analysis affirms proper operation—and helps identify errors.     

软件静态度量和预测模型研究

软件测试中,静态度量和测试的预测,可以有效提高测试的效率,降低测试成本。文章在对软件测试技术研究的基础上,提出了一个基于谓词的静态度量分析法和曲线重心预测法,经实验和数据分析表明效果良好。     

基于虚拟仪器的电液比例方向阀静动态特性综合CAT系统

首次采用压力传感器构成压差反馈闭环控制,解决了电液比例方向阀稳态流量特性测试时阀压降恒定问题,使其在测试过程中阀压降波动控制在国标规定的5%以内.采用虚拟仪器技术实现了对电液比例方向阀的静动态综合特性测试,主要包括静态特性的稳态流量特性、压力增益特性、负载流量特性、流量压降特性和动态特性的频率特性、阶跃响应特性,并给出了某电液比例方向阀各种特性的实测结果.     

数字滤波技术在工程测试系统中的应用研究

本文在阐述信噪比及数字滤波常用算法的基础上,对IIR滤波器设计原理、指标性能及设计方法进行了分析,并结合一工程数据对其滤波效果进行了验证和处理,为数字滤波技术在工程测试系统中的应用提供了一定的看法.     

基于数字集群的静态图像传输系统设计

针对地铁、公安、政务等多个领域的迫切需求，提出了基于教字集群的静态图像传输系统的功能，对系统主要功能和特点进行了描述，然后从软硬件组成和关键设计两个方面介绍了系统的总体设计，根据总体设计重点从智能手机终端软件开发方面介绍了系统的功能实现，并使用实际的实验测试环境对系统进行测试，通过实验结果分析，验证了系统功能可用性，最后总结了设计结论。     

基于行为协议的构件软件静态测试研究

系统的静态分析能在设计开发阶段发现错误,从而避免了在运行时错误检测技术在系统执行期间带来的负面影响。基于尽可能避免静态错误这一构件测试策略的基本思想提出了一种对构件化软件系统进行静态测试的方法。采用通信模型对数据库服务构件系统进行抽象建模,并结合用于描述构件系统中构件之间交互的形式化方法行为协议,通过对构件系统构件行为协议的一致性验证,从而测试构件交互的正确性。     

基于行为协议的构件软件静态测试研究

系统的静态分析能在设计开发阶段发现错误,从而避免了在运行时错误检测技术在系统执行期间带来的负面影响.基于尽可能避免静态错误这一构件测试策略的基本思想提出了一种对构件化软件系统进行静态测试的方法.采用通信模型对数据库服务构件系统进行抽象建模,并结合用于描述构件系统中构件之间交互的形式化方法行为协议,通过对构件系统构件行为协议的一致性验证,从而测试构件交互的正确性.