一种基于Markov方法的仿真系统测试用例生成方法

    公开(公告)号:CN104679652A

    公开(公告)日:2015-06-03

    申请号:CN201510081876.8

    申请日:2015-02-15

    IPC分类号: G06F11/36

    摘要: 一种基于Markov方法的仿真系统测试用例生成方法,首先获取仿真系统所有功能操作及各功能操作的转移概率,根据功能操作及其转移概率建立有向图并得到功能操作个数与最长功能操作序列的长度,然后根据功能操作及其转移概率构建的有向图生成多个长度不定的且元素介于0与1之间的数组,最后依次遍历数组元素来选取功能后组成测试用例,并使用得到的测试用例完成测试。本发明方法根据转移概率计算得到的数组来生成测试用例,与现有技术相比覆盖同样的仿真系统功能需要的测试用例少,减少了测试重复率和测试的次数,提高了测试效率,降低了测试的工作量。

    一种基于Markov方法的仿真系统测试用例生成方法

    公开(公告)号:CN104679652B

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

    申请号:CN201510081876.8

    申请日:2015-02-15

    IPC分类号: G06F11/36

    摘要: 一种基于Markov方法的仿真系统测试用例生成方法,首先获取仿真系统所有功能操作及各功能操作的转移概率,根据功能操作及其转移概率建立有向图并得到功能操作个数与最长功能操作序列的长度,然后根据功能操作及其转移概率构建的有向图生成多个长度不定的且元素介于0与1之间的数组,最后依次遍历数组元素来选取功能后组成测试用例,并使用得到的测试用例完成测试。本发明方法根据转移概率计算得到的数组来生成测试用例,与现有技术相比覆盖同样的仿真系统功能需要的测试用例少,减少了测试重复率和测试的次数,提高了测试效率,降低了测试的工作量。

    一种基于实时遥测数据的运载火箭数字伴飞系统和方法

    公开(公告)号:CN117539165A

    公开(公告)日:2024-02-09

    申请号:CN202311387764.6

    申请日:2023-10-24

    IPC分类号: G05B17/02

    摘要: 本发明涉及一种基于实时遥测数据的运载火箭数字伴飞系统和方法,系统包括弹道仿真模型、动力仿真模型、质量仿真模型、气动仿真模型、环境仿真模型、时序模型、触发修正模型;弹道仿真模型、动力仿真模型、质量仿真模型、气动仿真模型、环境仿真模型同步进行仿真;时序模型,在每个仿真步长,根据预设的飞行时序和实时遥测数据,判断关键时序动作是否发生,采用离散事件消息,模拟关键时序动作;触发修正模型,根据实时获取的运载火箭遥测数据,判断弹道仿真模型是否需要修正,需要修正时,发送修正消息至弹道仿真模型。