“市井诚”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果9个，建议您升级VIP下载更多相关专利

[发明专利]软件分析辅助系统及其计算机可读记录介质-CN202080027594.9有效
发明人：堀旭宏;川上真澄;市井诚;铃木康文;若林升 -专利权人：株式会社日立制作所
申请日： 2020-04-13 - 公布日： 2023-08-11 - 主分类号： G06F8/30 文献下载
摘要：提供一种用户能够容易地分析软件的系统。辅助软件的构造的分析的软件分析辅助系统(1)包含至少一个计算机，计算机取得表示各软件组件的关系以及属性的软件组件信息(12)，取得能够编辑的显示要素设定信息(13)，其是设定了与各软件组件的属性对应的第一显示要素(41)以及与各软件组件间的关系对应的第二显示要素(42)的显示要素设定信息(13)，在基于各软件组件的属性中的预先选择出的预定的多个属性来显示各软件组件的关系的虚拟空间(40)的预定位置，分别配置第一显示要素以及第二显示要素。
软件分析辅助系统及其计算机可读记录介质

[发明专利]源代码解析装置、源代码解析方法、计算机可读记录介质-CN201811243196.1有效
发明人： 市井诚;加藤正恭;利国爱;川上真澄 -专利权人：株式会社日立制作所
申请日： 2018-10-24 - 公布日： 2022-06-07 - 主分类号： G06F8/74 文献下载
摘要：本发明提供一种源代码解析装置、源代码解析方法、计算机可读记录介质，其能够判断程序要素是否具备问题特征。源代码解析装置具备：程序关联性分析部，其解析源代码来对源代码内包含的程序要素彼此的关联性进行分析，生成程序关联性指标信息；逻辑耦合分析部，其使用源代码的变更履历，生成表示容易同时变更的程序要素的组合的信息即逻辑耦合信息；评价部，其至少根据逻辑耦合信息，针对每个程序要素生成包含与源代码的品质有关的评价值的程序要素信息；反模式检测部，其生成反模式信息，该反模式信息用于表示逻辑耦合信息中包含的程序要素中的程序要素信息和程序关联性指标信息分别满足预定条件的程序要素；以及输出部，其输出反模式信息。
源代码解析装置方法计算机可读记录介质

[发明专利]计算装置、影响输出系统、影响判定方法-CN201810309230.4有效
发明人：下田慎一;川上真澄;市井诚;小田文雄 -专利权人：歌乐株式会社
申请日： 2018-04-08 - 公布日： 2021-11-09 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种计算装置、影响输出系统以及影响判定方法，能够检测尽管没有调用关系但是同时应该修正的可能性高的函数。计算装置具备：存储部，保存有同时修正关系信息，该同时修正关系信息针对源代码中记载的作为函数或者变量的要素而记录有基于源代码的修正日志而同时被修正的要素的组合；修正要素确定部，确定成为由用户进行修正的对象的要素即修正要素；影响部位解析判定部，利用同时修正关系信息判定通过对修正要素进行修正而受到影响的要素。
计算装置影响输出系统判定方法

[发明专利]工序管理支援系统、工序管理支援方法及工序管理支援程序-CN201980067666.X在审
发明人：大岛浩资;川上真澄;市井诚;堀旭宏;铃木康文 -专利权人：株式会社日立制作所
申请日： 2019-12-10 - 公布日： 2021-05-28 - 主分类号： G06Q10/06 文献下载
摘要：能够对需要利用测试设备的软件开发工序中的基于测试设备数量增减的工序进度恰当地进行评价。在测试设备管理系统(10)中，构成为存储工序信息数据库(208)、设备预约信息数据库(210)、工序进度履历信息数据库(209)和设备数量变更案信息，并具备：项目进度预测部(203)，其基于工序进度履历信息，计算出软件开发工序中的设备利用剩余时间，基于设备预约信息，对可利用变更案的数量的设备的时间范围进行确定，且基于可利用的时间范围，对与设备利用剩余时间相应的作业，预测变更成变更案的数量的设备的情况下的软件开发工序的进度；和用户界面(202)，其输出预测出的变更后的进度信息。
工序管理支援系统方法程序

[发明专利]软件开发支援方法及系统-CN201710379915.1有效
发明人：川上真澄;市井诚;小田文雄 -专利权人：歌乐株式会社
申请日： 2017-05-25 - 公布日： 2020-09-18 - 主分类号： G06F8/30 文献下载
摘要：本发明提供软件开发支援方法及系统。软件开发支援方法具有存储装置，其存储包含多个要素的源代码；输入输出装置，其进行信息的输入输出；控制器，其管理存储装置以及输入输出装置，软件开发支援方法具有：第一步骤，控制器在从输入输出装置接受了指示变更源代码中包含的要素的第一变更请求时，在存储装置中存储第一变更管理信息和第一变更预定信息，第一变更管理信息表示是否对受到第一变更请求的影响的其他要素进行了变更，第一变更预定信息表示有无受到第一变更请求的影响的其他要素的变更预定；第二步骤，输入输出装置输出通过第一变更请求指示了变更的要素、受到第一变更请求的影响的其他要素、第一变更管理信息以及第一变更预定信息。
软件开发支援方法系统

[发明专利]源代码分析方法和源代码分析装置-CN201910378645.1在审
发明人：堀旭宏;市井诚;利国爱;川上真澄 -专利权人：歌乐株式会社
申请日： 2019-05-08 - 公布日： 2019-12-27 - 主分类号： G06F11/36 文献下载
摘要：本发明提供源代码分析方法和源代码分析装置。其提示源代码中包括的应当分割的程序要素。处理器(11)基于源代码(13B)来计算代码度量，基于代码度量来计算Long Method Score，基于代码度量来计算维护性指标，基于Long Method Score来确定应当分割的程序要素，基于子反面模式定义信息，将应当分割的程序要素分类为子反面模式，基于改善类目信息来提示源代码的改善位置。
源代码程序要素代码度量源代码分析分割提示改善位置维护性处理器类目分类

[发明专利]源代码等价性验证装置以及源代码等价性验证方法-CN201380078502.X有效
发明人：铃木康文;新原敦介;市井诚;野口秀人 -专利权人：株式会社日立制作所
申请日： 2013-08-28 - 公布日： 2017-11-24 - 主分类号： G06F11/36 文献下载
摘要：通过符号执行进行针对由人工实施的重构的等价性验证时，能够不使计算量爆发，而迅速地进行。在验证源代码的等价性时，进行基于解析源代码而得的结构图的结构比较的验证和符号执行的验证这两种验证。并且，在通过基于结构图的结构比较能够判定为结构一致的情况下，不进行符号执行。此外，在进行基于结构比较的验证前，对于重构前后的各个源代码，根据对每个重构模式决定的正规化信息对结构图进行正规化，在重构正当时，调整为结构一致。并且，对将重构前后的各个结构图进行抽象化而得的图进行符号执行来进行验证，由此限定进行符号执行的位置。
源代码等价验证装置以及方法

[发明专利]源代码转换方法和源代码转换程序-CN201180047719.5有效
发明人：近久真章;市井诚;野口秀人 -专利权人：株式会社日立制作所
申请日： 2011-10-25 - 公布日： 2013-06-05 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种源代码转换方法和源代码转换程序，该源代码转换方法使用计算机将软件的源代码转换为检查代码，具有：输入软件的源代码的步骤；输入不同的多个转换规则的步骤；输入与处理性能相关的约束即非功能规则的步骤；用上述不同的多个转换规则和上述非功能规则将上述源代码转换为用验证工具的输入语言描述的非功能检查代码的步骤。
源代码转换方法程序

[发明专利]源代码转换方法和源代码转换程序-CN201180038784.1无效
发明人： 市井诚;近久真章;野口秀人;长野岳彦 -专利权人：株式会社日立制作所
申请日： 2011-08-08 - 公布日： 2013-04-17 - 主分类号： G06F9/44 文献下载
摘要：为了在软件的模型检查中，降低用模型检查器的输入语言描述检查代码的成本，存在将软件的源代码转换为检查代码的方法。因为用户只能选择单一的转换方式，所以存在抽象化水平的变更困难、用于追随源代码的设计变更的规则修正成本较高、用于用不同检查工具检查的规则修正成本较高等课题。本发明在将源代码转换为检查代码时，提供选择多个转换规则的单元，用户能够容易地变更抽象化的水平。此外，多个转换规则包括将源代码转换为中间形式的转换规则、在中间形式中进行抽象化的转换规则和从中间形式转换为检查代码的转换规则。
源代码转换方法程序

1
共 9 条