[发明专利]测试用例生成装置、测试用例生成方法和测试用例生成程序

说明书

测试用例生成装置(10)对在每次被输入值时执行1个步骤的处理的软件即测试对象软件进行分析，生成为了测试该软件而输入的值的序列作为测试用例。此时，当关于状态变量，执行共用状态变量的多个步骤中的任意1个步骤的处理后的值和执行另1个步骤的处理后的值相等的情况下，等效步骤检査部(19)判定为这2个步骤是等效步骤。测试用例生成部(20)将由等效步骤检査部(19)判定为等效步骤的2个步骤中的一方排除，对测试对象软件进行分析而生成测试用例中包含的值。

技术领域

本发明涉及测试用例生成装置、测试用例生成方法和测试用例生成程序。

背景技术

在汽车和工业机器人等的控制设备中，搭载有用于进行各种控制的嵌入式实时软件。如果这样的软件误动作，将导致危及生命的事故。因此，需要在出厂前实施充分的测试。例如，在面向汽车的功能安全标准ISO26262和面向飞机的功能安全标准DO-178C中，要求按照每个测试工序来确定应采用的测试方法等作为测试要件，按照这些测试要件来实施测试。作为单体测试的测试要件的例子，根据等价划分或边界值分析来生成测试用例，由此以覆盖要求的方式执行测试，与此同时，要求该测试用例覆盖测试对象软件的源代码构造。作为源代码构造，将描述有处理的各命令行或if语句和for语句等的分支部位等作为基准。使用的基准根据测试对象软件而不同。将该基准称作构造覆盖基准。在将命令行作为构造覆盖基准的情况下，测量命令覆盖率，该命令覆盖率表示通过测试用例执行了测试对象软件中包含的多少代码。在将if语句等的分支作为构造覆盖基准的情况下，测量分支覆盖率，该分支覆盖率表示是否已经执行了代码中包含的全部分支目的地。如果命令覆盖率或分支覆盖率足够高，则判断为测试充分。

在嵌入式实时软件中，通常具有初始状态、执行状态和结束准备状态等多个状态。在这样的软件中，有时仅输入1次测试用例无法覆盖源代码构造而需要多次输入测试用例。将测试对象软件的执行单位称作步骤。例如，输入1次测试用例为1个步骤。

近年来，嵌入式实时软件的源代码变得大规模且复杂化。因此，手动地生成满足软件的要求规格并覆盖源代码构造的涉及多个步骤的测试用例的工时增加成为问题。

在专利文献1中公开有自动地生成单体测试用的多个步骤的测试用例以应对工时增加的方法。

在专利文献2中公开有如下方法：在基准测试(benchmark)程序内的反复进行同一处理的部位，处理不由于该反复而发生变化的情况下，削减反复次数。

在专利文献3中公开有如下方法：在执行某个处理块之前，处理器的内部状态与该处理块以前成为处理对象时相同的情况下，不进行与该处理块相关的处理而沿用上次信息，由此使仿真高速化。

现有技术文献

专利文献

专利文献1：日本特开2014-063415号公报

专利文献2：日本特开2003-316612号公报

专利文献3：国际公开第2015/045472号

发明内容

发明要解决的课题