基于约束树的星载软件测试数据分析方法

    公开(公告)号:CN106569944B

    公开(公告)日:2019-12-13

    申请号:CN201610899082.7

    申请日:2016-10-14

    Abstract: 本发明公开了一种基于约束树的星载软件测试数据分析方法,包括:将预设的需求的逐项描述逐一转换为表格化描述,并将所述表格化描述定义为约束表;采用主元融合法对所有所述约束表进行处理,生成需求约束树;采用主元融合法对实际测试生成的记录表中的各个用例的测试结果进行处理,生成与每个用例一一对应的结果约束树;将每个所述用例各自生成的结果约束树与所述需求约束树进行比较,分析当前用例生成的结果约束树与所述需求约束树是否相符。本发明依据软件需求自动建立需求约束树,并通过分析测试数据自动建立结果约束树,将结果约束树自动化进行分析其是否满足需求约束树分支条件、节点健康等,以自动化的完成测试正确性分析。

    嵌入式星载软件重构系统及方法

    公开(公告)号:CN103853561B

    公开(公告)日:2017-07-18

    申请号:CN201410106639.8

    申请日:2014-03-21

    Abstract: 本发明提供了一种嵌入式星载软件重构系统及方法,所述系统包括装载表、外部接口单元、私有数据定义单元以及私有数据操作实现单元;所述装载表包含多个软件模块的信息数据;所述外部接口单元包括数据操作接口,用于响应用户的调用指令,以及提供封装的接口函数的接口;所述私有数据定义单元用于定义的装载表中数据的结构;所述私有数据操作实现单元用于根据地面指令通过封装的接口函数对所述装载表进行操作,以及根据装载表中提供的信息实现软件的动态星地回路重构。本发明通过封装方式实现软件重构,增加软件模块的独立性,增加对重要数据装载表的保护,节省星载计算机的存储空间,减少软件自主判断的风险。

    一种星载软件中条件统计型需求的处理方法和装置

    公开(公告)号:CN104331279B

    公开(公告)日:2017-06-30

    申请号:CN201410560661.X

    申请日:2014-10-21

    Abstract: 一种星载软件中条件统计型需求的处理方法和装置,其中方法包括:(1)根据需要统计的总周期数M中满足给定条件的周期次数N创建N维数组并初始化,其中,所述数组按顺序方式存储满足给定条件的周期序号;(2)更新所述数组,并使所述数组中非0元素均排列在数组前列;(3)判断当前周期对应条件是否满足所述给定条件,若满足,则将所述数组中首个0元素取值更新为所述总周期数M;(4)获取所述数组的非0元素个数C;(5)判断所述非0元素个数C是否满足预设的条件统计型需求,若满足,则执行预设动作,若不满足,则返回执行步骤(2)。本发明可节省大量内存,消耗处理器资源较少。

    基于约束树的星载软件测试数据分析方法

    公开(公告)号:CN106569944A

    公开(公告)日:2017-04-19

    申请号:CN201610899082.7

    申请日:2016-10-14

    Abstract: 本发明公开了一种基于约束树的星载软件测试数据分析方法,包括:将预设的需求的逐项描述逐一转换为表格化描述,并将所述表格化描述定义为约束表;采用主元融合法对所有所述约束表进行处理,生成需求约束树;采用主元融合法对实际测试生成的记录表中的各个用例的测试结果进行处理,生成与每个用例一一对应的结果约束树;将每个所述用例各自生成的结果约束树与所述需求约束树进行比较,分析当前用例生成的结果约束树与所述需求约束树是否相符。本发明依据软件需求自动建立需求约束树,并通过分析测试数据自动建立结果约束树,将结果约束树自动化进行分析其是否满足需求约束树分支条件、节点健康等,以自动化的完成测试正确性分析。

    具有自主运行管理功能的卫星架构

    公开(公告)号:CN106445674A

    公开(公告)日:2017-02-22

    申请号:CN201610899055.X

    申请日:2016-10-14

    CPC classification number: G06F9/4881

    Abstract: 一种具有自主运行管理功能的卫星架构,包括分别与总线连接的星务管理模块、载荷、姿轨控单机,自主管理单元,所述自主管理单元包括:供电模块、处理器、时钟单元、看门狗、存储器和驱动接口电路,所述供电模块向各部分提供工作电压;时钟单元与处理器连接,提供当前时钟,并提供周期性的中断信号;处理器与数据总线、地址总线连接,负责数据处理;存储器与数据总线、地址总线连接,用于实现代码存储、数据存储和代码运行;所述驱动接口电路与数据总线、地址总线以及外部总线连接,作为自主管理单元与其他模块的接口,包括信号的数模转换和数据缓存;所述看门狗与处理器连接,用于监控系统运行情况。上述卫星架构提升了微纳卫星的自主管理能力。

    一种模块化卫星
    9.
    发明公开

    公开(公告)号:CN105691637A

    公开(公告)日:2016-06-22

    申请号:CN201610218009.9

    申请日:2016-04-08

    CPC classification number: B64G1/10

    Abstract: 本发明提供了一种模块化卫星,包括:一姿控舱模块,所述姿控舱模块为一长方体;一电子舱模块,所述电子舱模块为一长方体,所述电子舱模块的长度和宽度与所述姿控舱模块相同,所述电子舱模块与所述姿控舱模块沿高度方向对齐并固接;多个星外单机,所述多个星外单机各自独立的固接在姿控舱模块或电子舱模块的外壳外表面;以及一太阳能电池帆板组件,所述太阳能电池帆板组件包括对称设置在姿控舱模块两侧的一对太阳能电池展开帆板。

    航天器推进系统在轨自主关机控制方法

    公开(公告)号:CN101508347A

    公开(公告)日:2009-08-19

    申请号:CN200910047209.2

    申请日:2009-03-06

    Abstract: 本发明揭示一种航天器推进系统在轨自主关机控制方法,包括压强-速度关机控制方式:实施轨控过程中,由压力传感器测量贮箱压强P,地面通过在轨标定确定推力系数k,星上接收到地面发送轨控指令后,计算推进系统在每个软件周期ΔT内产生的速度增量Δv,Δv=(F·ΔT)/m=(k·P·ΔT)/m;对Δv进行累加,与地面轨控指令中的“速度增量”v进行比较,如Δv累加结果大于等于轨控指令中的“速度增量”v,则控制推进系统执行关机。本发明通过温度-时间和压强-速度二种关机控制方式,解决了新型自增压液化气推进系统准确实施开关机的关键问题。

Patent Agency Ranking