基于数据操作的航天测控软件测试复用模型

测试复用技术是提高软件测试效率和质量的重要技术手段,在分析航天测控软件行为模式的基础上提出了基于数据操作的航天测控软件测试复用模型,给出了测试用例搜索和匹配算法;以航天测控外测数据处理软件的可靠性测试为例给出了模型的具体应用。结果表明,基于给定模型的测试复用方法可提供该软件约65%的测试用例,有效提高了测试效率,所提出的模型和方法对专业领域软件测试效率和质量的提高具有一定的借鉴意义。     

面向实时嵌入式机载软件的测试技术研究

对实时嵌入式机载软件的测试方法进行了研究，针对机载计算机软件的时空约束、面向机器和容错计算等一系列特点提出一个适用于实时嵌入式机载系统的REAST软件测试模型，并对该模型实现中的四个核心技术进行了简要的阐明．最后，介绍了以上软件测试方法在实际工程项目中的应用情况．     

基于贝叶斯方法与稳健理论的滚动轴承摩擦力矩不确定度建立方法

基于贝叶斯方法与稳健化理论,提出一种未知分布时间序列不确定度的建立方法。该方法以中位数估计与Huber M估计融合方法分析时间序列数据的稳健性,构建贝叶斯先验分布,并与实验数据建立贝叶斯后验分布,创建以贝叶斯后验分布建立时间序列数据的不确定度。在显著性水平为0～0.1,通过对滚动轴承摩擦力矩分析,中位数估计与Huber M估计相融合方法确定了滚动轴承摩擦力矩稳健数据的边界值、显著性水平,构建了贝叶斯先验分布。以贝叶斯后验分布构建滚动轴承摩擦力矩不确定度。与经典统计学得到的不确定度比较,在相同置信水平下,该方法缩短了评估区间,提高了评估精度0～50%。该融合方法以稳健数据构建先验分布,提供一种贝叶斯方法先验分布建立方法;采用中位数估计与Huber M估计融合方法确定了数据显著性水平和边界值的确定,减小置信水平与稳健数据边界值主观确定的误差;为未知分布时间序列的不确定度建立提供了一种理论。     

通用航空机队设备可靠性动态识别模型

通用航空机队设备可靠性是通航单位安全运行的前提条件,是影响运营单位经济效益的重要因素之一。根据通航单位机队设备可靠性数据统计、分析及实际使用情况,采用ATA100章节名称作为指标源。综合可变模糊识别方法和权重阶梯朴素贝叶斯分类器模型的优势,构建了通用航空机队设备可靠性动态识别模型。为了避免主观给定指标权重导致的不合理,应用熵权法客观获取指标权重。最后利用实例测试样本验证了权重阶梯朴素贝叶斯分类器的合理性,并基于该方法对待识别样本进行了可靠性状态识别。实例分析表明：基于权重阶梯朴素贝叶斯分类器的通用航空机队设备可靠性状态识别模型具有较强的可行性和合理性,为通用航空机队设备可靠性状态提供了一种科学的识别方法。     

基于贝叶斯网络的空战效能评估方法研究

贝叶斯网络是一个基于概率推理的数学模型,常用于解决复杂系统间的不确定性,且具有较大优势。空战过程是一个极为复杂的过程,具有较高的不确定性,针对空战效能评估过程中存在的问题,结合空战理论和实际情况,建立空战效能评估的贝叶斯网络模型,提出基于贝叶斯网络的空战效能评估方法,并进行仿真分析。结果表明:该评估方法能够根据战场环境证据对空战信息优势、协同能力、部队效能、决策指挥能力进行效能评估,为决策提供有力依据,且具有很强的学习能力与推理能力。     

模型确认热传导挑战问题求解的贝叶斯方法

为了进一步推动模型确认方法的发展并明确其具体实施步骤,以圣地亚国家实验室提出的模型确认热传导挑战问题为例,建立了模型确认的贝叶斯框架,并阐述模型确认的思想以及实现的一般过程.模型确认不仅是一个评定仿真模型准确度的过程,而且是一个通过确认结果提高模型预测精度的过程.首先介绍了贝叶斯及不确定性量化的基本理论,强调了模型修正...     

基于多源异构信息的航空发动机转子参数校准与可靠性分析

复杂系统可靠性分析结果的准确性与输入参数精度密切相关。针对包含多源不确定信息的可靠性分析问题，提出了基于贝叶斯最大熵的随机模型修正与参数校准方法。该方法将类型统计信息（例如矩信息、可靠度）转换为约束条件，进而利用不确定性优化求解传统参数估计问题。考虑混合不确定性，引入Wasserstein距离构建似然函数，并利用近似算法提高计算效率。该方法通过增加“熵项”的方式拓展了经典贝叶斯推理的适用范围，可处理多源异构数据与混合不确定性问题。针对多部件航空发动机转子系统，建立了基于survival signature的多态系统可靠性模型，并应用上述方法开展可靠性分析，结果显示本方法较传统方法具有更高精度与更强的稳健性。     

模型开发在型号软件研制中的应用研究

针对模型开发技术的技术特征,通过对模型开发方法中的模型建模、模型模拟、模型仿真及模型覆盖分析等技术的研究,结合型号软件工程实践,对模型开发在型号软件研制中的应用在体系、过程及文档方面面临的问题进行了分析,从与现有体系规范及研制过程的符合性集成、模型软件测试鉴定以及与其他软件研制方法融合等方面,提出了与型号软件研制要求相符合的基于模型的开发过程方法,并介绍了方法的应用情况和前景。     

系统可靠性的贝叶斯网络评估方法

 针对现有组合法与状态法在可靠性评估方法中的局限性,对基于贝叶斯网络的系统可靠性评估新方法进行了研究。运用该方法进行可靠性评估,不但能计算出系统的可靠性指标,而且能方便地给出一个或几个部件对系统可靠性影响的大小,识别系统的薄弱环节。结合故障树方法建立系统可靠性评估的贝叶斯网络模型,并用实例阐述了贝叶斯网络方法进行系统可靠性评估的有效性。同时通过对贝叶斯网络的条件失效概率与系统可靠性评估中常用重要度指标的对比分析表明,贝叶斯网络的推理算法更便于查找系统的薄弱环节。     

基于面轮廓的叶片磨削过程误差监控方法研究

针对航空发动机叶片形状复杂,传统的线轮廓统计控制方法(SPC)难以保证其整体精度的问题,本文基于面轮廓控制图,建立了叶片磨削过程误差监控模型.针对叶片型面特征,采用波纹度参数进行精度监控.建立了测量点到理论型面曲面的最短距离模型,并基于粒子群算法给出了距离求解算法;基于最短距离,构建了基于指数加权移动平均的面轮廓控制图(Exponentially Weighted Moving-Average,EWMA),并通过蒙特卡罗仿真方法给出了控制图上下控制限计算方法.最后通过基于仿真数据的模型验证,表明了该模型的有效性.     

软件测试的控制论方法

 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。     

基于在线调试的串口通信协议测试方法

以测试某型数据传输数字地图子系统中数字地图生成模块软件的RS485通信协议为例,提出了两种基于在线调试的串口通信协议的测试方法。这两种方法不仅简单易行地解决了某些测试环境中无法利用串口调试工具进行串口通信协议测试的问题,还为软件测试领域提出了一种通过在线调试技术解决问题的思路。     

一种嵌入式软件覆盖和分析测试方法

如何进行嵌入式软件的覆盖测试和性能测试,是嵌入式软件测试工程师较为关心的热点问题之一。介绍了一种基于PowerPc755目标板的嵌入式软件覆盖和分析测试方法。方法借助于嵌入式软件测试工具TestBed和实时硬件数据采集工具RTInsight,搭建了嵌入式软件动态测试平台,并在该嵌入式软件动态测试平台上进行了覆盖测试和性能测试,同时给出了相关的覆盖率测试和时间性能测试的测试结果。     

无人机飞控软件测试方法研究

飞控软件是无人机飞行控制系统的控制神经中枢,对无人机飞控软件进行有效的测试是保证飞控系统质量的重要手段.根据某型无人机飞控软件及其开发特点,提出一种与软件开发过程同步的、基于多个测试环境的软件测试模型,重点阐述该模型涉及的单元和配置项测试方法.测试结果表明,提出的测试模型,测试工作能有效地发现无人机飞控软件在不同开发阶段引入的不同类型的软件缺陷,有效地保障了无人机飞控软件的安全性、可靠性和质量.     

安全关键软件可靠性验证测试方法研究

为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量,在分析经典统计假设测试和无先验贝叶斯统计方法的基础上,提出了一种先验知识动态整合的贝叶斯推断统计测试方法;并提供了软件失效概率的概率密度函数先验分布参数的详细求解办法。实验表明,所提供的安全关键软件可靠性验证测试方法可以用较少的测试用例获得同样的结果可信性。     

一种针对交互式软件的功能测试方法

交互式软件的功能是通过复杂的人机交互完成的,目前的功能测试常常只考虑软件的界面信息,而不考虑软件的具体需求和逻辑实现流程,这就导致测试巾随意性较大,测试过程难以有序进行。针对这种情况,文章提出了一种基于数据流图的功能测试方法,依据交互式软件的需求规约和用户界面,以数据的流向来组织功能测试过程。     

某测试软件输入模块的可靠性测试方法研究

采用黑盒测试方法对某数据采集系统的测试软件进行了测试.通过对软件需求和性能的分析,建立了软件的运行剖面和测试案例,进行了可靠性测试,得到了该软件输入模块的可靠性测试结果.     

Model-based robustness testing for avionics-embedded software

Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop (HIL) testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems.     

基于LDRA Testbed的软件单元测试

通过对LDRA Testbed的分析及采用LDRA Testbed进行软件单元测试,表明LDRA Testhed是一个可以有效应用于软件开发和测试阶段的软件测试工具,使用LDRA Testbed进行软件单元测试可以有效提高软件质量.     

一个模糊软件可靠性确认模型

模糊软件可靠性模型不仅适用于刻划测试阶段的软件可靠性行为,而且适用刻划确认(验收)阶段的软件可靠性行为。并给出在确认(验收)阶段判定软件是否达到可靠性目标的准则。