[发明专利]测试设计辅助装置和测试设计辅助方法

说明书

技术领域

本发明涉及测试设计辅助装置、测试设计辅助方法、程序以及计算机可读介质。

背景技术

为了确认异常动作是否由于软件等中的多个因子之间的设定的组合而发生，可以进行测试(参见专利文献1)。

另外，当一个状态由于软件等中的事件而转移至另一状态时，可以进行对于状态转移的测试。在这样的测试中，由于所有状态转移的组合的覆盖导致大量测试用例，因此需要减少测试用例的数量。这里，考虑到存在以下趋势：接近状态转移图中的一个状态转移事件的事件比远离该状态转移事件的事件更影响状态转移事件。

引用列表

专利文献

专利文献1：JP-A-2004-288034

发明内容

技术问题

本发明的目的是提供能够设计覆盖了状态转移图中的接近转移事件之间的组合的测试的测试设计辅助装置、测试设计辅助方法、程序和计算机可读介质。

解决问题的方案

[1]一种测试设计辅助装置包括：第一生成单元，其基于在描述了从一个状态转移至相同或另一状态的转移事件的状态转移图中作为起始点的具有指定状态的转移事件，来生成指示转移路径的路径信息；第一设定单元，其将包括在路径信息中的每个转移事件设定为因子并将转移事件的类型设定为水准；分配单元，其将所设定的因子与水准的组分配给具有指定大小的矩阵；提取单元，其在与路径信息中的指定距离内所包括的任意多个因子之间的所有水准有关的组合当中，提取在被分配了所述组的矩阵的任一行中没有出现的组合；以及第二生成单元，其将包括所提取的组合的行添加到矩阵中，从而生成测试矩阵。

[2]根据[1]所述的测试设计辅助装置，其中，所述距离在关注的两个因子在路径信息中彼此相邻时是指示1的信息，而在两个因子通过i个因子彼此连接时是指示(i+1)的信息，其中i为整数。

[3]根据[1]或[2]所述的测试设计辅助装置，还包括：第二设定单元，其将多个事件设定为一个转变事件，并且当从任一第一状态转移至任一第二状态的所述多个事件存在于所述状态转移图中时，第二设定单元将所述多个事件设定为所述转移事件的类型。

[4]根据[1]至[3]中任一项所述的测试设计辅助装置，其中，所述分配单元将所设定的因子与水准的组分配给具有指定大小的正交表被扩展的矩阵。

[5]一种测试设计辅助方法，其使得计算机执行处理，该处理包括：基于在描述了从一个状态转移至相同或另一状态的转移事件的状态转移图中以指定状态作为起始点的转移事件，来生成指示转移路径的路径信息；将包括在路径信息中的每个转移事件设定为因子并将所述转移事件的类型设定为水准；将所设定的因子与水准的组分配给具有指定大小的矩阵；在与所述路径信息中的指定距离内所包括的任意多个因子之间的所有水准有关的组合当中，提取在被分配了所述组的矩阵的任一行中没有出现的组合；以及将包括所提取的组合的行添加到所述矩阵中，从而生成测试矩阵。

[6]一种程序，其使得计算机执行处理，所述处理包括：基于在描述了从一个状态转移至相同或另一状态的转移事件的状态转移图中以指定状态作为起始点的转移事件，来生成指示转移路径的路径信息；将包括在路径信息中的每个转移事件设定为因子并将所述转移事件的类型设定为水准；将所设定的因子与水准的组分配给具有指定大小的矩阵；在与所述路径信息中的指定距离内所包括的任意多个因子之间的所有水准有关的组合当中，提取在被分配了所述组的矩阵的任一行中没有出现的组合；以及将包括所提取的组合的行添加到所述矩阵中，从而生成测试矩阵。

[7]一种非暂态计算机可读介质，其存储使得计算机执行处理的程序，所述处理包括：基于在描述了从一个状态转移至相同或另一状态的转移事件的状态转移图中以指定状态作为起始点的转移事件，来生成指示转移路径的路径信息；将包括在路径信息中的每个转移事件设定为因子并将所述转移事件的类型设定为水准；将所设定的因子与水准的组分配给具有指定大小的矩阵；在与所述路径信息中的指定距离内所包括的任意多个因子之间的所有水准有关的组合当中，提取在被分配了所述组的矩阵的任一行中没有出现的组合；以及将包括所提取的组合的行添加到所述矩阵中，从而生成测试矩阵。

发明的有益效果

根据配置[1]、[5]、[6]和[7]，能够设计覆盖了在状态转移图中的接近转移事件之间的组合的测试。

根据配置[2]，能够设计覆盖了在状态转移图中能够通过数量等于或小于指定数量的因子数来转移的转移事件之间的组合的测试。