模型驱动的EJB构件测试建模研究

基于对Web系统的特点研究,提出了一个全面测试Web系统的框架.并基于模型驱动的软件测试思想(MDT),重点研究了此框架中的中间业务逻辑层的测试建模方法:定义了一个平台相关的测试模型(PSTM)——EJB构件测试模型;并给出了对它的模型复原算法和模型一致性检测方法.该测试建模方法,从软件构件的层次,实现了EJB静态结构和动态行为的建模,并通过模型一致性检测实现EJB代码的潜在缺陷检查.这一测试模型将为测试用例和测试数据的生成提供有力的支持.

分布式复杂系统软件测试建模方法与应用研究

针对当前分布式复杂系统软件测试周期短、测试质量要求高、传统的软件测试方法效率低下问题,结合基于模型的软件开发技术广泛应用的现状,研究了软件测试建模技术,定义了分布式复杂系统软件测试模型,提出了分布式复杂系统软件测试建模方法,并分析应用前景,能够支撑软件测试建模及用例生成工具的研制,为分布式复杂系统软件全过程自动化测试及测试复用提供技术方法。

多状态系统测试建模与测试点选取方法

为解决测试性设计过程中的退化状态测试问题,提出了基于结构和功能的多状态系统测试建模与测试点选取方法。首先,结合多状态系统中对性能状态的描述,明确了以结构和功能为对象的多状态系统测试建模的总体思路,并对模型中的结构、功能和测试相关描述进行了分析;其次,对状态测试问题进行了分析,并对单个测试能够检测的状态集与测试集组合能够检测的状态集的计算方法进行了研究,并提出状态检测率的概念对系统状态的测试指标进行量化;最后,考虑到系统测试性设计与分析中包含故障的测试性问题,结合故障检测率、故障隔离率和状态检测率,提出了测试代价约束下的多状态系统测试点选取方法。结果表明:多状态系统测试建模方法不仅能够对故障的测试性进行分析还能够对退化状态的测试性进行分析;相较于二态系统测试选择方法得到的最佳测试集,在测试代价限制的情况下,多状态系统测试选择方法得到的最佳测试集能够获得较高的状态检测率;在测试代价无限制的情况下,多状态系统测试选择方法得到的最佳测试集不仅能够获得较高的状态检测率,还能获得与二态系统相同的最大故障检测率和故障隔离率。

基于测试性建模的调距桨装置电液系统故障诊断

从调距桨装置电液系统测试性分析出发,开展调距桨装置电液系统诊断策略优化研究,使用基于故障概率和信息熵的Rollout算法进行测试序列优化,最终形成一套基于测试性建模的调距桨装置电液系统离线式故障诊断系统,在调距桨装置电液系统试验台架上完成验证,可以正确定位模拟故障,具备指导用户进行现场故障诊断与定位的能力。

基于虚拟测点的雷达测试性建模技术研究

复杂雷达电子装备逐步迈向智能化、信息化、综合化发展的新阶段,为了保障雷达电子装备的健康运行,亟需研究可靠的测试性设计与分析方法。其天线阵面分系统内部设备种类繁多,综合网络错综复杂,导致当前的测试性设计与分析技术难以满足需求。依托TEAMS软件平台,提出了一种基于虚拟测点的测试性建模方法。该方法通过构建虚拟测点来对装备进行状态监测和综合诊断,间接获取装备的状态信息,进而对雷达电子装备的测试性水平进行分析和评估。通过工程应用案例对提出方法进行验证,结果表明提出方法可以有效提高电子装备的测试性水平。

某相控阵雷达天线测试性建模与指标优化研究

以某相控阵雷达天线面阵为分析对象,基于相关性模型对天线面阵进行测试性建模仿真,得到故障检测率、故障隔离率等指标。根据仿真结果分析冗余测试与不可检测故障,完成测试性模型优化改进。与优化前的结果相比,故障隔离率有了明显提高,从而验证了测试性优化的有效性,可为其他产品测试性建模与优化设计提供参考。

基于多信号模型的系统测试性建模与分析

多信号模型是一种简单而有效的系统建模表示方法,已被美国QSI公司引入其TEAMS(测试性工程和维修系统)软件中,用于系统测试性分析和预计、可靠性分析以及故障诊断等.对基于多信号模型的系统测试性建模与分析方法进行深入研究,结合示例具体给出多信号模型的表示和建模,故障-测试相关矩阵以及未检测故障、模糊组、冗余测试、故障掩盖、故障检测率和故障隔离率等的具体分析过程和算法.算法分析结果与应用TEAMS软件分析结果相一致.基于多信号模型的测试性分析方法,虽然不能给出一个全面的测试性评定结论,并存在着不足之处亟待改进,但易于实现计算机辅助分析,对系统测试性设计工具的研发具有价值.

基于多信号流图的分层系统测试性建模与分析

为了对分层系统进行测试性分析,提出基于多信号流图模型的分层系统测试性建模与分析方法.该方法利用多信号流图模型建立分层系统的层次结构模型,进行测试性分析时,首先利用相关性模型法对顶层模型进行测试性分析,当层次性模块与其它模块不能区分时,再利用相关性模型法对模糊组进行测试性分析,最终实现对分层系统的诊断设计.最后,利用某具有层次性结构的滤波放大器电路对该方法进行了验证,试验结果证明,该方法对于分层系统的测试性建模与分析是有效的,能够为分层系统制定有效的诊断策略.

基于贝叶斯网络的系统测试性建模与分析

针对现有测试性建模方法对系统不确定信息描述及分析上的不足,提出了基于贝叶斯网络的测试性建模与分析方法。首先结合贝叶斯网络的基本理论,阐述了系统测试性模型的构成要素及建立流程,用相关性矩阵表示系统故障-测试之间的关联,用条件概率矩阵描述两者间的不确定信息;然后给出了测试性指标的具体分析过程和算法;最后通过实例验证了方法的有效性。

通断式多态系统扩展测试性建模方法

现有测试性建模方法有一定的约束条件,包括故障判据的一致性、故障传递关系的一致性、测试的逻辑值判据一致性.针对通断式多态系统具有的状态差异性的特点,提出了一种扩展测试性建模方法.在引入状态集合的基础上,对故障、测试、D矩阵和诊断树进行了扩展定义,最后定义了扩展测试性模型.介绍了扩展测试性建模分析的算法,主要有模型建立算法、扩展D矩阵生成算法、扩展诊断树生成算法.以某液压操纵系统为例进行了应用,结果验证了方法的可行性和有效性.

机械系统的故障演化测试性建模及预计

采用部件级及系统级的分层建模思想,提出基于故障演化的测试性建模方法.在部件级,分析系统的故障演化机理,建立描述系统故障与征兆参数的定性相关性矩阵;在系统级,使用键合图的分析方法,建立系统中部件故障与子系统以及系统参数间的能量传递关系,进而获得征兆参数与测试间的动力学关系.在考虑故障可检测率、故障可隔离率的基础上,以故障可预测率以及故障可跟踪率分别描述系统对故障的检测、隔离、预测和跟踪的测试性水平.案例分析结果表明:故障与征兆参数的定性关系以及征兆参数与测试的动力学关系能准确刻画机械系统中故障演化与测试的关系,在此基础上提出的测试性预计方法能够有效评估机械系统对故障的检测、隔离、跟踪和预测能力,有助于提高机械系统对故障演化的跟踪和对失效的预测水平.

基于混合诊断模型的测试性建模技术研究

测试性模型是进行电子设备测试性设计与分析的基础,因此,构造良好的测试性模型是进行测试性分析的关键;以混合诊断模型为基础,对测试性建模技术进行研究;首先,对混合诊断模型的诊断推理进行了研究,并在此基础上深入分析了功能和故障模式之间的故障率传递关系,实现功能和故障模式在同一相关性模型中建模;最后,利用混合诊断模型对某滤波电路进行测试性建模,并在eXpress软件中进行验证,获得该电路的测试性指标和诊断树;事实证明,混合诊断测试性建模是一种有效的测试性模型,将该模型应用于电子设备的诊断设计中是可行、有效的。

基于相关性模型的舰船系统测试性建模与分析

本文提出一种基于相关性模型的舰船系统级产品的测试性建模与分析方法。该方法通过建立产品任务模型、相关性图示模型等,利用一阶相关性列矢量法求解产品的相关性数学模型,进而建立产品诊断树和进行测试性预计,并为优化产品诊断策略提供建议。同时,根据舰用燃气轮机滑油系统组成和任务特征,建立其典型任务模型并进行精简,并在此基础上进行测试性建模、诊断树建立、测试性预计以及诊断策略优化等工作,为舰船系统级产品的测试性建模、分析和诊断策略研究提供新思路和手段。

基于任务的舰船装备测试性建模与分析研究

提出一种基于任务的产品测试性建模与分析方法,该方法通过建立产品基于任务的信息流图示模型,利用直接分析法或一阶相关性列矢量法求解产品故障的D矩阵模型,进而建立产品诊断树和进行测试性预计,并为确定诊断策略提供依据。同时,本文根据某水面舰船电力系统组成和任务特征,建立其典型任务模型并进行精简和细化,在此基础上进行基于任务的测试性建模、诊断树建立及测试性预计举例研究,为舰船装备的测试性建模、分析和诊断策略研究提供新思路。

实时嵌入式软件系统测试需求建模研究

使用形式化语言构建测试需求模型,有助于提高系统测试的自动化程度。UML状态图具有形式化特征,适合复杂系统详细行为的描述。本文基于面向对象思想,以状态图为核心技术,结合类图,提出了一种适合实时嵌入式软件的系统测试需求建模方法。该方法对被测软件系统的静态结构和动态行为进行建模,能清晰、完整地描述测试输入信息,包括前置条件、接口数据、激励事件、过程描述、后置状态等。并通过相关的建模机制实现了对实时性、并发性、时序性及数据反馈等约束特征的描述。基于该方法生成的需求模型,结合一定的测试用例生成策略,可以自动生成测试用例。作为示例,本文结合该方法对某飞行器控制功能进行建模,模型具有简洁、直观、易用的特点。

基于测试性建模的飞行器典型系统设计应用研究

测试性建模能够从设计之初改善飞行器的自主检测能力,有效降低设计风险,从而更准确地掌握其运行状态。本文阐述了测试性建模与分析原理,提出了测试性建模系统设计与分析流程,采用多信息流的图形化建模手段对某飞行器典型系统核心控制单元进行实例设计应用,结果表明该设计方法有效,满足总体设计指标要求。

装备测试性建模与分析软件框架设计

现代装备的功能越来越先进,相应的结构和技术也越来越复杂。对于复杂设备的测试和诊断越来越重要。通过装备测试性建模与分析的方法来改善测试性设计,已经成为提高装备测试能力和测试总体优化,进而全面、快速、准确地感知装备技术状态的有效手段。在测试性设计等工作的基础上,设计了装备测试性建模与分析软件。软件结合已有的CARMES 6的FMECA、可靠性预计等模块功能,设计了包括测试性建模、测试性分析等模块,为装备测试性设计提供有力的软件工具支持。

基于DPSO的不确定系统测试性建模

针对关联模型在复杂装备测试性评估中对不确定问题描述与分析的缺陷,给出了基于贝叶斯网络的测试性模型,利用条件概率描述系统的不确定信息。在基于统计数据的测试性建模与评估中,由于故障征兆与故障原因统计的不完全性,致使测试性建模属于数据不完备情况下的结构和参数学习问题,针对该问题利用离散粒子群算法,通过测试性数据完备化,以贝叶斯测度为计分值,实现贝叶斯网络结构学习。最后通过实例验证了算法的正确性和有效性。

一种通用测试工程建模平台的设计方法

随着测试系统从单一的专用系统向多功能的通用开放系统方向发展,测试软件通用性实现方法的研究受到了广泛的关注。研究设计一套高效的、易于理解的通用测试软件系统成为自动测试领域的迫切需要,为了实现此目的,将重点提出一种测试工程建模平台(test engineering model platform,TEP)的设计方案。此方案的提出能够大大降低在产品测试信息建模时对传统测试人员编程能力的要求,它将会是维修、测试机载产品过程中的重要工具。该平台将应用于四线制电阻阻值的测量实验,并得出相关的实验数据论证TEP建模平台的可靠性和有效性。

面向生命周期的复杂电子装备测试性建模

综合国内外现有的测试性标准和模型,提出了一种面向复杂电子装备生命周期的层次化测试性建模方法。该方法体现了”并行工程”思想,从生命周期角度考虑测试性设计,支持复杂电子装备的健康管理。给出的测试性设计框架不但充分利用了现有的商用成熟技术,而且构建了自身的与可靠性、与可维护性相关联的复用数据库,被证明可以大大提高复杂电子装备测试性设计的一次成功率,缩短研制的时间,改善设计质量。