基于过程与场景分析的航天应用软件测试方法

航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点,如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例,提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术,绘制软件系统运行流程图、阶段分析图,建立可表述软件系统级行为的场景树模型和场景树图;根据测试充分性要求,提出基于场景树图的路径覆盖准则,给出满足路径覆盖准则的测试用例集自动化生成算法;结合工程实例,给出了方法应用数据,开展测试结果分析。验证结果表明该测试方法是可行的和有效的,能够保障软件测试的充分性。     

智能仪器接口在点火系统测试中的应用

本文从硬件及软件两个方面论述了ＧＰＩＢ接口在示波器与计算机通讯方面的应用，从而使数字存储示波器在测试汽车点火系统性能方面发挥更大的功能。同时，介绍了作者在应用过程中对其驱动软件的优化和一些经验。     

鼎桥公司TD-SCDMA系统测试和性能

TD—SCDMA是2005年通信行业特别关注的一个焦点，从TD—SCDMA的研发与产业化进展、技术试验、政府引导等各个方面，可以明显看出国家对TD—SCDMA的关注达到了一个新的高度。2005年也可以说是TD—SCDMA的专项测试年，为了进一步支持和检验TD—SCDMA的产业化进展，TD—SCDMA研发和产业化专项专家组为TD—SCDMA网络技术试验制定了总体方案。     

软件测试工作的初探

本文从大型电子产品软件测试意义、目的方法出发,详细地论述了软件测试的基本概念、软件测试的原则、软件工程和软件开发各阶段中软件测试应作的工作。     

SDH干线光缆通信系统测试中的几点考虑

本文针对ＳＤＨ干线通信系统测试项目，系统指标，测试方法等问题进行了概括介绍，论述了ＳＤＨ系统工程需要解决的几个问题，提出了工程实际中解决问题的方法和建议。     

安捷伦推出InfiniiMode三态有源差分探头

安捷伦科技公司(NYSE:A)日前宣布推出新一代低价位1.5 GHz/3.5 GHz/6 GHz InfiniiMode三态有源差分探头,用于探接高速差分信号。这种探头特别适合于嵌入式数字电路和系统测试、差分串行总线测试。     

一种新型集散控制系统功能--系统测试

在介绍新型开放型集散控制系统CS1000／CS3000的基础上，文章重点对工程的概念和系统测试功能的特点、类型、功能及应用进行了阐述。     

基于功能相关性的智能变电站二次系统功能测试验证方法

针对现有智能变电站二次系统功能测试结果仅通过观测二次设备行为得到,而未考虑设备行为背后的信息流程导致的被测功能正确性的误评估问题,该文利用分支流树建立能够反映功能与信息流关联关系的二次系统功能相关性模型,并以功能测试过程中的相关报文为触发条件,通过功能相关性模型与被测功能产生的信息对比进行被测功能正确性判断。通过自动布局算法完成测试过程中相关设备、链路、信息以及测试结果的展示。最后,通过在某220 kV智能变电站进行试验,证明该方法在测试环节中对功能正确性验证的有效性。     

基于数据挖掘三维数字图像模糊增强系统设计

目前对于三维数字图像模糊增强使用的系统存在图像处理耗时过长的问题。为了解决此问题,设计基于数据挖掘三维数字图像模糊增强系统。设计系统整体框架包括电源模块、外围接口模块、核心处理模块以及存储模块。在整体框架基础上,使用ARM处理器,设计电源电路和外围接口电路,完成系统的框架搭建。利用数据挖掘技术对三维数字图像特征进行提取,并计算模糊特征值,通过模糊特征值和模糊隶属函数实现图像模糊增强,至此系统整体设计完成。测试结果表明,与传统的图像模糊增强系统相比,基于数据挖掘三维数字图像模糊增强系统的处理图像所耗时间缩短了25.86%,适合应用在三维数字图像增强中。