基于资源扩展活动图的并发测试用例生成方法

对UML(统一建模语言)活动图进行共享资源的属性扩展,利用扩展的活动图对并发系统间任务的同步及数据的竞争关系建模,充分考虑并发软件运行原理、故障模式及测试效率,提出并发系统的测试覆盖原则及基于扩展活动图的并发测试用例生成方法。进一步通过举例验证该方法能够正确的生成并发测试用例同时又可防止用例数量爆炸,提高了并发软件测试的可靠性及效率。     

环境减灾A、B星数据及产品服务系统开通运行

2009年11月12日．环境减灾A、B星数据产品及服务系统在“环境减灾A、B星在轨运行一周年暨减灾应用服务大会”上正式开通。数据用户可以通过该系统进行环境减灾卫星数据标准产品的检索、查询、申请和获取等操作．系统具备支持超过100名注册用户并发访问的处理能力。     

硬实时系统中自适应反馈软件容错动态调度算法研究

在飞行控制等硬实时系统中由于任务超时完成将会给系统运行带来灾难性后果,而现有软件容错调度算法在处理机利用率较高时,成功执行主任务所占时间比率下降,针对此提出自适应反馈容错动态调度算法,此算法在经典软件容错调度算法BCE(Basic CAT EIT)的基础上,引入反馈调度机制,形成Feedback BCE调度算法。该算法在运行过程中定期监测处理机利用率,将实际处理机利用率与预期值进行比较,根据比较结果调整对任务集的调度。实验表明,相对于其他同类算法,自适应反馈软件容错调度算法有效降低了浪费的CPU时间片数量,提高了成功执行主任务所占时间比率,有效降低了因处理机超载而引起的主任务丢失率。
     

设计模式在任务调度软件中的应用

设计模式是一种基于面向对象思想的软件设计方法,合理应用设计模式能降低软件模块间的耦合度,提高软件灵活性。文章介绍了遥感卫星地面应用系统任务调度软件,并指出此类软件的开发存在需求不确定、输入易变的问题。在对通用需求和易变需求分析的基础上,应用Builder,Composite和Factory Method等设计模式,解耦任务执行控制、任务数据生成和算法调用接口等功能模块,得出一种任务调度软件的设计方案。该方案经过变更影响分析法的验证,能够将各种需求变更的影响控制在对应的模块内,复用通用功能模块,可有效减少变更工作量和降低修改难度。     

DFH-4卫星电推进系统的应用可行性研究

DFH-4平台是我国新研制的大容量、长寿命静止轨道卫星平台。为了延长平台寿命、增加平台载荷,需要考虑引入电推进系统执行南北位保任务。针对几种国际上已经得到应用且相对较成熟的电推进系统,从工程角度对其在DFH-4上的应用价值进行了比较和评价,初步设计了电推进系统在DFH-4平台上执行南北位保任务的应用方案,分析了电推进系统对卫星平台、其它轨道和姿态参数、控制策略以及星上其它系统带来或可能带来的影响。     

星载高速碎片式文件存储访问系统设计

针对碎片式文件存储访问系统访问效率较低的局限性,以及星上存储应用的实时性特点,从碎片式文件存储访问结构和基于NAND Flash的存储布局策略出发,提出一种星载高速碎片式文件存储访问(PFSA)系统。针对Flash中的块操作建立数据访问模型,将不同的碎片式文件存放在不同的Flash基片上,以提高并发数据的访问速度;采用磁电存储器(MRAM)存储百字节的碎片式文件,当MRAM内部数据达到阈值时一次性搬入Flash的固定块内,以减少碎片式文件的读写Flash时间。通过在板卡上的仿真试验对平均写入性能、大批量碎片式文件写入性能、文件传输性能及块擦除均衡性能进行测试,结果表明:相比于以往碎片式文件存储设计,访问速度、传输延迟、擦除均衡性能均得以提升,进而验证了PFSA系统设计的有效性。     

一种行波管放大器测试软件的设计与实现

为解决现有自动测试系统通用性较差的问题，设计了一种基于三层架构的行波管放大器测试软件。软件采用表示层、业务逻辑层和数据访问层的三层架构模型。表示层用来输入产品信息和测试的数据展示，利用Matplotlib第三方依赖库实现测试数据的可视化分析；逻辑业务层实现测试项目的具体实现过程；数据访问层完成对所有仪器的控制和访问。系统的三层架构体现了“高内聚、低耦合”特性，结构清晰，可扩展性强，容易适应需求变化，方便快捷的扩展新的测试项目和新的测试仪器，提高了测试系统开发效率；软件已完成多个卫星型号的200余台行波管放大器测试，节省了30%测试时间，显著提高测试效率。     

随遇接入卫星应急任务响应技术研究

面对在轨卫星当前对突发事件、灾难应急等突发性、短暂性的使用需求,传统空间系统应用存在任务规划提前制定、难以临时变更的缺点,卫星系统无法快速对该类突发事件进行资源保障.因此迫切需要构建高效、即时的空间任务执行体系.研究了随遇接入卫星应急任务响应技术,该技术可统筹任务执行过程中涉及的各条链路及各类资源,全面改善任务执行即时性.     

关于软件自动测试的实践——双星计划总线控制器软件测试中自动测试的应用

在双星计划中，有效载荷公用设备分系统中的总线控制器是系统中的主控单元．其软件是系统的核心软件。在总线控制器软件的配置项测试工作中．采用了一些软件测试自动化的思路和方法。在测试规划上按照测试用例数据自动生成、测试过程自动执行、测试结果自动分析等方面进行测试安排和实践。测试实践的结果表明。自动测试在提高测试效率和测试充分性，保证测试的质量等方面效果明显，但是在测试有效性上没有贡献。并且增加了测试的工作量。     

天基目标信息数据自主管理系统设计研究

为解决目前星载文件系统无法有效支持作战任务对目标信息的灵活访问和目标信息动态随机更新的问题,从空、天、地三个维度对目标的特性进行分析,依据目标特性和存储芯片特性,提出基于MANAFS的目标信息数据管理系统.该系统通过建立多级目录结构,实现目标的快速索引和精细颗粒度的更新或重构,采用CCSDS航天器星载接口业务的基础功能...