“来间启伸”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

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

[发明专利]软件测试装置和方法-CN201810835884.0有效
发明人： 来间启伸;小川秀人;中川雄一郎;伊藤信治;佐藤直人;明神智之 -专利权人：株式会社日立制作所
申请日： 2018-07-26 - 公布日： 2022-02-22 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种软件测试装置和方法，用于判断具有不可预测性的软件是否进行符合预期的动作。软件测试装置包括：数据转换部，其通过计算机接收测试输入数据，将测试输入数据转换为给与软件的软件输入数据和模型输入数据；软件执行部，其接收软件输入数据，基于软件输入数据执行测试对象的软件，输出执行结果；模型执行部，其接收关于软件的参考模型，基于模型输入数据和参考模型，生成包括执行软件得到的执行结果的允许输出值范围的模型允许输出值范围；差异分析部，其基于软件执行部输出的执行结果和模型执行部生成的模型允许输出值范围，生成差异信息；和判断部，其接收评价基准，基于差异信息和评价基准，进行软件的动作的判断。
软件测试装置方法

[发明专利]表形式软件规格制作支援方法及装置-CN201210018995.5有效
发明人：佐藤直人;来间启伸;三部良太;石川贞裕;只野完二;斋藤浩 -专利权人：株式会社日立制作所
申请日： 2012-01-20 - 公布日： 2012-10-03 - 主分类号： G06F9/44 文献下载
摘要：本发明提供一种表形式软件规格制作支援方法及装置，削减用于制作决定表的输入量。支援软件规格开发的装置具备命题规格受理单元、决定表制作单元以及相容性验证单元，上述决定表制作单元若从上述命题规格受理单元取得上述多个命题形式的规格，则对于上述多个命题形式的规格中的每一个，取出该命题形式的规格的条件部和结果部而制作上述决定表的行，对与该命题形式的规格对应的列的该行的栏加标记，上述相容性验证单元从上述决定表中取出多个命题形式的规格中的任意两个命题形式的规格，判断上述两个命题形式的规格的条件部的逻辑积是否为可满足，若为可满足，则输出为上述多个命题形式的规格中的每一个相互矛盾。
形式软件规格制作支援方法装置