公开(公告)号：CN107111802A

公开(公告)日：2017-08-29

申请号：CN201680003466.4

申请日：2016-01-22

Applicant: 株式会社日立制作所

Inventor： 三部良太 ,  团野博文 ,  伊藤秀朗 ,  田中匡史 ,  中川雄一郎

IPC: G06Q10/06 ,  G06F9/44 ,  G06Q10/00

Abstract: 提供能够根据系统的日志提取在组织或角色级进行的人与系统的交互的业务规范再生装置、业务规范再生方法。具备：案件流程生成部，基于操作日志数据生成表示案件中的负责人所进行的业务的进程的案件流程，所述操作日志数据记录有执行案件所需的业务中的每个负责人的操作；模板生成部，基于将业务的组织与业务建立关联而成的组织数据、及通过案件流程生成部生成的案件流程，生成业务层级模板及组织模板，所述业务层级模板表示组织与业务的关系，所述组织模板表示组织与负责人的关系；业务流程生成部，基于模板生成部所生成的业务层级模板与组织模板，生成按组织表示业务的进程的业务流程。

公开(公告)号：CN106104469A

公开(公告)日：2016-11-09

申请号：CN201480077084.7

申请日：2014-03-25

Applicant: 株式会社日立制作所

Inventor： 村上正敏 ,  中川雄一郎 ,  三部良太 ,  古家直树

IPC: G06F9/44

CPC classification number: G06F8/10

Abstract: 软件规格间匹配性验证装置(100)具有：规格构造解析部(103)，其取得对应的软件规格，并提取预先按照所述分层构造设定了在软件规格中的相对位置的各规格项目；规格项目匹配部(105)，其使用匹配规则，来判别各规格项目间有无依存关系，其中，匹配规则记述了在对应的规格项目间应成立的依存关系；依存关系信息生成部(106)，其提取依存关系信息，该依存关系信息用于指定被判定为具有依存关系的规格项目的组合；依存关系验证部(109)，其根据针对特定的规格项目的组合，通过包含应该成立的匹配条件的验证规则而提取出的依存关系信息，判定是否满足匹配条件，在判定为不满足时，将该依存关系作为不匹配信息进行输出；验证结果可视化部(110)，其通过预定的用户接口输出所述不匹配信息。

公开(公告)号：CN109684190B

公开(公告)日：2022-02-22

申请号：CN201810835884.0

申请日：2018-07-26

Applicant: 株式会社日立制作所

Inventor： 来间启伸 ,  小川秀人 ,  中川雄一郎 ,  伊藤信治 ,  佐藤直人 ,  明神智之

IPC: G06F11/36

Abstract: 本发明提供一种软件测试装置和方法，用于判断具有不可预测性的软件是否进行符合预期的动作。软件测试装置包括：数据转换部，其通过计算机接收测试输入数据，将测试输入数据转换为给与软件的软件输入数据和模型输入数据；软件执行部，其接收软件输入数据，基于软件输入数据执行测试对象的软件，输出执行结果；模型执行部，其接收关于软件的参考模型，基于模型输入数据和参考模型，生成包括执行软件得到的执行结果的允许输出值范围的模型允许输出值范围；差异分析部，其基于软件执行部输出的执行结果和模型执行部生成的模型允许输出值范围，生成差异信息；和判断部，其接收评价基准，基于差异信息和评价基准，进行软件的动作的判断。

公开(公告)号：CN109684190A

公开(公告)日：2019-04-26

申请号：CN201810835884.0

申请日：2018-07-26

Applicant: 株式会社日立制作所

Inventor： 来间启伸 ,  小川秀人 ,  中川雄一郎 ,  伊藤信治 ,  佐藤直人 ,  明神智之

IPC: G06F11/36

Abstract: 本发明提供一种软件测试装置和方法，用于判断具有不可预测性的软件是否进行符合预期的动作。软件测试装置包括：数据转换部，其通过计算机接收测试输入数据，将测试输入数据转换为给与软件的软件输入数据和模型输入数据；软件执行部，其接收软件输入数据，基于软件输入数据执行测试对象的软件，输出执行结果；模型执行部，其接收关于软件的参考模型，基于模型输入数据和参考模型，生成包括执行软件得到的执行结果的允许输出值范围的模型允许输出值范围；差异分析部，其基于软件执行部输出的执行结果和模型执行部生成的模型允许输出值范围，生成差异信息；和判断部，其接收评价基准，基于差异信息和评价基准，进行软件的动作的判断。