测试用例生成方法、设备和存储介质

    公开(公告)号:CN114201381B

    公开(公告)日:2025-04-29

    申请号:CN202010912176.X

    申请日:2020-09-02

    Abstract: 本发明公开了一种测试用例生成方法、设备和存储介质,包括:根据软件需求规格,建立有限状态机模型和基于类功能块图语言的功能块图模型;根据功能块图模型的生效状态,在有限状态机模型中选取一个软件运行的状态作为功能块图模型的前置状态;根据预设的转换规则,将功能块图模型转换为描述软件运行的状态变化过程的转换有限状态机模型,并根据功能块图模型的前置状态,将转换有限状态机模型与有限状态机模型进行关联,得到目标有限状态机模型;基于目标有限状态机模型,采用预设的遍历算法,将每一条路径生成一条测试用例,既能够准确全面地描述软件的运行过程状态,又能够准确描述软件输入输出之间的逻辑关系,提高了生成的测试用例准确性。

    测试用例生成方法、设备和存储介质

    公开(公告)号:CN114201381A

    公开(公告)日:2022-03-18

    申请号:CN202010912176.X

    申请日:2020-09-02

    Abstract: 本发明公开了一种测试用例生成方法、设备和存储介质,包括:根据软件需求规格,建立有限状态机模型和基于类功能块图语言的功能块图模型;根据功能块图模型的生效状态,在有限状态机模型中选取一个软件运行的状态作为功能块图模型的前置状态;根据预设的转换规则,将功能块图模型转换为描述软件运行的状态变化过程的转换有限状态机模型,并根据功能块图模型的前置状态,将转换有限状态机模型与有限状态机模型进行关联,得到目标有限状态机模型;基于目标有限状态机模型,采用预设的遍历算法,将每一条路径生成一条测试用例,既能够准确全面地描述软件的运行过程状态,又能够准确描述软件输入输出之间的逻辑关系,提高了生成的测试用例准确性。

    变流器故障诊断方法、装置、存储介质及电子设备

    公开(公告)号:CN115707987A

    公开(公告)日:2023-02-21

    申请号:CN202110947870.X

    申请日:2021-08-18

    Abstract: 本申请涉及故障诊断技术领域,具体涉及一种变流器故障诊断方法、装置、存储介质及电子设备,包括:对预先完成结构优化的目标牵引变流器进行结构分析,得到所述预先完成结构优化的目标牵引变流器的第一结构化模型;对所述第一结构化模型确定至少一个结构最小超定方程集;确定每个所述结构最小超定方程集的残差;计算每个所述残差对应的检测值;将所述检测值与相应的检测阈值进行比较,得到诊断结果。本申请通过对牵引变流器的结构优化使牵引变流器中的各种故障的可隔离和可检测,通过实时确定的检测值实现精确在线故障诊断。

    一种控制机车自动挂车的方法及系统

    公开(公告)号:CN112776835B

    公开(公告)日:2022-03-22

    申请号:CN202110117990.7

    申请日:2021-01-28

    Abstract: 本发明涉及一种控制机车自动挂车的方法及智能驾驶系统,以及一种计算机可读存储介质。该方法包括:探测待挂车厢车钩到机车车钩的车钩距离;根据所述车钩距离及目标撞击速度制定运行控制曲线,其中,所述目标撞击速度为成功挂车所需的指定速度,所述运行控制曲线包括多个元素,每个元素指示自动挂车过程中一个时刻的控制量;以及根据所述运行控制曲线控制所述机车向所述待挂车厢行驶,使所述机车车钩按所述目标撞击速度撞击所述待挂车厢车钩,以实现所述自动挂车。本发明能够降低司机的劳作强度、提高一次挂车成功率,并提升铁路运营的安全性。

Patent Agency Ranking