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

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

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

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

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

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

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

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

基于Keil μVision模拟器构建软件调试测试环境

详细描述了Keil μVision模拟器扩展接口的使用方式,以及进行调试测试环境构建的特定步骤.使用这种方式构建调试测试环境无需硬件设备,研制周期短、成本低,使单片机软件研制和测试人员能够快速构建软件运行环境,及时对软件进行调试和测试.     

基于黑盒测试环境的交会对接软件时序分析技术及应用

航天器空间交会对接难度大,GNC软件对任务的完成起到重要作用.由于交会对接控制软件功能复杂,时序要求严格,这对软件测试提出了很高的要求.基于黑盒测试环境,利用FPGA设计方法和时序分析技术,实现了对交会对接软件重要数据运行时序的捕获和对上下行信号相位关系的跟踪,完善了故障触发和上行注入手段.该测试环境在交会对接软件研制过程中起到重要作用.     

可配置的软件动态测试系统研究

首先简要分析了软件动态测试方法在测试环境开发、测试执行以及测试结果分析等环节上所存在的问题与缺陷。接着提出了一种采用增加配置的方法构建动态测试环境的思路，并以此为基础，实现了一个软件自动化测试原型系统，同时详细描述了该系统的基本框架，阐述了它的关键技术。     

嵌入式软件测试开发环境的框架设计

采用软件设计上的复用思想,对嵌入式软件仿真测试环境进行框架的设计,可以使测试环境在不做大幅度修改的情况下适应不同的被测软件,节省设计的时间和费用.论述了由框架开发软件的过程,并把此过程应用于测试环境;对嵌入式软件仿真测试环境进行总体分析,确定了它的3个主要组成部分;归纳出作为测试环境重要组成部分的测试开发环境的基本功能,并使用专门针对框架开发的UML-F建模语言设计了一个框架;对已开发成功的测试开发环境框架,提出了具体的框架适配方案.本设计已在实际工程中得到了应用.     

航天嵌入式软件动力学仿真环境的通用软件架构

针对航天嵌入式软件测试环境通用化需求,提出动力学软件的通用化设计方法.基于航天动力学仿真的特点,设计灵活、通用和易于扩展的软件框架、接口数据结构和接口函数,适用于在研型号的所有接口处理方式.该方法在实际型号工作中完成应用,显著提高了动力学软件的研制速度,动力学软件运行稳定,精度满足测试要求.     

嵌入式软件的动态测试

软件测试是软件质量保证的重要手段。构建了基于软件测试工具Testbed/RTInsight针对PC104系统的实时嵌入式软件测试环境。以俄罗斯方块的C程序为例,进行PC104系统的软件动态测试,最后给出了动态覆盖率及性能分析的实验结果,和性能分析能记录分析程序中每个函数的最大运行时间,最小运行时间,总的运行时间以及运行次数。     

用微型计算机进行平稳随机信号处理

为适应现代工程技术的需要,介绍了平稳随机信号分析在微型计算机上的实现和应用。内容包括:系统的构成、对测试环境的要求、FFT在微型计算机上的实现,以及在实际工程中振动频谱分析的应用。最后列出了软件的配置,并作了简要的说明。这一研究成果,具有一定的实用价值。     

企业信息系统领域的软件建筑模型

将软件建筑的基本概念以及研究成果引入到企业信息系统建设中,提出了企业信息系统领域的软件建筑模型.首先对软件工程方法学的发展做了简要评述,指出了软件建筑在软件过程中的重要性.随后提出了企业信息系统领域的基于软件建筑模型,包括软件建筑模型、参考需求、参考建筑等.描述了基于该模型的软件开发过程,讨论了若干相关研究工作.     

嵌入式软件仿真测试环境软件体系结构研究

利用嵌入式软件仿真测试环境(ESSTE,Embedded Software Simulation Testing Environment)对实时嵌入式软件进行系统测试是国内外公认的、行之有效的方法.基于UML和"4+1"视图模型,系统地对ESSTE的软件体系结构进行了描述.各个视图之间保持了良好的一致性,特别地,在设计视图中将ESSTE软件分为两大组件-实时组件和非实时组件,并按照"管道-过滤器"的软件体系结构模式组织,分别给出了它们的关键类.非实时组件的关键类是配置工具类,实时组件的关键类是模型类、实时变量类和调度器类.据此设计和实现的ESSTE-Basic体现了较好的质量特性,如可更改性、可移植性等,其成功地对多个软件进行了系统测试,高效地发现了大量潜藏的软件错误,验证了ESSTE软件体系结构的正确性和有效性.     

基于软件重用技术的飞行模拟器软件生成系统

在计算机应用系统中,软件是灵魂。本文研究基于软件重用技术和系统组合技术的飞行模拟器软件生成系统的原理、实践与应用经验。这一方面是由于研究软件重用技术和系统组合技术对缩短软件开发周期、增加软件产量和提高软件质量有着重要的意义,另一方面是因为旧的飞行模拟器软件开发方法已不能适应该领域日益变化的需求。 所谓软件重用技术是指开发新的应用软件时,再次使用已有的软件、知识和方法的技术;所谓系统组合技术是指根据特定应用的需求规格说明和已有的软件、知识和方法,将零散的软构件组装成一个系统的技术。本文给出了结合两种技术的飞行模拟器软件生成系统原型的实现原理和示例。它主要由三大部分组成:可重用的软件库及其管理器、库的浏览/检索器和目标软件生成器。我们用面向对象式语言C++描述其软件结构,以“生产域/消费域”模型作为软件生产、组装的基础。由此原型系统实现的某型号飞行模拟器飞行系统软件的重用、组装及仿真结果表明:基于软件重用技术和系统组合技术的飞行模拟器软件生成系统在理论上与实践上都是可行的;使软件重用技术和系统组合技术结合在一起,用于软件的整个生存周期,是对软件工程过程模型的重大革新。     

关于Ada的面向对象扩充

使用面向对象风范作出的软件产品能很容易地体现软件工程软件质量保证的诸原则。倡导基于Ada的面向对象的程序设计是一个正确的方向。因为Ada不是一个面向对象的编程语言,使用Ada不可能自然而又有效地进行面向对象的程序设计。因此,必须对Ada进行面向对象的扩充。本文讨论进行相应扩充所涉及到的一些问题。     

实时嵌入式软件测试输入的可视化建模

实时嵌入式软件仿真测试是一种目前应用较广的测试技术.文中根据实时软件及其输入的特点,结合在软件工程领域有着广泛运用的统一建模语言(UML),提出了一套基于输入类图、输入顺序图并辅以输入描述的测试输入可视化建模方法,在此基础上可以自动生成测试脚本或测试数据,用于驱动实时嵌入式软件测试的进行.      

敏捷卫星控制分系统动中成像姿态机动模式的集成测试方案设计

摘要： 动中成像姿态机动模式作为敏捷卫星一种新的工作模式,具有机动过程复杂、姿态实时变化、指标要求更高的特点,原有的集成测试环境和测试方法难以对其进行有效验证,针对这一问题,设计了分系统集成测试方案.该方案对分系统集成测试环境的主控机、动力学模型和数据分析系统进行设计,实现了基于任务的自主测试、目标姿态计算模型和可视化测试功能,对测试方法中的机动模式的典型测试工况和指标测试进行了研究.测试结果表明,该方案可有效验证控制分系统姿态机动功能的正确性和指标符合情况,为开展分系统集成测试提供了思路.     

个体软件过程实验研究

为确定个体软件过程PSP(Personal Software Process)在软件开发中的实际应用效果,北京航空航天大学软件工程研究所在1997年进行了PSP的应用实验.本文首先简要介绍了PSP的原理和方法,然后给出PSP实验的结果数据,对该数据从差错率和生产效率2个方面进行了统计和分析.分析结果显示,PSP的应用对于提高软件开发效率、改善软件产品的质量有重要的意义.讨论了PSP应用过程中可能遇到的问题,指出了今后进一步的工作.     

UML软件开发过程和支持环境研究

从当前对软件工程过程的需求出发,结合软件工程领域的最新成果统一建模语言UML(Unified Modeling Language),重点讨论了适应需求变化的迭代式软件开发过程,提出了柔性软件开发模型.在此研究的基础上,设计了集成化UML软件开发环境的框架,指出其组成应包括UML可视化建模系统、UML模拟系统、UML代码生成系统和UML逆向变换系统4个部分,并提出了需要解决的问题.     

嵌入式软件可靠性仿真测试系统研究

 研究嵌入式软件可靠性仿真测试方法和环境.文中给出了仿真测试系统的体系结构,并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性,软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了探讨.特别地,给出了一个生成测试用例的新方法.