测试用例生成系统及记录测试用例的记录介质

摘要

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

主权项

一种测试用例生成系统，其特征在于，包括：控制内容生成部，其根据运行路径信息，生成与测试运行控制内容相关的信息，所述运行路径信息是由成为检测对象的目标代码或者可运行形式文件的模型搜索到的；合格与否条件生成部，其根据针对所述检测对象的包含时间要素的检测式和所述运行路径信息，生成与合格与否条件相关的信息，所述合格与否条件是由没有时间要素的判定式和运行该判定式的时刻组合而成的；以及测试用例生成部，其根据与所述测试运行控制内容相关的信息和与所述合格与否条件相关的信息，生成具有和所述检测式对应的合格与否条件的测试用例。