软件复用在航空嵌入式软件测试中的应用研究

伴随航空嵌入式软件市场近些年不断动荡与激烈竞争的局面,商业化的第三方软件测试正面临质量、进度、开发效率等急待解决的问题,而软件复用技术是解决这些问题的有效手段。首先对软件复用的概念、理论和方法进行了论述,而后对航空嵌入式软件测试领域进行了深入分析,指出了其中复用的可行性。在此基础上,提出了面向航空嵌入式软件测试的过程复用、产品复用、测试程序产品线方法。最后,结合具体工程实践指出所提出方法在使用中的剪裁及推广。     

基于直接配点法的绳系卫星系统变轨控制

讨论了不必回收子星的二体绳系卫星系统(TSS)的变轨方案。假设TSS质心运动满足经典的二脉冲Hohmann变轨,用未变形绳长加速率控制两次脉冲期间的TSS运动。利用直接配点法中的Hermite-Simpson方法将控制消耗最小的最优问题离散为大型非线性规划问题,然后用MATLAB的SNOPT软件包求解;针对初始偏差较大的实际情况,又结合直接配点法和滚动时域控制得到了解析的反馈控制律。仿真算例表明,得到的TSS变轨过程状态变化平滑,控制消耗较小,而且变轨之后TSS接近平衡状态;此外,反馈控制律对最优路径的跟踪效果较好,能够消除初始偏差的影响。     

实时嵌入式软件测试执行引擎的设计与实现

自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,并在此基础上提出了测试描述执行引擎的总体设计方案,阐述了编译过程和执行过程的实现方法,给出了符号表管理中哈希函数及其冲突的解决方法和基于SBRMS(Segment-Based Rate Monotonic Scheduling)调度策略的测试描述执行过程.对引擎的执行效率进行了评估和分析,结果表明,通过合理控制测试描述的规模和并发执行个数,测试描述执行引擎能够满足实时嵌入式软件自动化测试对实时、并发特性的要求,并具有良好的可移植性.     

RTCA/DO 331标准研究

为推动基于模型的开发和验证技术的发展,同时为了给机载软件基于模型的开发和验证活动提供合格审定指南,美国航空无线电委员会于2011年发布了DO-331《基于模型的开发和验证》标准,作为对DO-178C《机载系统和设备合格审定中的软件考虑》标准的补充。该文主要从DO-331文档的组织架构编排,模型的使用和分类,基于模型研制相关的软件生命周期过程、数据和符合性验证目标几个方面对其进行了提炼和解读,可帮助应用该标准的人员快速理解文档的核心内容,并把握基于模型的开发和验证相关的合格审定关注点,从而在项目实施过程中更好地表明适航符合性。     

软件再工程理论应用研究

软件再工程通过逆向工程、重构和正向工程几个环节,将现存系统开发成新的系统,是有效利用原有系统的现实可行的方法。本文研究了软件再工程的基本概念和目标、再工程的基本框架等理论;介绍了对某显控计算机软件的分析、重构和验证等内容。     

基于CMM L2的外包项目管理研究

如同中国软件外包白皮书中所指出,中国软件企业较弱的项目管理能力已经制约了国内软件外包市场的进一步发展。如何实施有效的项目管理以实现对外包项目成本、进度、质量、效率等的有效控制,确保项目成功成为一个争论话题。针对于此,结合多年软件外包项目管理的实际经验,本文通过对CMM L2项目管理具体要求的分析并结合PM I项目管理知识体系的相关内容,提出了基于CMM L2的外包软件项目管理模型,介绍了此模型的实际应用,在此基础上对外包项目管理的持续改进进行了讨论。     

航天器真空热试验测控系统软件结构设计与建模

统一建模语言（Unified Modeling Language,简称UML）是面向对象软件开发方法的重要技术,使用UML对软件系统进行建模研究,有利于提高软件开发的效率和可重用性等。文章给出了真空热试验测控系统软件架构和主要模块的结构设计,并利用Rational Rose结合UML对测控软件进行分析建模和设计。     

打即机绘图驱动程序

本文介绍Ｑｕｉｃｋ－ＢＡＳＩＣ环境里编制的打印机绘图驱动程序，详细叙述了绘图语句的功能、格式和使用方法；列出驱动程序字符集编码；给出一个完整的调用绘图语句绘制图形及各种规格字符的例子。     

软件可靠性预计与评估方法探讨

概述了软件可靠性的重要性及预计评估、参数估计方法和数据收集的意义与过程;综述了国外软件可靠性模型的建立情况;最后应用作者开发的软件可靠性预计评估程序(SRPP)对一组数据进行可靠性计算,给出软件可靠度R(t)、MTTF及故障率或故障强度λ(t)等指标;并根据模型有效性的比较准則,对计算结果进行了比较。