[发明专利]试验表格生成装置以及试验表格生成方法

权利要求书

1.一种试验表格生成装置，在进行使用由执行运算的运算元件和连接所述运算元件的信号线构成的逻辑图来描述的处理的试验时，生成包括作为模拟值的输入值和所述处理的输出的期待值的试验表格，其特征在于，具备：

逻辑图解析部，对保存在逻辑图保存装置中的所述逻辑图进行解析；

输入值生成部，根据所述逻辑图解析部所导出的所述逻辑图的输入点以及保存在输入规格保存装置中的所述逻辑图的输入规格，针对将所述模拟值进行了划分的每个输入值种类，生成所述输入值；

输出值生成部，针对与所述逻辑图解析部所导出的运算元件的种类对应的每个输出点，生成针对由所述输入值生成部生成的所述输入值的所述期待值；以及

表格生成部，根据所述输入值生成部所生成的所述输入值与所述输出值生成部所生成的所述期待值，生成试验表格。

2.根据权利要求1所述的试验表格生成装置，其特征在于，

所述逻辑图包括特征性的运算元件，该特征性的运算元件被输入所述模拟值并输出离散值，具有与所述模拟值进行比较来决定所述离散值的阈值，

所述输出值生成部将所述逻辑图解析部根据所述特征性的运算元件的所述阈值和位于所述特征性的运算元件的下游的输出点而导出的输出点的种类与该输出点对应起来生成期待值。

3.根据权利要求1或2所述的试验表格生成装置，其特征在于，

所述逻辑图解析部具有：

信号线追踪部，对以所述逻辑图的所述输入点为起点的信号线进行追踪；以及

运算元件检测部，检测与所述信号线追踪部所追踪的所述信号线连接的运算元件。

4.根据权利要求1或2所述的试验表格生成装置，其特征在于，

所述逻辑图解析部具有输入点对照部，该输入点对照部对所述逻辑图的输入点与所述输入规格中记载的输入点进行对照，检测与所述输入规格中记载的输入点相当的所述逻辑图的输入点。

5.根据权利要求1或2所述的试验表格生成装置，其特征在于，

所述逻辑图解析部在所述信号线的追踪中检测出的所述运算元件是2输入以上的运算元件的情况下，从与连接了该追踪中的信号线的输入不同的其他输入，在与信号的朝向相反的方向上跟踪信号线，检测与所述其他输入连接的输入点，生成包括根据规定的制约条件而决定的所述输入点的值的输入条件信息，

所述表格生成部根据所述输入条件信息、所述输入值生成部所生成的所述输入值以及所述输出值生成部所生成的期待值，来生成试验表格。

6.根据权利要求5所述的试验表格生成装置，其特征在于，

所述逻辑图解析部对于在所述相反的方向上跟踪信号线的过程中检测出的运算元件，求出对该运算元件直接或者间接地成为输入的所有的输入点的集合，向所述集合的输入点代入可组合的值来进行逻辑仿真，

生成包括满足所述制约条件的所述输入点的值的输入条件信息。

7.根据权利要求5所述的试验表格生成装置，其特征在于，

在所述制约条件中，以使所述2输入以上的运算元件中的所述追踪中的信号线的值与该2输入以上的运算元件的输出的值相等的方式，选择所述其他输入的值。

8.根据权利要求6所述的试验表格生成装置，其特征在于，

在所述制约条件中，以使所述2输入以上的运算元件中的所述追踪中的信号线的值与该2输入以上的运算元件的输出的值相等的方式，选择所述其他输入的值。

9.根据权利要求3所述的试验表格生成装置，其特征在于，

所述逻辑图解析部具有输入点对照部，该输入点对照部对所述逻辑图的输入点与所述输入规格中记载的输入点进行对照，检测与所述输入规格中记载的输入点相当的所述逻辑图的输入点。

10.一种试验表格生成方法，在进行使用由执行运算的运算元件和连接所述运算元件的信号线构成的逻辑图来描述的处理的试验时，生成包括作为模拟值的输入值和所述处理的输出的期待值的试验表格，其特征在于，包括：

输入值生成步骤，根据对所述逻辑图进行解析而导出的所述逻辑图的输入点以及所述逻辑图的输入规格，针对将所述模拟值进行了划分的每个输入值种类，生成所述输入值；

输出值生成步骤，针对与对所述逻辑图进行解析而导出的运算元件的种类对应的每个输出点，生成针对在所述输入值生成步骤中生成的所述输入值的所述期待值；以及

表格生成步骤，根据在所述输入值生成步骤中生成的所述输入值与在所述输出值生成步骤中生成的所述期待值，生成试验表格。