基于状态图的航天器测试用例设计

为进一步提高航天器测试效率和测试覆盖性,提出了一种基于状态图的航天器测试用例设计方法,以状态图模型作为测试用例设计的依据,通过模型覆盖准则,由算法生成测试用例,并以自主热控功能的测试为例,对新方法进行了可行性验证,给出了原始用例和新用例的比较结果。该方法有利于准确衡量测试用例覆盖率,缩短用例设计时间,可为工程应用提供参考。     

实时嵌入式软件系统测试需求建模研究

使用形式化语言构建测试需求模型,有助于提高系统测试的自动化程度.UML状态图具有形式化特征,适合复杂系统详细行为的描述.本文基于面向对象思想,以状态图为核心技术,结合类图,提出了一种适合实时嵌入式软件的系统测试需求建模方法.该方法对被测软件系统的静态结构和动态行为进行建模,能清晰、完整地描述测试输入信息,包括前置条件、接口数据、激励事件、过程描述、后置状态等.并通过相关的建模机制实现了对实时性、并发性、时序性及数据反馈等约束特征的描述.基于该方法生成的需求模型,结合一定的测试用例生成策略,可以自动生成测试用例.作为示例,本文结合该方法对某飞行器控制功能进行建模,模型具有简洁、直观、易用的特点.     

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

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

航天器系统级测试现状分析

从测试方法、测试计划、测试模式、测试用例设计方法、测试工具等方面对航天器系统级测试进行了探讨。测试方法主要包括测试覆盖性分析法、自上而下或自下而上的测试方法、面向对象或面向过程的测试方法等;测试计划参考了NASA航天器的分类方法,包括对低成本卫星、商业卫星及载人航天器等三大类航天器进行了论述;测试模式包括任务组织方式、测试系统部署方式及人员配置等;测试用例设计方法包括软件测试方法、基于模型的测试方法及试验测试方法等;测试工具主要包括手动工具、自动化工具、信息化管理工具等三个发展阶段。此外,文章还对当前航天器系统级测试的现状及面临的问题进行了分析。     

数字化综合基带软件测试用例的复用及管理系统研究

以数字化综合基带系统的软件测试用例为研究对象,分析测试用例复用基础,提出一种可复用测试用例的实现思路,并阐述实现过程。在此基础上设计基于C/S模式的可复用测试用例库系统。项目实践效果表明,与传统方法相比,采用可复用测试用例的实现思路及其管理系统,可以提高测试工作效率,并在单位时间内增加测试用例的广度和深度。     

航天器电测中软件测试用例设计与实践

提出了在航天器电测中,以电测大纲和软件用户需求为依据,使用软件测试设计理论创建测试用例库,在此基础上完成了软件测试及实现方法。文章简介了应用背景,以某卫星为例,介绍了该方法应用到某卫星数管及热控软件测试的情况,并采用测试技术进行测试用例设计,最终生成航天器电测中软件测试用例库。此方法可以作为航天器AIT阶段软件测试设计的参考。     

基于系统工程的航天器专业化测试模式探索与实践

综合运用航天系统工程理论与方法,系统识别能力提升要素,从系统层面思考和改进航天器综合测试的管理方法、工作程序及工具手段等。结合航天器研制任务特点,在一定资源、时间和成本约束条件下,开展航天器综合测试流程再造、资源优化配置及组织模式创新等一系列专业化测试模式的探索与实践。针对批产航天器,建立流水线组批测试模式;针对复杂新研航天器,建立专业化集群测试模式。通过构建统一的多航天器自动化测试平台,建立测试用例库、测试流程库和测试故障模式库,推进基于测试用例的一键式自动化测试,实现测试任务的精细分解、测试资源的优化配置、测试风险的精细管控。该专业化测试模式既能确保航天器测试任务的质量与安全,又能解决后续日益增长的高峰测试任务需求与有限测试资源之间的突出矛盾,可供其他工程测试任务参考。     

黑盒测试法在航天器海上测控软件测试中的应用

简要介绍软件黑盒测试的四种方法,并以航天器海上测控软件测试为例,详细介绍等价类划分法、边界值分析法和决策表法在测试用例设计中的具体应用,既使测试更加充分,又提高了测试效率。     

UTMate

<正>单元测试现状单元测试可在软件生命周期早期揭示代码缺陷,从而减少代码缺陷遗留到开发后期所引起的更多费用。而在目前的应用场景下,假如规范地进行基于需求的测试用例设计,需要单独设计测试用例,然后再把相关的测试用例在单元测试工具中输入执行,这导致测试的效率比较低下。因此在实际的单元测试中只针对代码结构设计测试用例用来满足标准的覆盖率要求,这又导致测试的有效性不高,单元测试既费时费力又难以发现有价值的问题。     

一种多通道幅相测试系统设计与测试方法研究

多波束系统提出了多通道幅相分布测试的要求，且通道数量较大。文章在对多通道测试模型的分析基础上，介绍了一种高效的幅相测试系统，给出了测试方法和测试用例设计，并进行了系统验证。验证结果表明该测试系统能够高效地完成多通道幅相分布测试，且测试方法正确，测试精度和稳定性高。     

一种航天器测试注入数据序列自动生成方法

针对航天器测试注入数据序列生成效率低、易出错问题,在Visual Studio环境下运用C++语言和开放数据库连接(ODBC)接口技术,设计了航天器测试注入数据序列自动化生成软件,形成了注入数据序列自动化生成方法。与传统人工序列生成方法相比,该方法具有自动、快速、智能的优点。通过载人航天器综合测试应用,结果表明:航天器测试注入数据序列文件生成效率提高95%。可为航天器自动化综合测试系统设计提供参考。     

航天器软件参数修改的测试策略研究

梳理了现有的回归测试策略,并结合航天器软件参数修改错误的2个实例分析,提出了一种新的回归测试策略。该策略借鉴回归测试用例集约简算法中的需求驱动方法,提出了基于构建程序-需求覆盖矩阵和测试用例-需求覆盖矩阵进行回归测试的方法,并给出了按照该策略实施软件参数修改测试的流程。最后,提出了将该测试策略工具化的设想,如研发代码变更影响域自动分析工具,或者使用已有的商用工具。     

一种新型卫星转发器测试系统设计与应用

从卫星转发器分系统测试项目特点出发,设计了一种新型转发器测试系统,首次将变频矢量校准、系统级测试夹具及去嵌入方法运用在卫星转发器测试中,旨在解决传统转发器测试系统测试准备效率和测试效率低下且无法进行相位特性测试等问题。此转发器测试系统在卫星转发器测试中进行了实际验证,实测结果表明:该转发器系统测试效率比传统测试系统平均提高了3倍以上,测试精度也优于传统转发器测试系统,在一定程度上加快了了卫星装配、总装和测试(AIT)的研制进度。     

基于修正条件判定覆盖的软件测试技术研究和方法应用

对在航天软件测试过程中广泛应用的修正条件判定覆盖测试技术进行了说明,并在此基础上对修正条件判定覆盖的测试用例设计方法进行举例描述,最后给出了使用工具对修正条件判定覆盖测试的应用情况,对相关领域的技术人员有一定的参考意义。     

飞行软件测试用例设计方法及应用

飞行软件测试用例设计首先按等价类划分法的原理划分等价类，并结合边值分析和因果图等方法设计测试用例，能较好地达到软件功能覆盖准则要求，文中结合飞行软件的特点拓宽了等价类的内涵，使等价类划分法成为飞行软件测试用例设计的普遍适用的方法，从而为习行软件确认测试的充分必提供技术和方法的保证。     

飞行控制软件测试用例辅助设计系统原型的设计与实现

BranchTCase原型是针对飞行控制软件中分支结构的测试用例辅助生成系统,它可以分析统计被测软件中的分支结构,生成覆盖所有可达分支的执行路径集合,从而辅助测试人员基于分支覆盖设计测试用例。BranchTCase采用纯静态技术,不依赖动态插装,通过扫描被测软件的源代码,得到软件的基本静态信息,并构造程序的执行流程图,最后遍历得到执行路径集合。本文阐述了BranchTCase原型的设计思路,讨论了其中的静态扫描分析、结构分析、分支结构遍历等主要算法。最后以某型号飞行控制软件为分析实例,得到了覆盖其所有分支结构的执行路径集合。     

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

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

MSCSG转子系统的扩展双频Bode图稳定性分析方法

为分析洛伦兹力磁轴承驱动磁悬浮控制敏感陀螺（MSCSG）转子偏转过程中的稳定性，针对现有双频Bode图稳定性判据方法仅适用于最小相位系统的不足，提出一种基于扩展双频Bode图的稳定性分析方法。根据洛伦兹力磁轴承工作原理建立了MSCSG转子偏转系统动力学模型；通过变量重构，将实系数双输入双输出系统等效变换为复系数单输入单输出系统；在分析Nyquist曲线与Bode图关联性的基础上，提出针对非最小相位系统的扩展双频Bode图稳定性判据，对不同转速下MSCSG转子系统稳定性进行预测，并通过转速根轨迹曲线预测转子系统的转速稳定区间。所提出的扩展双频Bode图稳定判据结果与时域仿真校验结果相一致，验证了本文所提出的稳定性分析方法的正确性和有效性。     

一种基于局域网的小卫星远程智能测试系统

为优化小卫星系统测试技术,根据小卫星的特点及现状,结合实际测试工作,提出一种基于局域网的小卫星远程智能测试系统,该系统在很大程度上,提高了测试操作的准确性和测试效率。本文简述了该系统及其对今后深入开展测试工作的积极作用。     

1553B总线故障注入测试方法研究

随着1553B总线在航空航天领域的广泛应用,对其可靠性、测试性的要求日益迫切。而一般的1553B总线测试均是在传统方法上的正向测试,即针对输入的激励测试输出的响应,因此无法覆盖到更多在异常状态下的测试环境。为了增大测试覆盖性,本文将故障注入思想引入到1553B总线测试中,分别对总线物理层、电气层和协议层中典型的测试用例进行故障注入的故障模式和实现方法研究,实验的结果验证了故障注入测试方法可以实现预期的故障目标。