-
公开(公告)号：CN1949308B
公开(公告)日：2012-07-25
申请号：CN200610073149.8
申请日：2006-04-06
Applicant: 株式会社日立制作所
IPC: H04L9/32
CPC classification number: H04L9/3247 , H04L9/3263
Abstract: 在公钥证明书的有效期已到期之后或密钥泄漏了时，也可以验证公钥证明书等的有效性。签名履历保管装置(104)具备签名履历列表(117)和证明书列表(120)，将生成的磁滞签名的签名信息的部分作为签名记录登录在签名履历列表(117)中，将用户证明书的部分登录在证明书列表(120)中。此外，签名履历保管装置(104)具备可靠点列表(118)，恰当地或在用户证明书期限到期之前对登录在签名履历列表(117)中的签名记录进行验证，把在已验证的签名记录中确定最新的签名记录的识别信息、对验证完成的签名记录的用户证明书的有效性进行验证的证据信息以及对这些信息进行了联结的信息的散列值登录在可靠点列表(118)中。
-
公开(公告)号：CN103631710B
公开(公告)日：2016-08-24
申请号：CN201310304712.8
申请日：2013-07-19
Applicant: 株式会社日立制作所
Abstract: 一种软件规范开发辅助方法以及软件规范开发辅助装置。规范检查部，对于从命题规则保存部取得的任意的检查对象的命题形式的规范和其任意的比较对象的命题形式的规范，判定2个命题形式的规范是否矛盾或重复，如果矛盾或重复，则将所述作为检查对象的命题形式的规范分解为与比较对象的命题形式的规范矛盾或重复的命题形式的规范、以及与比较对象的命题形式的规范不矛盾或不重复的命题形式的规范，登录在检查结果保存部中，决定表生成部从检查结果保存部取得所述命题形式的规范的任意一方或双方，关于各个所述命题形式的规范取出该命题形式的规范的条件部和结果部来生成决定表的行，将显示范围表示在与该命题形式的规范对应的列的相应行的栏中。
-
公开(公告)号：CN102081762A
公开(公告)日：2011-06-01
申请号：CN201010610833.1
申请日：2010-11-25
IPC: G06Q10/00
Abstract: 本发明提供一种检查规则设计支持方法，检查规则设计支持系统，和检查规则设计支持程序，使检查规则的定义和生成效率化。所述系统包括接受商品信息并登录的商品信息登录部101，接受处理商品的业务过程的信息并登录的业务过程信息登录部102，接受在业务过程中处理的业务数据的信息并登录的业务数据信息登录部103，生成检查规则模板并存储的检查规则模板生成部104，在表示检查规则模板的第一区域中接受由预定商品或预定业务过程使用的业务数据的选择、在第二区域中与接受了所述选择的业务数据相关地接受比较值和比较运算符的选择而作为检查规则定义存储的检查规则设计部105。
-
公开(公告)号：CN1869981A
公开(公告)日：2006-11-29
申请号：CN200510115318.5
申请日：2005-11-14
Applicant: 株式会社日立制作所
CPC classification number: G06F17/30011
Abstract: 提供一种电子文件保存系统，该电子文件保存系统(1)不设置花费成本的印刷装置，(2)减少预先登录与双重扫描检验对象的帐票有关的信息的劳力的同时，(3)实现对于来自多个读取装置的扫描也可适用的双重扫描检验。在电子文件保存系统中，电子文件管理装置保存扫描器由读入的收据或申请书生成的电子文件和登录装置生成的相关信息，电子文件管理装置从登录装置接收到包含特征量的双重扫描检查请求后，参照双重扫描检验规则和双重扫描检查用登录数据，实行双重扫描检查，把检查结果发送给登录装置，登录装置在判断是双重扫描的情况下，删除生成的电子文件和相应的相关信息。
-
公开(公告)号：CN104063312B
公开(公告)日：2017-03-15
申请号：CN201410050393.7
申请日：2014-02-13
Applicant: 株式会社日立制作所
CPC classification number: G06F11/3684
Abstract: 本发明提供一种测试用例生成方法及测试用例生成装置。根据软件规范生成囊括了该软件规范上能够输出的值的测试用例。接收软件规范，根据该软件规范生成包含针对该软件的测试输入值、以及将所述测试输入值作为输入来执行所述软件时期望作为输出值而获得的期望输出值的测试用例，确认所述软件规范上能够输出的值是否包含在所述期望输出值中，当所述确认的结果是判断为软件规范上能够输出的值不包含在所述期望输出值中时，生成由所述软件规范上能够输出的值和与其对应的测试输入值构成的测试用例，并添加到所述生成的测试用例中。
-
Patent Agency Ranking
公开(公告)号：CN104063312A
公开(公告)日：2014-09-24
申请号：CN201410050393.7
申请日：2014-02-13
Applicant: 株式会社日立制作所
CPC classification number: G06F11/3684
Abstract: 本发明提供一种测试用例生成方法及测试用例生成装置。根据软件规范生成囊括了该软件规范上能够输出的值的测试用例。接收软件规范，根据该软件规范生成包含针对该软件的测试输入值、以及将所述测试输入值作为输入来执行所述软件时期望作为输出值而获得的期望输出值的测试用例，确认所述软件规范上能够输出的值是否包含在所述期望输出值中，当所述确认的结果是判断为软件规范上能够输出的值不包含在所述期望输出值中时，生成由所述软件规范上能够输出的值和与其对应的测试输入值构成的测试用例，并添加到所述生成的测试用例中。
-
公开(公告)号：CN103631710A
公开(公告)日：2014-03-12
申请号：CN201310304712.8
申请日：2013-07-19
Applicant: 株式会社日立制作所
Abstract: 一种软件规范开发辅助方法以及软件规范开发辅助装置。规范检查部，对于从命题规则保存部取得的任意的检查对象的命题形式的规范和其任意的比较对象的命题形式的规范，判定2个命题形式的规范是否矛盾或重复，如果矛盾或重复，则将所述作为检查对象的命题形式的规范分解为与比较对象的命题形式的规范矛盾或重复的命题形式的规范、以及与比较对象的命题形式的规范不矛盾或不重复的命题形式的规范，登录在检查结果保存部中，决定表生成部从检查结果保存部取得所述命题形式的规范的任意一方或双方，关于各个所述命题形式的规范取出该命题形式的规范的条件部和结果部来生成决定表的行，将显示范围表示在与该命题形式的规范对应的列的相应行的栏中。
-
公开(公告)号：CN1949308A
公开(公告)日：2007-04-18
申请号：CN200610073149.8
申请日：2006-04-06
Applicant: 株式会社日立制作所
IPC: G09C1/00
CPC classification number: H04L9/3247 , H04L9/3263
Abstract: 在公钥证明书的有效期已到期之后或密钥泄漏了时，也可以验证公钥证明书等的有效性。签名履历保管装置(104)具备签名履历列表(117)和证明书列表(120)，将生成的磁滞签名的签名信息的部分作为签名记录登录在签名履历列表(117)中，将用户证明书的部分登录在证明书列表(120)中。此外，签名履历保管装置(104)具备可靠点列表(118)，恰当地或在用户证明书期限到期之前对登录在签名履历列表(117)中的签名记录进行验证，把在已验证的签名记录中确定最新的签名记录的识别信息、对验证完成的签名记录的用户证明书的有效性进行验证的证据信息以及对这些信息进行了联结的信息的散列值登录在可靠点列表(118)中。
-
公开(公告)号：CN109684190B
公开(公告)日：2022-02-22
申请号：CN201810835884.0
申请日：2018-07-26
Applicant: 株式会社日立制作所
IPC: G06F11/36
Abstract: 本发明提供一种软件测试装置和方法，用于判断具有不可预测性的软件是否进行符合预期的动作。软件测试装置包括：数据转换部，其通过计算机接收测试输入数据，将测试输入数据转换为给与软件的软件输入数据和模型输入数据；软件执行部，其接收软件输入数据，基于软件输入数据执行测试对象的软件，输出执行结果；模型执行部，其接收关于软件的参考模型，基于模型输入数据和参考模型，生成包括执行软件得到的执行结果的允许输出值范围的模型允许输出值范围；差异分析部，其基于软件执行部输出的执行结果和模型执行部生成的模型允许输出值范围，生成差异信息；和判断部，其接收评价基准，基于差异信息和评价基准，进行软件的动作的判断。
-
公开(公告)号：CN109684190A
公开(公告)日：2019-04-26
申请号：CN201810835884.0
申请日：2018-07-26
Applicant: 株式会社日立制作所
IPC: G06F11/36
Abstract: 本发明提供一种软件测试装置和方法，用于判断具有不可预测性的软件是否进行符合预期的动作。软件测试装置包括：数据转换部，其通过计算机接收测试输入数据，将测试输入数据转换为给与软件的软件输入数据和模型输入数据；软件执行部，其接收软件输入数据，基于软件输入数据执行测试对象的软件，输出执行结果；模型执行部，其接收关于软件的参考模型，基于模型输入数据和参考模型，生成包括执行软件得到的执行结果的允许输出值范围的模型允许输出值范围；差异分析部，其基于软件执行部输出的执行结果和模型执行部生成的模型允许输出值范围，生成差异信息；和判断部，其接收评价基准，基于差异信息和评价基准，进行软件的动作的判断。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.022 seconds)
