一种用于双路冗余接口数据的表决方法

    公开(公告)号:CN112540879A

    公开(公告)日:2021-03-23

    申请号:CN202011490880.7

    申请日:2020-12-16

    Abstract: 本发明提供了一种用于双路冗余接口数据的表决方法,所述方法通过在接口上设置错误计数器,在错误计数器满足一定阈值的情况下才进行接口切换,避免了接口频繁切换造成数据使用不连续或者数据滞后的问题;同时,通过帧计数来判断接口的数据是否更新,以确保软件系统能够采集到正确的数据。本发明的方法从系统输入的源头保证了用于飞行控制解算数据的有效性、实时性和安全性,保证导弹飞行控制的正确性。本发明能够解决现有表决方法无法检测数据内容是否真实有效以及会产生接口频繁切换的技术问题。

    基于测试结果的多维特性综合决策的软件质量评估方法

    公开(公告)号:CN112506787A

    公开(公告)日:2021-03-16

    申请号:CN202011486469.2

    申请日:2020-12-16

    Abstract: 本发明提供了一种基于测试结果的多维特性综合决策的软件质量评估方法,所述方法包括:基于软件质量的多个特性维度和每个特性维度对应的度量元建立软件质量度量模型;确定软件质量度量模型中每个特性维度中的每个度量元的度量因子,并获取每个度量因子的测量值;基于每个度量元对应的度量因子的测量值获取对应度量元的评估值;基于每个度量元的评估值获取对应的度量元的比例系数;基于每个度量元的比例系数和对应的度量元的满分值获取对应的度量元的分值;基于每个度量元的分值获取软件质量的综合分值。本发明能够解决现有的方法无法对软件质量进行定量评估的技术问题。

    基于测试结果的多维特性综合决策的软件质量评估方法

    公开(公告)号:CN112506787B

    公开(公告)日:2024-06-11

    申请号:CN202011486469.2

    申请日:2020-12-16

    Abstract: 本发明提供了一种基于测试结果的多维特性综合决策的软件质量评估方法,所述方法包括:基于软件质量的多个特性维度和每个特性维度对应的度量元建立软件质量度量模型;确定软件质量度量模型中每个特性维度中的每个度量元的度量因子,并获取每个度量因子的测量值;基于每个度量元对应的度量因子的测量值获取对应度量元的评估值;基于每个度量元的评估值获取对应的度量元的比例系数;基于每个度量元的比例系数和对应的度量元的满分值获取对应的度量元的分值;基于每个度量元的分值获取软件质量的综合分值。本发明能够解决现有的方法无法对软件质量进行定量评估的技术问题。

    一种活动图到状态图的转换算法
    4.
    发明公开

    公开(公告)号:CN115470103A

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

    申请号:CN202210982782.8

    申请日:2022-08-16

    Abstract: 本文提出了一种活动图到状态图的转换算法,通过该算法将活动图转换成状态图,对于活动图中的并发节点采用了多场景复制的方法,从而保证转换后的状态图路径无遗漏。测试人员通过该算法将活动图转换成状态图后,可以利用状态图的覆盖准则指导测试用例的自动生成,该方法能够满足弹载交互式软件测试需求的充分性覆盖性要求,同时提高软件测试的有效性和效率。

    一种面向飞行器图像检测的深度学习算法的蜕变测试方法

    公开(公告)号:CN117274752A

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

    申请号:CN202311203466.7

    申请日:2023-09-18

    Abstract: 本发明公开一种面向飞行器图像检测的深度学习算法的蜕变测试方法,以飞行器深度学习图像检测软件为被测对象,提出了针对深度学习图像识别软件的蜕变测试框架、蜕变关系输出结果的自动判定方法以及测试结果评估指标。采用的蜕变测试方法可以在不使用人工标注的情况下使用大量测试样本对被测软件进行测试,评估被测对象的识别效果和对不同变换的鲁棒性;根据测试的结果,可以挑选违反蜕变关系最多的样本作为被测软件的失效用例,通过人工标注的方式将其加入重训练集中来对模型进行重训练,提高被测软件的性能表现,以避免重训练过程中盲目地对大量样本进行标注和训练。因此蜕变测试可以作为高效选择重训练样本的方法,极大的降低改进模型的成本。

    一种用于双路冗余接口数据的表决方法

    公开(公告)号:CN112540879B

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

    申请号:CN202011490880.7

    申请日:2020-12-16

    Abstract: 本发明提供了一种用于双路冗余接口数据的表决方法,所述方法通过在接口上设置错误计数器,在错误计数器满足一定阈值的情况下才进行接口切换,避免了接口频繁切换造成数据使用不连续或者数据滞后的问题;同时,通过帧计数来判断接口的数据是否更新,以确保软件系统能够采集到正确的数据。本发明的方法从系统输入的源头保证了用于飞行控制解算数据的有效性、实时性和安全性,保证导弹飞行控制的正确性。本发明能够解决现有表决方法无法检测数据内容是否真实有效以及会产生接口频繁切换的技术问题。

    一种测试用例生成方法
    7.
    发明公开

    公开(公告)号:CN113886255A

    公开(公告)日:2022-01-04

    申请号:CN202111187584.4

    申请日:2021-10-12

    Abstract: 本发明提供一种测试用例生成方法,包括以下步骤:确定测试参数和测试参数之间的约束关系;转换成禁止关系;获得一个两两覆盖组合对集;按照最优原则选取第一个参数及参数值,将剩下的参数随机排列,按照次优原则选择参数对应的参数值,直至所有的参数都被加入;判断生成的测试用例是否在禁止元组中,若在则舍弃,不再则放入到测试用例候选集中;获得完整的测试用例候选集;在测试用例候选集中确定最优的测试用例,并将其放入到测试用例集中;判断两两覆盖组合对集中的元素是否为空,若为空,则测试用例集完成,若不为空,循环步骤四到八。本发明实现了对测试空间的等概率覆盖,提高测试的覆盖性和充分性,测试用例的数量减小,节约测试的成本。

    一种紧固连接结构
    8.
    实用新型

    公开(公告)号:CN203223450U

    公开(公告)日:2013-10-02

    申请号:CN201320098781.3

    申请日:2013-03-05

    Abstract: 本实用新型提出一种紧固连接结构,包括被连接物体I、被连接物体II、双头螺纹轴和自锁螺母,所述的双头螺纹轴在中部加工环状轴肩结构,被连接物体I待连接端面加工轴肩安装面,被连接物体I和被连接物体II紧固连接时,环状轴肩结构与轴肩安装槽压紧。本实用新型采用轴肩结构形式,通过轴肩与被连接物体的轴肩安装面的作用,产生预紧力,保证螺纹轴与被连接物体之间的紧固、不松脱,适用于操作空间狭小、开敞性不好或某些特定的状况。

Patent Agency Ranking