中国航天科技集团公司北京轩宇信息技术有限公司

<正>公司简介中国航天科技集团公司北京轩宇信息技术有限公司是北京控制工程研究所下属的全资子公司,是一家集型号软件测试、测试技术研究、测试环境和工具研发以及软件工程技术研究和服务为一体的多元化信息技术机构。公司长期承担国家众多宇航/军工型号关键软件及FPGA的第三方评测任务,具有专业的评测资质、完善的第三方评测体系,高素质的人才队伍,先进的测试技术和测试工具,可为客户提供定制化的软件测试及FPGA验证解决方案。公司自主     

中国航天科技集团公司北京轩宇信息技术有限公司

<正>公司简介中国航天科技集团公司北京轩宇信息技术有限公司是北京控制工程研究所下属的全资子公司,是一家集型号软件测试、测试技术研究、测试环境和工具研发以及软件工程技术研究和服务为一体的多元化信息技术机构。公司长期承担国家众多宇航/军工型号关键软件及FPGA的第三方评测任务,具有专业的评测资质、完善的第三方评测体系,     

中国航天科技集团公司 北京轩宇信息技术有限公司

<正>公司简介中国航天科技集团公司北京轩宇信息技术有限公司是北京控制工程研究所下属的全资子公司,是一家集型号软件测试、测试技术研究、测试环境和工具研发以及软件工程技术研究和服务为一体的多元化信息技术机构。公司长期承担国家众多宇航/军工型号关键软件及FPGA的第三方评测任务,具有专业的评测资质、完善的第三方评测体系,     

中国航天科技集团公司空间飞行器软件检测站

中国航天科技集团公司空间飞行器软件检测站成立于1996年,是面向航天嵌入式领域的专业软件评测机构。检测站建立了完善的软件第三方评测体系,具有高素质的人才队伍、业界领先的测试技术和测试工具,为客户提供最佳的嵌入式软件测试解决方案和优质的测试服务。检测站承担了自成立以来我国发射的几乎所有卫星、飞船软件的第三方评测任务,为我国航天事业做出了突出贡献。检测站发展迅速,业务领域已扩展到软件评测、FPGA验证、软件产品保证和咨询服务、工具研发等领域,其优质的服务得到了广大用户的高度认可和广泛赞誉。     

中国航天科技集团公司空间飞行器软件检测站

中国航天科技集团公司空间飞行器软件检测站成立于1996年,是面向航天嵌入式领域的专业软件评测机构。检测站建立了完善的软件第三方评测体系,具有高素质的人才队伍、业界领先的测试技术和测试工具,为客户提供最佳的嵌入式软件测试解决方案和优质的测试服务。检测站承担了白成立以来我国发射的几乎所有卫星、飞船软件的第三方评测任务,为我国航天事业做出了突出贡献。检测站发展迅速,业务领域已扩展到软件评测、FPGA验证、软件产品保证和咨询服务、工具研发等领域,其优质的服务得到了广大用户的高度认可和广泛赞誉。     

FPGA可配置资源测试方法研究

FPGA是广泛应用于集成电路设计等多种领域的关键器件之一,随着FPGA的迅速发展,对FPGA的测试得到了广泛重视和研究,其测试技术也越来越复杂。本文以XILINX公司的Virtex XCV300E器件为基础,研究了基于93000集成电路测试系统的FPGA器件测试技术,为FPGA的应用级测试提供了一种有效的方法。     

软件可靠性测试充分性问题的理论研究

在分析了软件可靠性测试充分性准则研究的重要意义的基础上,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系,提出了其在软件可靠性测试中的一种实现方法,是借鉴已有的软件测试充分性方面的理论,对软件可靠性测试充分性问题进行的初步探索.      

对象驱动的软件测试性度量

为了使用统一的方式度量各种软件的测试性,降低测试性度量的难度和费用,提出一种对象驱动的软件测试性度量方法. 方法基于一个由测试性度量、易测试特性度量、测试性因素度量及其关系构成的软件测试性度量框架,首先分析度量的对象,确定对象的类型、对象所属软件的类型和测试情况;然后根据软件的类型和测试情况,从度量框架中选取匹配的元素,构造一个专用的软件测试性度量框架;最后根据度量对象的类型,使用专用软件测试性度量框架中的元素计算测试性因素、易测试特性或测试性. 应用表明方法能够得到软件测试性的定量结果,预计测试资源,为软件测试提供帮助.      

一种软件测试过程的博弈模型

为分析软件测试的动态过程及其中诸影响因素之间的关系,运用博弈理论,提出了一种新的软件测试过程建模分析方法.建立了一种软件测试过程的博弈模型,并在此基础上对测试过程中的各方决策条件和博弈均衡条件进行了讨论,其结论有助于理论分析和解决"测试策略选择"和"何时停止测试"等问题.由于考虑了参与软件测试活动的各方利益和可能行为,此方法较之软件测试控制论更能够对软件测试过程中所出现的情况进行解释.本模型可为软件测试规程设计提供理论依据,增强软件测试过程的可管理性.      

嵌入式软件仿真测试平台构件化技术研究

软件测试在航天嵌入式软件研制过程中占有极为重要的地位,使用全数字仿真测试平台进行软件测试是行之有效的方法.对仿真测试平台进行层次化构件分解和构件设计,研究航天软件仿真测试平台构件化开发方法,并给出应用实例,证明了该方法可大幅提高平台开发效率.     

基于全数字仿真的嵌入式软件测试技术

为了对实时嵌入式软件进行更好的测试,提出了一种基于全数字仿真的整体仿真技术.该项技术解决了现有软件测试环境中的两大功能性问题:通过将仿真时钟作为基准时间解决了断点影响实时信号处理的问题;通过提出的“动态桩”方法解决了单元测试时缺乏必要支持函数的问题.利用无损压缩原理对整个仿真测试平台进行优化,改变了仿真平台的低效问题,使这一技术走向实用化.整体仿真技术支持从单元测试到集成测试的整个软件测试过程,增强了在单元测试期间发现异常实时信号处理等方面软件问题的能力,显著提升集成测试的效率,并且实现了测试脚本的复用.该平台已经在某型号系列飞控软件的测试中得到应用.      

美国完成机载激光武器紧凑型HEL测试

<正>4月8日,美国通用原子公司宣称,已经完成第三代高能激光器(HEL)的波束质量和功率测试。根据通用原子公司的信息,第三代激光器的尺寸为1.3米×0.4米×0.5米,采用紧凑的锂离子电池提供能力。2011年,美国国防先进技术项目局将价值3980万美元的合同授予     

测试有效性对软件可靠性验证测试量的影响

针对传统软件可靠性验证测试方法均不考虑软件测试性可能会对验证测试用例数量产生影响的现状,提出一种引入测试有效性对软件可靠性验证测试最小量进行改进的方法.分析了软件测试性的定义及其对软件可靠性测试集合的影响,提出软件测试有效性的概念.比较了考虑测试有效性前后软件可靠性验证测试集合在数量上的差异,证明经典统计方法和无先验知识的Bayesian统计推断方法确定的均为假定测试有效性为零情况下的保守估计.提出结合测试有效性的验证测试量的量化表示模型和验证测试方案的改进方法,基于统计故障注入的原理,提出测试有效性的定量评估方法,最后通过示例给出定量评估过程和方法.      

软件测试过程的基本模型POCERM

软件测试过程包含着测试计划的制定，测试大纲的编制，测试用例的生成，测试的实施，测试结果与问题的分析和报告，以及软件测试的管理等项工作。     

大力神4运载火箭

大力神4运载火箭是美国马丁·马丽埃塔公司研制的大力神34D的改进型,为二级火箭。其固体火箭发动机为7段式,有效载荷整流罩直径5.09米。大力神4运载火箭现有3个型号:第一个型号载有改进的半人马座G-1低温上面级,原准备用于发射航天飞机,但为了安全起见,现禁止进行载人飞行;第二个型号的上面级则为经验证的IUS,该上面级已在大力神34D和航天飞机上使用过;第三个型号为执行低轨道任务的飞行器,不需要上面级。大力神4火箭加上半人马座G-1上面级和26.21米的有效载荷整流     

一种双方不可否认的密码协议及应用

在数据通信中,数字签名技术保证了数据发送不可否认性和数据完整性,而接收数据的不可否认性在安全通信中也是极为重要的.近年来,实现这类型的密码协议主要是通过可信第三方参与数据的加密与传送,因而可信第三方的可靠性和安全性是系统性能的瓶颈.文中提出了一个双方不可否认的密码协议,这个协议解决了可信第三方的性能瓶颈问题,是一个更有效率的密码协议,最后探讨了它在电子邮件中的应用.      

航天器C语言软件常见编程错误分析及检测方法研究

基于软件第三方评测发现的问题,梳理并详细分析了在航天器C语言软件中6种常见编程错误.针对其中的软件安全漏洞提出了使用代码分析技术的检测方法,针对编程语言使用错误提出了通过制定编程规则并使用代码分析方法进行检测的解决方法.采用上述方法可以有效检测出上述6种常见编程错误,并可以用于检测软件的其他严重错误.     

某型导弹专用测试设备检定系统设计

论文针对某型号专用测试设备研究专用检定系统。系统设计采用了GPIB总线控制技术、通用适配器技术,软件的设计利用虚拟仪器技术,增加了交互性和灵活性。     

阿拉伯卫星-3将出租给静止星公司

法国戛纳卫星厂即将改进第三颗阿拉伯通信卫星 Arabsat-3,以便能装备适用于美国静止星公司的移动通信设备。合同的一方是由22个阿拉伯联盟成员国联合组成的 ASCO 组织,另一方是负责改进卫星的航空航天公司和负责发射卫星的阿里安空间公司组成的联合会。Arabsat 卫星首先租给静止星公司使用3年,该公司使卫星定点     

软件测试的度量方法及其应用

软件测试是找出软件中的错误,它是保证软件质量的关键,软件测试的度量是对影响软件测试的属性所进行的定量测量.本文简述了应用软件测试度量技术时所应具有的基本知识,通过一个实例,介绍并讨论了一种实用的关于软件测试进度安排和软件错误数的度量方法.