测试用例生成装置、测试用例生成方法和测试用例生成程序与流程.docxVIP

PAGE PAGE 1 测试用例生成装置、测试用例生成方法和测试用例生成程序与流程 1.本发明涉及测试用例生成装置、测试用例生成办法和测试用例生成程序。尤其涉及自动生成嵌入式软件的测试用例的测试用例生成装置、测试用例生成办法和测试用例生成程序。背景技术：2.在汽车和工业机器人这样的控制设备中，搭载实用于举行各种控制的嵌入式实时软件。假如这样的软件误动作，将导致危及生命的事故。因此，需要在出厂前实施充分的测试。例如，在面对汽车的功能平安标准iso26262和面对飞机的功能平安标准do?178c中，要求根据每个测试工序确定应采纳的测试办法这样的测试要件，根据这些测试要件来实施测试。作为单体测试的测试要件的例子，按照等价划分或边界值分析来生成测试用例，由此以包含要求的方式执行测试。此外，同时要求该测试用例包含测试对象软件的源代码构造。作为源代码构造，以记述有处理的各指令行或if语句和for语句这样的分支部位为基准。用法的基准按照测试对象软件而不同。将该基准称作构造包含基准。在将指令行作为构造包含基准的状况下，测量指令包含率，该指令包含率表示通过测试用例执行了测试对象软件中包括的多少代码。在将if语句这样的分支作为构造包含基准的状况下，测量分支包含率，该分支包含率表示是否执行了代码中包括的所有分支目的地。假如指令包含率或分支包含率足够高，则推断为测试充分。3.在嵌入式实时软件中，通常具有初始状态、执行状态和结束预备状态这样的多个状态。在这样的软件中，仅输入1次测试用例无法包含源代码构造。有时需要输入多次测试用例。在此，将测试对象软件的执行单位称作步。例如，输入1次测试用例为1步。4.近年来，嵌入式实时软件的源代码变得大规模且复杂化。因此，手动生成满足软件的要求规格并包含源代码构造的涉及多步的测试用例的工时增强成为问题。5.在专利文献1中藏匿有用法有限模型检查自动生成单体测试用的多步的测试用例以应对工时增强的办法。6.在专利文献2中，在用于分析坚强性的输入值生成中，除了用法符号执行的办法以外，还藏匿有用法白盒含糊测试(white?box fuzzing)这样的非符号执行的办法。7.在专利文献3中藏匿有如下办法：在举行每个模块的基于符号执行的路径分析之后，用法各模块的信息求多个模块的合成执行路径。8.现有技术文献9.专利文献10.专利文献1：日本特开2014?063415号公报11.专利文献2：日本特开2016?167262号公报12.专利文献3：日本特开2017?204164号公报技术实现要素：13.发明要解决的课题14.在专利文献1的办法中，用法有限模型检査对是否能够生成从第1次起至达到预先设定的最大步数为止依次满足测试要件的测试用例举行分析。而且，在存在未包含的要求或分支的状况下，增强步数而反复举行测试用例生成用的分析。在该办法中，存在如下课题：当步数增强时有限模型检查对象的状态数量增强，因此，测试用例生成时光有可能未收敛于有用时光内。15.在专利文献2的办法中，组合有限模型检查这样的基于符号执行的测试用例生成和白盒含糊测试这样的基于非符号执行的测试用例生成双方。由此，能够在用法基于高速的非符号执行的生成办法尽可能地包含包含对象的基础上，用法基于牢靠的符号执行的生成办法包含残留的包含对象，减少所有测试用例生成时光。但是，因为在步数增强的状况下举行步数的分析和生成，因此，残留有测试用例生成时光随着步数的增强而增强的课题。16.在专利文献3的办法中，在根据每步提取出执行路径之后，将跨步保存的变量的信息关联起来，由此缩短测试用例生成时的涉及所有步骤的执行路径的提取时光。但是，作为用于生成测试用例的分析对象的执行路径的尺寸增强与步数相应的量，因此，与其他办法同样，测试用例生成时光有可能未收敛于有用时光内。17.这样，以往的办法无法应用于将如嵌入式实时软件那样输入在步间变幻的软件作为对象的涉及多步的测试用例的生成。18.本发明的目的在于，减少涉及多步的测试用例的生成所需的时光。19.用于解决课题的手段20.本发明的测试用例生成装置生成被输入到每次被输入值时执行1步处理的程序的测试用例，该测试用例由被输入到依次执行的i(i为2以上的整数)步处理的各个处理的测试用例输入个数的值构成，其中，该测试用例生成装置具有：21.存储器，其存储数据；22.生成控制部，在所述存储器存储有作为从1步到(i?1)步的测试用例的第(i?1)测试用例的状况下，该生成控制部挑选用法所述第(i?1)测试用例来生成作为从1步到i步的测试用例的第i测试用例的第1生成方式；以及23.测试生成部，其根据所述第1生成方式，在保持着基于所述第(i?1)测试用例的执行