简介：软件测试是提高软件质量和可靠性的重要手段。从是否运行程序的角度来讲，测试分为静态测试和动态测试，代码检查属于静态测试的范围。本文首先讨论了传统软件测试方法的缺点和局限性，进而提出了代码自动检测的方法，随后给出了此类方法可检测到的故障类型，具体给出了程序静态分析技术和方法研究，依据该方法进行了软件测试系统的设计与开发，最后给出了实验结果和对比分析，并进一步明确了下一步的研究方向。

简介：本文从组织机构代码证网上年检系统的开发背景、工作原理、安全保障及运行环境出发，通过对系统流程的演示展示了年检系统的应用。

简介：日前，德州仪器（TI）宣布推出最新G2xx4与G2xx5器件，进一步壮大MSP430ValueLine微控制器产品阵营，推动其低成本产品系列发展。这些最新器件为TIMSP430ValueLine系列提供代码兼容升级路径，不但可将存储器闪存容量从16kB扩展到56kB，

简介：采用随机过程方法研究武器系统对目的域的随机穿越特性，以均值、均方差与自然频率等时空特征量为基础，建立在圆形目的域下平均穿越频率计算模型。利用MATLAB工具设计了武器系统效能分析辅助软件。

简介：针对小波域维纳滤波图像降噪存在计算速度慢和降噪效果较差，本文提出一种改进的小波域维纳滤波算法，将阈值化处理引入小波域维纳滤波，通过阈值化处理小波变换后的系数来提高降噪效果。依据改进算法的具体过程和算法步骤，运用MATLAB进行算法仿真，仿真结果表明，改进的小波域维纳滤波算法进行图像降噪可以有效地提高图像的信噪比，降噪效果良好，同时计算速度较快，节约时间。

简介：数字版权管理存在跨域认证问题上仍有些技术难题,针对现有的问题设计了更为合理的模型,以提升数字版权管理的科学性和有效性。对现有的跨域认证模型中未考虑用户平台环境因素的问题,提出了一种基于可信等级的跨域认证模型。通过给定平台可信等级、用户可信等级和域可信等级,并依据可信等级评估值动态地建立域间信任关系。安全性分析表明,使用该认证方法进行跨域认证可以有效地保护用户及平台环境的隐私。

简介：任何顺序控制问题都可用功能图来表示,当系统的功能图绘制好后,就可以使用PLC的有关指令将其转化为梯形图程序,通常可采用触点、线圈指令,置位复位指令,移位指令及专用的步进指令来实现将功能图转化为梯形图。本文介绍采用触点、线圈指令将顺序功能图转换成梯形图的方法。

简介：近日，意法半导体宣布其Lieger系列高成本效益解决方案已获Conax目前最高等级的安全证书，Conax是全球领先的数字电视条件接收解决方案供应商．ConaxContego内容保护平台确保运营商能够向内置意法半导体机顶盒芯片的多台电视及装置安全地传送优质的内容和服务。