一种面向对象程序中条件语句缺陷补丁生成与验证方法

    公开(公告)号:CN113590167A

    公开(公告)日:2021-11-02

    申请号:CN202110777641.8

    申请日:2021-07-09

    Applicant: 四川大学

    Abstract: 本发明提供一种面向对象程序中条件语句缺陷补丁生成与验证方法。该方法包括修复信息收集、补丁生成和补丁验证三个步骤。首先运行测试用例,收集待修复程序位置的上下文信息,然后综合使用变异技术和程序合成技术自动化地生成候选补丁,最后运行测试用例验证候选补丁的有效性。该方法可以有效地修复条件语句错误和条件语句缺失两种缺陷,显著提高了缺陷修复率和补丁精度,缓解了补丁过度拟合问题。

    一种面向对象程序中条件语句缺陷补丁生成与验证方法

    公开(公告)号:CN113590167B

    公开(公告)日:2023-03-24

    申请号:CN202110777641.8

    申请日:2021-07-09

    Applicant: 四川大学

    Abstract: 本发明提供一种面向对象程序中条件语句缺陷补丁生成与验证方法。该方法包括修复信息收集、补丁生成和补丁验证三个步骤。首先运行测试用例,收集待修复程序位置的上下文信息,然后综合使用变异技术和程序合成技术自动化地生成候选补丁,最后运行测试用例验证候选补丁的有效性。该方法可以有效地修复条件语句错误和条件语句缺失两种缺陷,显著提高了缺陷修复率和补丁精度,缓解了补丁过度拟合问题。

    一种家庭医生工作室示范体验站

    公开(公告)号:CN211396787U

    公开(公告)日:2020-09-01

    申请号:CN201922268911.3

    申请日:2019-12-17

    Abstract: 本实用新型公开了一种家庭医生工作室示范体验站,包括体验站主体,主体包括底座、侧壁和顶盖,底座下方设有多个移动轮,侧壁上设有门体和窗体,并且侧壁上设有电子显示屏,靠近电子显示屏固定设有语音播放器,电子显示屏的下部固定设有广告板,顶盖的四周固定设有檐口,檐口下设有LED照明灯,顶盖上表面铺设太阳能板,主体内部设有家庭医生诊疗桌、饮水机。本实用新型体积小,方便移动,可放于人流量比较多的地方的门口,通过电子显示屏播放宣传视频、语音播放器辅助讲解,主要用于宣传家庭医生概念、家庭医生工作室功能;并且本装置通过太阳能电池板转化成电能为LED照明灯等用电设备供电,能够利用太阳能资源,环保节能。

    一种家庭医生诊疗桌
    8.
    实用新型

    公开(公告)号:CN211271141U

    公开(公告)日:2020-08-18

    申请号:CN201922268899.6

    申请日:2019-12-17

    Abstract: 本实用新型公开了一种家庭医生诊疗桌,包括桌板(1),所述桌板(1)上方连接设有可伸缩的输液杆(2),所述桌板(1)下方两端连接设有两组储物柜(4),所述桌板(1)下方中央连接设有中央抽屉(5),所述储物柜(4)内连接设有若干抽屉(7),所述抽屉(7)上设有分类标志槽(8),所述储物柜(4)下方连接设有桌腿(9),所述桌腿(9)下方连接设有升降气缸(10),所述升降气缸(10)下方连接设有支架(11),所述支架(11)下方转动连接设有万向轮(12)。本实用新型与现有技术相比优点在于:结构紧凑、设计合理、便于调节高度、可对医用器材分类存放、可轻松移动。

Patent Agency Ranking