-
公开(公告)号：CN112868037B
公开(公告)日：2024-09-24
申请号：CN201980067666.X
申请日：2019-12-10
Applicant: 株式会社日立制作所
IPC: G06Q10/06
Abstract: 能够对需要利用测试设备的软件开发工序中的基于测试设备数量增减的工序进度恰当地进行评价。在测试设备管理系统(10)中，构成为存储工序信息数据库(208)、设备预约信息数据库(210)、工序进度履历信息数据库(209)和设备数量变更案信息，并具备：项目进度预测部(203)，其基于工序进度履历信息，计算出软件开发工序中的设备利用剩余时间，基于设备预约信息，对可利用变更案的数量的设备的时间范围进行确定，且基于可利用的时间范围，对与设备利用剩余时间相应的作业，预测变更成变更案的数量的设备的情况下的软件开发工序的进度；和用户界面(202)，其输出预测出的变更后的进度信息。
-
公开(公告)号：CN109710306B
公开(公告)日：2022-06-07
申请号：CN201811243196.1
申请日：2018-10-24
Applicant: 株式会社日立制作所
Abstract: 本发明提供一种源代码解析装置、源代码解析方法、计算机可读记录介质，其能够判断程序要素是否具备问题特征。源代码解析装置具备：程序关联性分析部，其解析源代码来对源代码内包含的程序要素彼此的关联性进行分析，生成程序关联性指标信息；逻辑耦合分析部，其使用源代码的变更履历，生成表示容易同时变更的程序要素的组合的信息即逻辑耦合信息；评价部，其至少根据逻辑耦合信息，针对每个程序要素生成包含与源代码的品质有关的评价值的程序要素信息；反模式检测部，其生成反模式信息，该反模式信息用于表示逻辑耦合信息中包含的程序要素中的程序要素信息和程序关联性指标信息分别满足预定条件的程序要素；以及输出部，其输出反模式信息。
-
公开(公告)号：CN113678099A
公开(公告)日：2021-11-19
申请号：CN202080027594.9
申请日：2020-04-13
Applicant: 株式会社日立制作所
IPC: G06F8/30 , G06F3/01 , G06F3/0481 , G06F3/0484
Abstract: 提供一种用户能够容易地分析软件的系统。辅助软件的构造的分析的软件分析辅助系统(1)包含至少一个计算机，计算机取得表示各软件组件的关系以及属性的软件组件信息(12)，取得能够编辑的显示要素设定信息(13)，其是设定了与各软件组件的属性对应的第一显示要素(41)以及与各软件组件间的关系对应的第二显示要素(42)的显示要素设定信息(13)，在基于各软件组件的属性中的预先选择出的预定的多个属性来显示各软件组件的关系的虚拟空间(40)的预定位置，分别配置第一显示要素以及第二显示要素。
-
公开(公告)号：CN103140838A
公开(公告)日：2013-06-05
申请号：CN201180047719.5
申请日：2011-10-25
Applicant: 株式会社日立制作所
IPC: G06F11/36
CPC classification number: G06F11/3608 , G06F11/3604 , G06F11/3624
Abstract: 本发明提供一种源代码转换方法和源代码转换程序，该源代码转换方法使用计算机将软件的源代码转换为检查代码，具有：输入软件的源代码的步骤；输入不同的多个转换规则的步骤；输入与处理性能相关的约束即非功能规则的步骤；用上述不同的多个转换规则和上述非功能规则将上述源代码转换为用验证工具的输入语言描述的非功能检查代码的步骤。
-
公开(公告)号：CN113678099B
公开(公告)日：2023-08-11
申请号：CN202080027594.9
申请日：2020-04-13
Applicant: 株式会社日立制作所
IPC: G06F8/30 , G06F3/01 , G06F3/0481 , G06F3/0484
Abstract: 提供一种用户能够容易地分析软件的系统。辅助软件的构造的分析的软件分析辅助系统(1)包含至少一个计算机，计算机取得表示各软件组件的关系以及属性的软件组件信息(12)，取得能够编辑的显示要素设定信息(13)，其是设定了与各软件组件的属性对应的第一显示要素(41)以及与各软件组件间的关系对应的第二显示要素(42)的显示要素设定信息(13)，在基于各软件组件的属性中的预先选择出的预定的多个属性来显示各软件组件的关系的虚拟空间(40)的预定位置，分别配置第一显示要素以及第二显示要素。
-
Patent Agency Ranking
公开(公告)号：CN105408872A
公开(公告)日：2016-03-16
申请号：CN201380078502.X
申请日：2013-08-28
Applicant: 株式会社日立制作所
IPC: G06F11/36
CPC classification number: G06F11/3608 , G06F8/40 , G06F8/427 , G06F8/436 , G06F8/4436 , G06F8/72
Abstract: 通过符号执行进行针对由人工实施的重构的等价性验证时，能够不使计算量爆发，而迅速地进行。在验证源代码的等价性时，进行基于解析源代码而得的结构图的结构比较的验证和符号执行的验证这两种验证。并且，在通过基于结构图的结构比较能够判定为结构一致的情况下，不进行符号执行。此外，在进行基于结构比较的验证前，对于重构前后的各个源代码，根据对每个重构模式决定的正规化信息对结构图进行正规化，在重构正当时，调整为结构一致。并且，对将重构前后的各个结构图进行抽象化而得的图进行符号执行来进行验证，由此限定进行符号执行的位置。
-
公开(公告)号：CN103052943A
公开(公告)日：2013-04-17
申请号：CN201180038784.1
申请日：2011-08-08
Applicant: 株式会社日立制作所
CPC classification number: G06F8/40 , G06F8/51 , G06F8/75 , G06F11/3604 , G06F11/3624
Abstract: 为了在软件的模型检查中，降低用模型检查器的输入语言描述检查代码的成本，存在将软件的源代码转换为检查代码的方法。因为用户只能选择单一的转换方式，所以存在抽象化水平的变更困难、用于追随源代码的设计变更的规则修正成本较高、用于用不同检查工具检查的规则修正成本较高等课题。本发明在将源代码转换为检查代码时，提供选择多个转换规则的单元，用户能够容易地变更抽象化的水平。此外，多个转换规则包括将源代码转换为中间形式的转换规则、在中间形式中进行抽象化的转换规则和从中间形式转换为检查代码的转换规则。
-
公开(公告)号：CN103140838B
公开(公告)日：2015-06-17
申请号：CN201180047719.5
申请日：2011-10-25
Applicant: 株式会社日立制作所
IPC: G06F11/36
CPC classification number: G06F11/3608 , G06F11/3604 , G06F11/3624
Abstract: 本发明提供一种源代码转换方法和源代码转换程序，该源代码转换方法使用计算机将软件的源代码转换为检查代码，具有：输入软件的源代码的步骤；输入不同的多个转换规则的步骤；输入与处理性能相关的约束即非功能规则的步骤；用上述不同的多个转换规则和上述非功能规则将上述源代码转换为用验证工具的输入语言描述的非功能检查代码的步骤。
-
公开(公告)号：CN112868037A
公开(公告)日：2021-05-28
申请号：CN201980067666.X
申请日：2019-12-10
Applicant: 株式会社日立制作所
IPC: G06Q10/06
Abstract: 能够对需要利用测试设备的软件开发工序中的基于测试设备数量增减的工序进度恰当地进行评价。在测试设备管理系统(10)中，构成为存储工序信息数据库(208)、设备预约信息数据库(210)、工序进度履历信息数据库(209)和设备数量变更案信息，并具备：项目进度预测部(203)，其基于工序进度履历信息，计算出软件开发工序中的设备利用剩余时间，基于设备预约信息，对可利用变更案的数量的设备的时间范围进行确定，且基于可利用的时间范围，对与设备利用剩余时间相应的作业，预测变更成变更案的数量的设备的情况下的软件开发工序的进度；和用户界面(202)，其输出预测出的变更后的进度信息。
-
公开(公告)号：CN105408872B
公开(公告)日：2017-11-24
申请号：CN201380078502.X
申请日：2013-08-28
Applicant: 株式会社日立制作所
IPC: G06F11/36
CPC classification number: G06F11/3608 , G06F8/40 , G06F8/427 , G06F8/436 , G06F8/4436 , G06F8/72
Abstract: 通过符号执行进行针对由人工实施的重构的等价性验证时，能够不使计算量爆发，而迅速地进行。在验证源代码的等价性时，进行基于解析源代码而得的结构图的结构比较的验证和符号执行的验证这两种验证。并且，在通过基于结构图的结构比较能够判定为结构一致的情况下，不进行符号执行。此外，在进行基于结构比较的验证前，对于重构前后的各个源代码，根据对每个重构模式决定的正规化信息对结构图进行正规化，在重构正当时，调整为结构一致。并且，对将重构前后的各个结构图进行抽象化而得的图进行符号执行来进行验证，由此限定进行符号执行的位置。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.033 seconds)
