空间目标轨道确定专家系统

空间目标轨道确定专家系统的面向空间监测需求开发的大型交互式应用软件。它的功能面向空间监测和信息分析中广泛的业务需求，基础是轨道计算软件，数据库支持和一些辅助支持软件。本文详细地介绍了空间目标轨道确定专家系统软件的设计方案。     

基于某产品的三维装配工艺指导软件的开发与研究

根据实际项目需求,为提高装配效率,结合三维图形渲染引擎OSG,设计开发了一个交互式的三维工艺装配作业指导软件,实现了现场装配工艺信息的三维化。详细描述了软件的组织架构和装配工艺数据的模型结构;应用XML技术定义了装配工艺数据在XML中的数据格式,解决了装配工艺数据在异构应用间的交换传输问题;最后对装配作业指导软件进行了展示。     

电路板测试技术进展

航空电子产品的测试以往经常采用生产线上的电路内测试(ICT)和对成品在自动测试设备(ATE)上的功能测试。80年代早期功能测试工具尚不普遍,其功能测试软件还很有限。功能测试的设计和编程是很费时的,往往产品已先出厂使用,而测试程序尚未完成。今天自动测试设备已较成熟,开发的功能测试程序已较多。印刷电路板(PCB)的测试利用钉床(bed of nail)夹具及各种相应的适配转换接口件实现电路内测试。然而由于电路板上密集度不断提高,ICT法已几乎难于实现。现将近年来测试方     

基于改进符号有向图模型的发动机引气系统多故障诊断方法

为了在符号有向图(SDG)模型中进行多故障诊断,提出了基于改进符号有向图(ISDG)模型的多故障诊断方法.ISDG模型满足了不完全信息条件下的多故障组合诊断的需求.通过交互式方法构建不完全信息条件下的诊断过程,利用最大增益费用比确定了最优的测试序列,实现了在多故障诊断过程中效率的提高和成本的降低.最后用交互式算法诊断某民用发动机引气系统多故障,ISDG模型能够诊断多故障,说明诊断多故障可以提高诊断效率;考虑组合逻辑后,最小费用比最大费用减小了7.25,增益费用比增大了32.2%,说明考虑组合逻辑可以减少32.2%的费用.      

微机壳体类零件图形交互编程系统

图形交互式数拉编程是一种全新的编程方式，它是今后计算机编程技术发展的主流．本文介绍了在微机上实现壳体类零件图形交互式数控编程系统的总体考虑、技术特点和实施效果．     

JBYQC软件设计关键问题

 <正> 1.问题的提出 JBYQC是卫星壳体结构优化设计人机交互式软件。软件适用机型为IBM-PC/AT或XT型微机,操作系统为DOS Version 3.00,该软件很适合在设计室中使用,并极易推广。 JBYQC是商品软件,对结构优化设计来讲,图文并茂的交互式屏幕是必须的,因此,交互式屏幕怎样设计,就成了第一个关键问题。     

用惠普RGS实现CAE仿真远程操作

惠普公司的创新性软件RGS是一款操作简便、实时性强、图像丢失率极少的远程交互式软件.     

交互式电子技术手册制作技术综述

介绍了交互式电子技术手册(IETM)的5个等级,并对国外IETM的编辑制作软件、阅读软件、解析器和SGML数据库管理系统等制作工具作了简要介绍。     

基于FPGA的IP over CCSDS设计与实现

首先介绍了TCP/IP(传输控制协议/网际协议)技术和CCSDS(空间数据系统咨询委员会)建议的应用背景,从天地网络一体化和未来空间站与地面交互式通信系统需求的角度出发,提出了一种基于FPGA(现场可编程门阵列)的IP over CCSDS处理方法。详细描述了IP over CCSDS软件的实现方案和技术特点,并对其进行了测试和结果分析。     

1.2米风洞测试系统软件设计及应用

本文旨在阐述１．２米风洞测试系统软件设计及应用，以及该软件的设计环境、方法，功能分配及软件结构，同样也叙述了功能测试软件及使用方法。     

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

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

星载软件测试用例设计方法的研究

主要针对航天型号星载软件,结合三种测试方法的各自特点,归纳整理出测试方法在实际测试用例设计中使用情况以及产生的典型案例。并通过三种测试方法的比较得到每种测试方法的适用情况以及在实际卫星型号星载软件测试工程实践中的运用。目的是通过对三种测试方法的研究和典型案例的分析进一步提高软件评测的技术能力。     

嵌入式软件测试研究

简要介绍了软件测试的基本概念和理论;阐述了软件测试在产品研发过程中的地位与作用;结合嵌入式系统开发的经验和从事软件测试的体会,探讨了软件测试的策略以及如何进行软件测试的设计,并提出了针对我国企业软件测试现状的软件测试解决方案。     

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

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

软件测试的控制论方法

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

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

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

软件自动测试过程改进技术研究

首先研究了当前软件测试工具一般采用的自动测试过程,然后根据当前自动测试过程中的瓶颈,针对对象式程序,设计了改进的自动测试过程,并讨论了改进的自动测试过程中关键步骤的实现技术。     

软件可靠性增长测试的研究

研究、探讨了软件可靠性增长测试的基本概念及其实施过程中的若干问题,按照实际运行剖面选取测试用例、软件可靠性增长预计,以及正确收集故障数据的问题。     

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

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

航空嵌入式软件测试环境确认方法研究

通过对国军标与DO-178B对航空嵌入式软件测试环境确认要求的对比与分析,提出了一种满足国军标与DO-178B要求的航空嵌入式软件测试环境确认方法。实际运用表明,方法灵活、高效、可操作性强,可以满足航空嵌入式软件测试环境确认的要求。