[发明专利]软件测试装置和方法

权利要求书

1.一种软件测试装置，其通过计算机对作为测试对象的软件提供软件输入数据，基于来自所述软件的输出数据进行所述软件的动作的判断，所述软件测试装置的特征在于，包括：

数据转换部，其接收测试输入数据，将所述测试输入数据转换为提供给所述软件的所述软件输入数据和模型输入数据；

软件执行部，其接收所述软件输入数据，基于所述软件输入数据执行测试对象的软件，输出执行结果；

模型执行部，其接收关于所述软件的参考模型，基于所述模型输入数据和所述参考模型，生成包括执行所述软件得到的执行结果的允许输出值范围的模型允许输出值范围；

差异分析部，其基于所述软件执行部输出的执行结果和所述模型执行部生成的所述模型允许输出值范围，生成差异信息；和

判断部，其接收评价基准，基于所述差异信息和所述评价基准，进行所述软件的动作的判断，

所述评价基准是一个以上权重指定的排列，所述权重指定由转移源状态名、转移目的地状态名和错误权重构成，指定在所述参考模型中发生从转移源状态名的状态向转移目的地状态名的状态的转移时、对于对应于该转移的与测试对象软件的输出之间的差异信息赋予的错误权重，

当所述测试对象软件的输出值不满足所述参考模型的允许输出值范围时，对所述差异信息的差异评价值乘以所述错误权重，获得评价，该评价除以输入数据数量的值成为所述判断部的判断结果，

作为测试对象的所述软件，是与输入数据对应的输出数据存在不可预测性、且在执行软件前不能决定输出数据的软件。

2.如权利要求1所述的软件测试装置，其特征在于：

所述测试输入数据是按时序排序的数据，在所述参考模型中用状态间的转移来描述排序，按照所述测试输入数据的顺序，所述差异分析部基于所述软件执行部输出的执行结果和所述模型允许输出值范围，生成所述差异信息。

3.如权利要求1所述的软件测试装置，其特征在于：

在所述参考模型中描述了当前状态名、所述模型输入数据、转移条件、所述执行结果的输出值范围、和满足了所述转移条件的情况下的下一状态名，

所述输出值范围是执行所述软件得到的所述执行结果的允许输出值范围或非允许输出值范围，

所述模型执行部基于所述模型输入数据和所述参考模型，在满足了所述转移条件的情况下，基于所述当前状态名和所述下一状态名生成所述模型允许输出值范围，

所述差异分析部基于所述模型允许输出值范围和执行所述软件得到的所述执行结果，生成所述差异信息。

4.如权利要求1所述的软件测试装置，其特征在于：

所述参考模型具有第一参考模型和第二参考模型，所述评价基准具有第一评价基准和第二评价基准，

所述判断部输出基于所述第一参考模型和所述第一评价基准的第一判断结果、和基于所述第二参考模型和所述第二评价基准的第二判断结果。

5.如权利要求1所述的软件测试装置，其特征在于：

所述模型执行部基于第一参考模型和所述模型输入数据，生成第一模型允许输出值范围，

所述差异分析部基于所述软件执行部输出的执行结果和所述第一模型允许输出值范围，生成由与多个所述测试输入数据对应的第一差异信息构成的差异信息系列，

所述判断部基于所述差异信息系列和第一判断基准，计算与所述测试输入数据对应的允许输出值范围，导出包括所述允许输出值范围的第二参考模型，

所述模型执行部基于所述第二参考模型和所述模型输入数据，生成第二模型允许输出值范围，

所述差异分析部基于所述软件执行部输出的执行结果和所述第二模型允许输出值范围，生成第二差异信息，

所述判断部基于所述第二差异信息和所述第一判断基准，进行所述软件的动作的判断。

6.如权利要求1所述的软件测试装置，其特征在于：

将所述软件执行部输出的执行结果作为所述模型输入数据。

7.如权利要求1所述的软件测试装置，其特征在于：

在所述软件执行部输出的执行结果处于所述允许输出值范围之外的情况下，所述判断部基于成为了范围外的所述测试输入数据，生成新的所述测试输入数据。