公开(公告)号：CN106415504B

公开(公告)日：2019-08-30

申请号：CN201580023480.6

申请日：2015-06-03

Applicant: 日立汽车系统株式会社

Inventor： 松原正裕 ,  大野敦宽 ,  根本守

IPC: G06F11/28

Abstract: 本发明的目的在于，提供一种在测试目标代码时，能够使用时序逻辑式表示合格与否基准的技术。测试用例生成系统包括：控制内容生成部，其根据运行路径信息，生成与测试运行控制内容相关的信息，所述运行路径信息是由成为检测对象的目标代码或者可运行形式文件的模型搜索到的；合格与否条件生成部，其根据针对所述检测对象的包含时间要素的检测式和所述运行路径信息，生成与合格与否条件相关的信息，所述合格与否条件是由没有时间要素的判定式和运行该判定式的时刻组合而成的；以及测试用例生成部，其根据与所述测试运行控制内容相关的信息和与所述合格与否条件相关的信息，生成具有和所述检测式对应的合格与否条件的测试用例。

公开(公告)号：CN106415504A

公开(公告)日：2017-02-15

申请号：CN201580023480.6

申请日：2015-06-03

Applicant: 日立汽车系统株式会社

Inventor： 松原正裕 ,  大野敦宽 ,  根本守

IPC: G06F11/28

Abstract: 本发明的目的在于，提供一种在测试目标代码时，能够使用时序逻辑式表示合格与否基准的技术。测试用例生成系统包括：控制内容生成部，其根据运行路径信息，生成与测试运行控制内容相关的信息，所述运行路径信息是由成为检测对象的目标代码或者可运行形式文件的模型搜索到的；合格与否条件生成部，其根据针对所述检测对象的包含时间要素的检测式和所述运行路径信息，生成与合格与否条件相关的信息，所述合格与否条件是由没有时间要素的判定式和运行该判定式的时刻组合而成的；以及测试用例生成部，其根据与所述测试运行控制内容相关的信息和与所述合格与否条件相关的信息，生成具有和所述检测式对应的合格与否条件的测试用例。