基于UML活动图模型的测试用例生成技术研究

为了设计和生成系统工作流程的测试用例,引入测试大纲模型的概念,设计出从UML(Unified Modeling Language)活动图模型到测试大纲模型,再到测试用例模型的三级转换过程和一组消除活动图模型中的非结构化特征、将其转化为模块化的测试大纲模型,以及把并发子过程实例化为一组典型测试场景的基本规则.还研究了针对每一个输入操作,选择基本输入数据集,并将其赋予测试大纲模型之上,从而构造测试用例模型的方法,以及最终基于测试用例模型生成完备的测试用例集合的方法.      

基于模型测试方法在模拟器客观评估中的应用

逼真度反映飞行模拟器与真实飞机特性的一致性程度。 客观评估是一种通过模拟器与系统实际行为的测试比较来评估逼真度的工程方法。 飞行模拟器分为工程模拟器和训练模拟器。 用于飞行训练的训练模拟器构型很少变化,其测试用例由适航标准指导,而用于设计验证的工程模拟器,根据飞机研制进展经常需要升级或更改,其测试用例也会随之变化。 在当今民用飞机技术日趋复杂的背景下,亟需高效方法开展这一类型模拟器的逼真度客观评估测试。 在实验框架和系统实体结构和模型库框架的基础上,提出了一种基于模型测试的方法,在工程模拟器的客观评估的应用中,该方法可以实现测试用例的自动生成和执行,工作效率提升,流程具备灵活性和适应性,有助于在研飞机的定型或取证。     

振动计量测试基础 （连载之三）

第四章振动测量仪表及其使用§1 测振仪的基本电路振动测量系统,一般说来均由图4-1所示的方框图组成。其中,一次仪表是振动传感器;二次仪表是测振放大器(或称参量变换器);三次仪表是指记录或显示设备。二次和三次仪表都属于测振仪器之列。虽然它们的名称和功能各异,但就其构成来说,不外乎是由一些放大器、衰减器、滤波器、振荡器及微分、积分和检波电路等组成的。因此,欲掌握和使用以至于维修这些仪器设备,须首先了解和熟悉这些基本电路。在此基础上,参     

波长表自动频率测试系统

波长表的计量检定工作通常比较繁琐。为了提高工作效率及测试精度,我们组建了一套由计算机控制的波长表自动频率测试系统,给微波波长表的检定工作带来方便。     

8mm上变频器特性测试

本文介绍8mm上变频器特性测试方法和测试系统。通过几种类型的8mm上变频器测试,证明此系统具有多功能,可以方便地测出8mm上变频器的幅相特性、变频损耗、隔离度、噪声、带宽等十多种参数。并给出8mm上变频器的部分测试结果。     

一种高准确度超低频电压测试标准——8801超低频电压及失真测试仪

8801超低频电压及失真测试仪是一种采用单片计算机、A/D变换器的采样-计算式仪器,它可以测试超低频信号的周期、电压、失真和谐波等各种参数。电压测试不确定度高达0.02％。文中介绍了主要技术指标、工作原理、技术特点、误差分析等,对软件作了简要说明。     

测试性分配和预计

测试性设计是电子系统和设备设计的重要内容，测试性指标的分配和预计又是测试性设计工作的重要组成部分，但尚未见到实用的分配和预计方法。对测试性定量参数的定义进行了讨论，根据定义和工程需要导出测试性指标的分配和预计的数学模型，给出实用的分配和预计方法并用例作了说明。     

可凝性气体对低温光学元件表面污染的测试设备

详细介绍了某些可凝性气体对低温光学元件表面污染测试设备的基本原理，基本结构及使用方法；对其主要性能进行了实验测定，并给出了系统误差分析，该设备结构简单，功能齐全,性能可靠，使用方便；测试波段从近红外直至远红外，精度优于3％，与国外同类仪器相当，可用于各类可凝性气冷凝霜层的测试研究，为进一步发展空间技术提供了有效的研究设备。     

性能优异的尼日利亚通信卫星-1

尼日利亚通信卫星-1(Nigcomsat-1)是中国第1颗整星出口的商业通信卫星.它将满足尼日利亚在通信、广播、导航和宽带方面的迫切需求,并为部分西非国家经济共同体(ECOWAS)国家提供服务.2007年5月14日,该卫星由长征-3B火箭从西昌卫星发射中心成功发射,并于5月22日顺利定点于42°E,经过有效载荷在轨测试后,于7月6日正式交付用户使用.     

故障诊断策略的优化方法

 以相关性模型为基础,综合可靠性和测试费用等因素提出了一种系统级优选测试点方法和故障诊断策略。首先根据系统的相关性矩阵,将测试性度量、故障概率和测试费用统一考虑,推导出测试点的故障诊断信息量计算公式;然后根据信息量的大小依次选择测试点,并确定出优化的故障诊断策略。所得到的故障诊断策略确保了在较低的测试费用下,使用尽可能少的测试步骤快速完成系统的故障检测和隔离。