基于模型的FADEC软件结构覆盖率分析

结构覆盖率分析是基于需求测试的补充和完善,能够发现软件中是否存在预期外的功能.在基于模型的软件开发过程中,模型覆盖率代替了传统的代码覆盖率,运用模型检查技术自动生成测试用例是形式化方法在模型覆盖率测试中的主要途径,涵盖了判定覆盖(DC)、条件覆盖(CC)、修改条件/判定覆盖(MC/DC)等多种方式.以航空发动机FADEC软件开发过程中的一个实际案例为例,结合Simulink Design Verifier分析验证工具,检验其生成的用例对模型的覆盖率,表明方法的实用性.     

基于JTAG的模块测试方法

简要阐述了边界扫描测试的基本用途,介绍了边界扫描的结构及特点;分析了JTAG的命令和使用方法、测试向量的生成方法;最后给出三个应用实例:使用JTAG对单个器件的测试,互连测试和对器件编程。     

一种基于组合覆盖的黑盒测试用例自动生成方法

给出了一种黑盒测试用例的自动生成方法,该方法基于组合覆盖测试,能够在保证测试质量的同时有效地减少测试用例的数目和测试成本,提高测试效率。本文给出了这种用例生成方法的算法,说明了其有效性,并介绍了该方法软件原型的实现。     

FMS运行控制软件自动生成原理及其结构

本文在对ＦＭＳ运行控制软件的功能进行分析的基础上，提出了ＦＭＳ运行控制软件自动生成的方法及其自动生成系统的框架模型，详细讨论了实现自动生成系统的关键问题。     

基于T-VEC的需求模型建立和用例设计验证

在需求和设计层面上介绍了基于T-VEC的建模与分析方法,生成的测试向量达到路径、决策和条件的全测试覆盖,保证了每个需求功能点得到充分的测试。本文以调光控制系统为例,针对自动调光算法提出并建立了迟滞环控制模型,通过模型分析识别需求中的缺陷、生成测试向量和测试驱动、编译和执行测试驱动、执行结果分析。验证结果表明了该方法在航空嵌入式软件测试中的有效性和实用性。     

灰盒测试方法在软件可靠性测试中的应用

 阐述了软件可靠性测试的概念和灰盒测试方法在软件可靠性测试中生成测试数据方面的应用,给出了方法用于可靠性测试中的工作流程,分析了其与传统的可靠性测试方法相比的优越性以及尚未解决的局限性,展望了未来的研究方向。     

一种基于约束框架的棱柱网格生成方法

提出了一种基于约束框架的棱柱网格生成方法,即利用物面网格节点与背景结构框架网格之间的单一映射关系线性插值生成棱柱网格。背景结构框架网格基于TFI方法生成。物面网格节点与背景框架网格之间的映射关系通过一种线性投影方法建立。然后通过V型槽、圆球、M6机翼和F6翼身组合体四种不同外形对该棱柱网格生成方法进行了测试,测试结果表明该方法能够避免棱柱网格生成中的网格交叉现象,保证棱柱网格的成功生成。该方法在棱柱网格质量控制、棱柱网格局部修改等方面具有较好的效率和优势,但背景框架网格的生成依然是该方法的一个瓶颈,需要进一步的研究。     

分形图形的计算机生成

本文基于羊齿叶的特定形状，通过对分形集及其性质的讨论，给出了利用计算机生成分形集的一般途径及方法，并运用ＩＦＳ方法建立了计算机生成羊齿叶的数学模型。     

32位微处理器的边界扫描设计

对边界扫描测试的支持是９０年代设计的微处理器的基本要求,ＮＲＳ４０００ 微处理器的边界扫描测试共支持８条指令,其中６条是公开指令,２条是私有指令．ＮＲＳ４０００边界扫描测试设计的特色主要体现在它提供了一个芯片测试、诊断调试的统一控制接口,支持内建自测试和内部部分路径扫描测试,形成了一个以边界扫描测试为主体,以自测试和部分扫描测试为支持的芯片测试机制．     

基于某机载视频部件智能检测系统的设计与实现

检测系统是检测产品功能、性能以及产品是否能满足用户需求的重要测试工具,机载计算机技术指标的测试从准确度、覆盖率以及稳定性、可靠性方面对其检测系统提出了更高要求。原始的视频信号检测需使用视频图像和测量工具相结合的方法进行,不易于故障定位及维修。主要阐述了基于某机载视频部件的智能检测系统的设计和实现,突破了原始的视频信号检测方法,检测系统通过对5种不同格式的视频信号进行自动检测,显示出详细全面的测试信息,实现了检测系统对被测件的智能检测,使得检测系统的故障覆盖率、准确度得到保证。该检测系统已成功运用于某机载视频部件,且性能稳定可靠,同样适用于其它机载设备中同类产品的检测。     

SCADE 在航空发动机FADEC 软件开发中的应用

为了探索SCADE开发环境在基于模型设计（MBD）的软件开发中的优势,理解其建模和自动代码生成机制,研究其在基于模型的测试和覆盖率分析中的实现方法,基于某型航空发动机FADEC系统的健康管理软件开发,应用了SCADE开发环境的建模、仿真、测试及覆盖率分析、代码生成与集成的全流程的MBD开发方法,并进行了完整的系统测试,测试用例全部通过。系统测试的结果验证了基于SCADE开发环境进行FADEC软件开发的正确性和可靠性,为SCADE开发环境在航空发动机FADEC软件开发中的应用提供了技术指导和工程借鉴。     

面向人机交互式软件的测试模型建模方法

从测试用例自动生成和自动执行的角度来探讨如何对人机交互软件建立测试模型。采用UML活动图模型来描述软件的人机交互过程。为了能够从活动图模型中生成一组确定的可执行的测试用例，给出了一组规则来细化基于活动图的测试模型所表达的语义，同时也对活动图做了一些扩展，以支持基于模型的测试用例自动生成及其自动执行。给出的建模方法，能够减少某些冗余的测试用例。     

诊断专家系统基于故障树的知识获取

近年来，诊断专家系统（ＦＤＥＳ）得到了广泛的应用和发展，而知识获取被公认为是建造ＦＤＥＳ的一个瓶颈问题。本文提出了一种简捷、通用的知识获取方法：利用系统故障树（ＦＴ）进行知识获取。该法在给故障树增加诊断信息的基础上，通过求解故障树的割集自动生成ＦＤＥＳ的知识库。     

SFCAGS的车间控制和计划策略

ＳＦＣＡＧＳ是用于单件小批量机加车间管理与控制软件经济快速开发的自动生成系统。本文介绍了ＳＦＣＡＧＳ中针对单件小批量的机械加工车间的特点所采取的控制策略和计划策略，它既考虑了企业的先行运行习惯，又有一定的先进性。     

ＳｉＢＡｌＯＮ 陶瓷前驱体的制备与裂解

以聚铝氧烷为铝源ꎬ聚硼硅氮烷兼作硼源和硅源ꎬ共混得到ＳｉＢＡｌＯＮ 陶瓷前驱体ꎬ经高温裂解得

到ＳｉＢＡｌＯＮ 陶瓷ꎮ 采用ＴＧＡ 和ＸＲＤ 对ＳｉＢＡｌＯＮ 前驱体的裂解行为及陶瓷产物晶相结构进行表征ꎮ 结果表

明ꎬＡｌ 的引入降低了陶瓷的结晶温度ꎬ当陶瓷中的Ａｌ 含量为１０ｗｔ％时ꎬ１ ３００℃ 处理后析出β－Ｓｉ３ Ｎ４ 晶体ꎬ１

５００℃时ꎬ陶瓷中的Ａｌ 和Ｏ 与无定型的Ｓｉ－Ｎ 结合生成出现Ｓｉ２Ｎ２Ｏ 和Ｓｉ３ Ａｌ３ Ｏ３＋１.５ｘ Ｎ５－ｘ结晶ꎬ１ ７００℃时Ａｌ 和Ｏ

与结晶的β－Ｓｉ３Ｎ４固溶生成β’ －ＳｉＡｌＯＮ 结晶ꎬ最终陶瓷产物晶相组成为Ｓｉ２ Ｎ２ Ｏ/ Ｓｉ３ Ａｌ３ Ｏ３＋１.５ｘ Ｎ５－ｘ / β’ －ＳｉＡｌＯＮꎮ

对陶瓷的介电性能进行研究表明ꎬ温度<１ ０００℃时ꎬ其介电常数和介电损耗较为稳定ꎬ分别约为３ 和<０.００４ꎮ

     

紊流火焰温度和浓度的激光喇曼光谱测量

 激光多普勒测速仪的出现使紊流速度场的准确测量变成了现实，紊流火焰温度分布和浓度分布等标量的测试研究成了国内外燃烧研究工作者极为感兴趣的课题。阐述作者在德国宇航院燃烧物理化学研究所采用激光自发喇曼散射法（ＬａｓｅｒＳｐｏｎｔａｎｅｏｕｓＲａｍａｎＳｃａｔｔｅｒｉｎｇ）所进行的紊流扩散火焰实验研究工作，其测试结果与采用紊流雷诺应力模型的数值模拟结果十分吻合     

一种SDH光纤传输系统设备时钟的研究与实现

介绍了一种具有很高频率和相位稳定度的ＳＤＨ设备时钟的构成及设计原理，并给出了有关的测试结果，测试结果表明，该ＳＤＨ设备时钟对时钟基准具有很好的跟踪特性。     

基于InfoLSGAN和AC算法的滚动轴承剩余寿命预测

为解决小样本和噪声干扰下滚动轴承剩余寿命(RUL)预测准确率低的问题,提出一种基于信息最小二乘生成对抗网络(information least squares generative adversarial network,InfoLSGAN)和行动者-评论家(actor-critic,AC)算法的滚动轴承剩余寿命预测方法。将堆叠降噪自动编码器、信息生成对抗网络和最小二乘生成对抗网络相结合,构建InfoLSGAN,自动地从噪声数据中提取可解释的鲁棒特征,解决梯度消失问题;采用基于AC的训练算法训练InfoLSGAN,减少训练时间,加快收敛速度;根据训练后的InfoLSGAN,利用softmax分类器预测测试样本中滚动轴承的剩余寿命。通过滚动轴承加速疲劳寿命试验验证该方法的有效性。试验结果证明,当信噪比等于0时,该方法对滚动轴承测试样本的寿命预测准确率至少提高了10%。在小样本情况下,滚动轴承剩余寿命预测的平均准确率达9584%。     

扫频RCS测试系统原理及应用

本文介绍了我国第一台室内扫频ＲＣＳ测量与微波成像测量两种功能兼容的测试系统，简述了其基本结构和工作原理；展示了关于ＲＣＳ测量和成像测量的实用信号处理方法；并例举了某些实测结果。     

叶片CAT型线图的自适应生成

介绍在计算机集成信息系统中（ＣＩＩＳ），利用三坐标测量机测量叶片、自适应生成型线图的方法，包括曲线类型、曲线段数、分段点和曲线参数的自适应选择，通过试用对文中提出的方法进行了验证评价．关键词