[发明专利]测试用例生成方法及测试用例生成装置

说明书

技术领域

本发明涉及一种辅助软件开发的技术，特别地，涉及根据规范制作测试用例的技术。

背景技术

有时根据软件执行前的条件和该执行后的结果的对应关系定义软件的规范。由于是将这样的规范定义为从外部看到的软件的功能，因此有时也将规范称为外部规范或者功能规范。作为外部规范的表现方法，已知能够使用被称为决定表(decision table)的表格形式来表现其条件和结果的对应关系的技术，频繁使用在软件开发工程中。

另外，作为对开发的软件是否按照外部规范规定的那样运行进行确认的方法，现有一种公知的软件测试方法。软件测试有时以测试用例为单位来实施。这里所说的测试用例，是指由作为对该软件的输入值(输入数据)的测试输入值(测试输入数据)、以及将该测试输入值作为输入并执行了软件时期望作为输出值获得的期望输出值(期望输出数据)组成的数据。实际中，赋予测试输入值并执行了软件时，获得了符合期望输出值的输出值时，可以说该测试用例通过了测试。

从更严密地确认与规范的对应的观点出发，最好对尽可能多的测试用例实施测试。例如，对于规范中允许的、可取的所有输入执行测试用例而且合格时，即已经确认了该软件对于所有的值都按照规范中的规定进行运行。

但是，例如当输入被表现为多个因子的组合时，作为输入而可取的值的范围的大小因为成为各因子可取的值(将其称为标准值)的数量的积，因此变得非常大。这种情况下，对于所有测试用例执行测试，由于在现实的时间内无法结束，因此是困难的。

这样的情况下，作为一种提取实际上可实施的个数的测试用例的方法，非专利文献1中有一种公知的、称为配对法则（Pairwise法（也称为all-pair法））的方法。这是当输入被表现为多个因子的组合时，根据着眼于错误大多是由于n个(n为相对较少的数量)因子的组合造成的、称为n因子囊括的想法，大幅削减测试用例的方法。

【非专利文献1】A.Blass and Y.Gurevich,“Pairwise Testing”,Bulletin of the European Association for Theoretical Computer Science Number78,October2002,100-132.根据上述非专利文献1中公开的现有技术，即使在作为测试对象的软件中规范可取的所有输入的范围非常大的情况下，也能提取出实际上可实施的个数的测试用例。但是，该提取是基于输入的因子，对于输出并没有特别考虑。也就是说，对于构成测试用例的测试输入值，对其分布有一定的考虑，而对于对应的期望输出值则并没有考虑。

因此，关于基于上述现有技术提取出的测试用例中包含的期望输出值的分布，无法否定作为测试对象的软件在规范上能够输出的值的范围中波动的可能性。例如，提取出的测试用例中包含的期望输出值全部为相同的值时，即使作为测试对象的软件包含与输出和该期望输出值不同的值的处理相关的错误，也无法检测到该错误。这时，根据软件规范生成测试用例时，就生成了只覆盖了规范上能够输出的结果值范围中的一小部分的测试用例。

发明内容

本发明的课题是提供一种根据软件规范来生成将该软件规范上能够输出的值囊括的测试用例的测试用例生成方法、实施该方法的测试用例生成装置及程序。

为了解决上述课题，本发明的代表性的一个例子如下。即，本发明是一种根据软件规范来生成测试用例的测试用例生成装置中的测试用例生成方法。所述测试用例生成装置实施以下处理：接收所述软件规范，并存储在存储部中的处理；根据所述软件规范生成包含对该软件的测试输入值、以及将所述测试输入值作为输入来执行所述软件时期望作为输出值获得的期望输出值的测试用例，并存储在所述存储部中的处理；确认软件规范上能够输出的值是否包含在所述期望输出值中的处理；当所述确认的结果是判断为所述软件规范上能够输出的值不包含在所述期望输出值中时，生成由该软件规范上能够输出的值和与其对应的测试输入值构成的测试用例，并添加到存储在所述存储部中的所述测试用例中的处理。

根据本发明，能够根据软件规范，生成将该软件规范上能够输出的值囊括的测试用例。

附图说明

图1是表示第1实施方式的测试用例生成装置101的硬件及软件结构的一个例子的图。

图2是表示第1实施方式的软件规范131的一个例子的图。

图3是表示第1实施方式的根据软件规范生成测试用例的处理的概要的流程图。

图4是表示第1实施方式的利用配对法选择的2因子囊括的值的组的一个例子的图。