Test case generation

Patent metadata

Field	Value
Publication number	US-9910941-B2
Application number	US-201615382984-A
Country	US
Kind code	B2
Filing date	Dec 19, 2016
Priority date	Dec 16, 2015
Publication date	Mar 6, 2018
Grant date	Mar 6, 2018

Abstract

Embodiments of the present invention provide methods, computer program products, and systems for generating comprehensive test cases covering new events yet to be covered. Embodiments of the present invention can be used to receive a request to generate a test case, wherein the request comprises a coverage schema associated with a first set of events to be covered in the generated test case. Embodiments of the present invention includes updating the coverage schema, wherein the updating the coverage schema comprises adding a second set of events to be covered in the generated test case and generating constraints used to satisfy requirements for meeting the first set of events and the second set of events in the updated coverage schema. Embodiments of the present invention can generate a test case using the generated constraints and the updated coverage schema.

First claim

What is claimed is:

1. A computer system comprising:
one or more computer processors;
one or more non-transitory computer readable storage media; and
program instructions stored on the one or more non-transitory computer readable storage media for execution by at least one of the one or more computer processors, the program instructions comprising:
program instructions to receive a first request to generate a first test case, wherein the first request comprises a coverage schema associated with a first set of events to be covered in the generated first test case;
program instructions to update the coverage schema, wherein the program instructions to update the coverage schema comprise program instructions to add a second set of events to be covered in the generated first test case, wherein the second set of events is determined using machine learning techniques or by performing one of a union operation, an intersection operation, or a cross-product operation between at least two events of the first set of events;
program instructions to generate constraints used to satisfy requirements for meeting the first set of events and the second set of events in the updated coverage schema;
program instructions to, responsive to generating constraints used to satisfy requirements for meeting the first set of events and the second set of events in the updated coverage schema, add the generated constraints to a constraint library;
program instructions to generate the first test case using the generated constraints and the updated coverage schema;
program instructions to perform a test simulation to identify a passing test case;
program instructions to, responsive performing a test simulation to identify a passing test case, update a coverage database to reflect the identified passing test case;
program instructions to receive a second request to generate a second test case, wherein the second request comprises a coverage schema associated with a third set of events to be covered in the generated second test case;
program instructions to update the coverage schema, wherein the program instructions to update the coverage schema comprise program instructions to add a fourth set of events to be covered in the generated second test case, wherein the fourth set of events is determined using machine learning techniques or by performing one of a union operation, an intersection operation, or a cross-product operation between at least two events of the third set of events; and
program instructions to, responsive to a failure obtained in executing the program instructions to generate constraints, transmit a notification to the constraint library to generate constraints for the second test case using machine learning techniques.

Assignees

• IBM

Inventors

• Dusanapudi Manoj
• Kadiyala Madhusudan
• Paul John

Classifications

• G06N5/01

  Dynamic search techniques; Heuristics; Dynamic trees; Branch-and-bound · CPC title

• G06F30/20 Primary

  Design optimisation, verification or simulation (optimisation, verification or simulation of circuit designs G06F30/30) · CPC title

• G06F11/3684

  for test design, e.g. generating new test cases · CPC title

• G06F11/2257

  using expert systems · CPC title

• G06F11/3676

  for coverage analysis · CPC title