发射场卫星试验鉴定流程控制网模型及分析

发射场卫星试验鉴定流程控制联合考虑试验鉴定过程模型和试验科目，实现对试验鉴定的流程控制。目前发射场卫星技术流程以文字和图片描述，在节点状态和约束迁移方面存在量化问题，无法构建形式化模型以嵌入自动化试验鉴定评估系统。以网模型为基础，构造发射场卫星试验鉴定流程控制网模型，并提出配套结构分析和性能分析方法，实现量化的可达性、作业不确定性和资源竞争性等分析内容，支持并行多星多任务的评估分析，从而支撑发射场卫星试验鉴定流程管理中试验鉴定方案设计及卫星流程模型优化设计等工作。     

一种卫星直扩跳频测控系统自动化测试方法

针对目前国内卫星直扩跳频(DS/FH)测控(TTC)系统测试不全面,测试方法通用性差的问题,通过分析DS/FH测控系统工作特点和测试技术难点,提出了一种卫星DS/FH测控系统自动化测试方法,并设计了一种基于软件无线电和通用仪器的通用自动化测试系统。该方法充分模拟天地测控链路环境,可综合、全面、灵活地考核DS/FH测控系统的捕获性能、动态性能和抗干扰性能。在某卫星整星各测试阶段进行了应用,结果表明:该测试方法准确可行,测试全面、充分、通用性好、可重构能力强、测试效率大幅提升,可推广到各类卫星DS/FH测控系统测试中应用。     

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

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

基于DSPN的航天器系统级可测试性指标确定方法

为确定航天器系统级可测试性设计的指标要求,对一种基于确定与随机Petri网(Deterministic and Stochastic Petri Net,DSPN)模型的可测试性指标确定方法进行了研究。通过对航天器系统测试过程的DSPN建模,建立起系统级可测试性设计指标与其约束的联系,并利用求解模型同构的马尔科夫链来确定上述关系,文章同时给出了建模设计实例,进行了指标分析和验证。