Test planning based on dynamic coverage analysis

摘要

A method for refining a test plan is provided. The method comprises defining a coverage model including: one or more variables, wherein respective values for the variables are assigned, and one or more definitions for value combinations for said variables with assigned values, wherein zero or more of said value combinations are defined according to one or more restrictions for the purpose of generating a test plan to test a system for which the coverage model is constructed; determining zero or more uncovered value combinations in the test plan; and providing means to update the test plan.

主权项

1. A method for assisting a user in modifying a test plan, the method comprising:
obtaining the test plan, wherein the test plan comprises tuples of values of variables of a coverage model, wherein each tuple represents a test in the test plan; determining, using a processor, a first set of one or more coverage holes in the test plan with respect to the coverage model and with respect to an interaction level, wherein each coverage hole is defined by a combination of values that are not covered by the test plan; and providing a graphical user interface to the user, wherein the graphical user interface comprises a graphical display window visually displaying together a first windowpane and a second windowpane, wherein the first windowpane visually displays the test plan and the second windowpane visually displaying the first set of one or more coverage holes, and in response to the user interacting with the first windowpane of the graphical user interface and indicating an update to the test plan, determining a second set of one or more coverage holes in the modified test plan and continuously and immediately updating the second windowpane of the graphical user interface to visually display the second set of one or more coverage holes in the second windowpane instead of the first set of one or more coverage holes.