工序管理支援系统、工序管理支援方法及工序管理支援程序

    公开(公告)号:CN112868037A

    公开(公告)日:2021-05-28

    申请号:CN201980067666.X

    申请日:2019-12-10

    Abstract: 能够对需要利用测试设备的软件开发工序中的基于测试设备数量增减的工序进度恰当地进行评价。在测试设备管理系统(10)中,构成为存储工序信息数据库(208)、设备预约信息数据库(210)、工序进度履历信息数据库(209)和设备数量变更案信息,并具备:项目进度预测部(203),其基于工序进度履历信息,计算出软件开发工序中的设备利用剩余时间,基于设备预约信息,对可利用变更案的数量的设备的时间范围进行确定,且基于可利用的时间范围,对与设备利用剩余时间相应的作业,预测变更成变更案的数量的设备的情况下的软件开发工序的进度;和用户界面(202),其输出预测出的变更后的进度信息。

    源代码等价性验证装置以及源代码等价性验证方法

    公开(公告)号:CN105408872B

    公开(公告)日:2017-11-24

    申请号:CN201380078502.X

    申请日:2013-08-28

    Abstract: 通过符号执行进行针对由人工实施的重构的等价性验证时,能够不使计算量爆发,而迅速地进行。在验证源代码的等价性时,进行基于解析源代码而得的结构图的结构比较的验证和符号执行的验证这两种验证。并且,在通过基于结构图的结构比较能够判定为结构一致的情况下,不进行符号执行。此外,在进行基于结构比较的验证前,对于重构前后的各个源代码,根据对每个重构模式决定的正规化信息对结构图进行正规化,在重构正当时,调整为结构一致。并且,对将重构前后的各个结构图进行抽象化而得的图进行符号执行来进行验证,由此限定进行符号执行的位置。

    软件分析辅助系统及其计算机可读记录介质

    公开(公告)号:CN113678099B

    公开(公告)日:2023-08-11

    申请号:CN202080027594.9

    申请日:2020-04-13

    Abstract: 提供一种用户能够容易地分析软件的系统。辅助软件的构造的分析的软件分析辅助系统(1)包含至少一个计算机,计算机取得表示各软件组件的关系以及属性的软件组件信息(12),取得能够编辑的显示要素设定信息(13),其是设定了与各软件组件的属性对应的第一显示要素(41)以及与各软件组件间的关系对应的第二显示要素(42)的显示要素设定信息(13),在基于各软件组件的属性中的预先选择出的预定的多个属性来显示各软件组件的关系的虚拟空间(40)的预定位置,分别配置第一显示要素以及第二显示要素。

    计算机、文档识别方法以及系统

    公开(公告)号:CN108984578B

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

    申请号:CN201810160384.1

    申请日:2018-02-26

    Abstract: 本发明的课题在于从记载于纸的文档高精度地提取在电子申请中需要的字符串。一种提取表示记载于纸的文档的特征的字符串即属性的计算机,计算机保持模板信息以及词典信息,对记载于纸的文档的图像数据执行字符识别处理,使用字符识别处理的结果以及多个模板,提取与在多个模板的各模板中定义的属性的类型对应的属性,针对多个模板的每一个计算与提取出的属性相关的得分,基于得分选择属性的提取精度最高的模板,生成包含使用所选择的模板而提取出的属性的输出信息。

    源代码等价性验证装置以及源代码等价性验证方法

    公开(公告)号:CN105408872A

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

    申请号:CN201380078502.X

    申请日:2013-08-28

    Abstract: 通过符号执行进行针对由人工实施的重构的等价性验证时,能够不使计算量爆发,而迅速地进行。在验证源代码的等价性时,进行基于解析源代码而得的结构图的结构比较的验证和符号执行的验证这两种验证。并且,在通过基于结构图的结构比较能够判定为结构一致的情况下,不进行符号执行。此外,在进行基于结构比较的验证前,对于重构前后的各个源代码,根据对每个重构模式决定的正规化信息对结构图进行正规化,在重构正当时,调整为结构一致。并且,对将重构前后的各个结构图进行抽象化而得的图进行符号执行来进行验证,由此限定进行符号执行的位置。

    工序管理支援系统、工序管理支援方法及工序管理支援程序产品

    公开(公告)号:CN112868037B

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

    申请号:CN201980067666.X

    申请日:2019-12-10

    Abstract: 能够对需要利用测试设备的软件开发工序中的基于测试设备数量增减的工序进度恰当地进行评价。在测试设备管理系统(10)中,构成为存储工序信息数据库(208)、设备预约信息数据库(210)、工序进度履历信息数据库(209)和设备数量变更案信息,并具备:项目进度预测部(203),其基于工序进度履历信息,计算出软件开发工序中的设备利用剩余时间,基于设备预约信息,对可利用变更案的数量的设备的时间范围进行确定,且基于可利用的时间范围,对与设备利用剩余时间相应的作业,预测变更成变更案的数量的设备的情况下的软件开发工序的进度;和用户界面(202),其输出预测出的变更后的进度信息。

    计算机及模板管理方法
    8.
    发明授权

    公开(公告)号:CN110276236B

    公开(公告)日:2023-04-28

    申请号:CN201910113499.X

    申请日:2019-02-14

    Abstract: 一种计算机及模板管理方法,目的是对模板进行管理以免生成不需要的模板。一种对模板进行管理的计算机,将文件形式、模板、以及根据基于特征空间中的文件的位置的分类结果所生成的群建立对应而进行管理;在检测到被执行了识别处理的目标文件的模板的生成契机的情况下,基于特征空间中的目标文件的位置,判定是否存在能够属于的群,在判定为不存在能够属于的群的情况下,将目标文件的模板登记;生成与登记的模板对应的群,将目标文件的文件形式、登记的模板、生成的群建立对应而进行管理。

    计算机以及文件识别方法

    公开(公告)号:CN109753964B

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

    申请号:CN201810962608.0

    申请日:2018-08-22

    Abstract: 本发明涉及计算机以及文件识别方法,用于抑制业务上损失的产生且从文件中高精度地提取审查需要的字符串。提取任意审查对象的文件中包括的字符串即属性的计算机存储用于定义了属性类别的多个模板的模板信息,针对文件的图像数据执行字符识别处理,使用字符识别处理的结果以及多个模板来提取与属性的类别对应的属性,根据提取出的属性来选择模板,生成包括使用选择的模板提取出的属性且用于审查的输出信息,根据表示输出信息的可靠性的评价值与阈值的比较结果来决定在进行审查之前对输出信息进行的确认操作的类别,根据文件中包括的字符串来修正所决定的确认操作的类别。

    软件分析辅助系统及其计算机程序

    公开(公告)号:CN113678099A

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

    申请号:CN202080027594.9

    申请日:2020-04-13

    Abstract: 提供一种用户能够容易地分析软件的系统。辅助软件的构造的分析的软件分析辅助系统(1)包含至少一个计算机,计算机取得表示各软件组件的关系以及属性的软件组件信息(12),取得能够编辑的显示要素设定信息(13),其是设定了与各软件组件的属性对应的第一显示要素(41)以及与各软件组件间的关系对应的第二显示要素(42)的显示要素设定信息(13),在基于各软件组件的属性中的预先选择出的预定的多个属性来显示各软件组件的关系的虚拟空间(40)的预定位置,分别配置第一显示要素以及第二显示要素。

Patent Agency Ranking