Model-Level Automatic Test Generation for UML Statecharts Export

@misc{citeulike:5036798, abstract = {We present a framework for model-level testing of behavioral UML models. For automatic test generation, we use planner algorithms to deal with the complexity of UML models. Our approach is characterized by an automatic and metamodeldriven transformation from UML statecharts to a tool independent representation of planner algorithms from which the input language of concrete planner tools can be easily derived. As a result, UML based system models can be tested in an early phase of the design prior to implementation.}, author = {Toth, Andras and Varro, Daniel and Varr\'{o}, D\'{a}niel and Pataricza, Andras}, citeulike-article-id = {5036798}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.3340}, keywords = {quality}, posted-at = {2009-07-01 21:52:13}, priority = {2}, title = {Model-Level Automatic Test Generation for UML Statecharts}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.3340}, year = {2003} }

TY - ELEC ID - citeulike:5036798 L3 - citeulike-article-id:5036798 N2 - We present a framework for model-level testing of behavioral UML models. For automatic test generation, we use planner algorithms to deal with the complexity of UML models. Our approach is characterized by an automatic and metamodeldriven transformation from UML statecharts to a tool independent representation of planner algorithms from which the input language of concrete planner tools can be easily derived. As a result, UML based system models can be tested in an early phase of the design prior to implementation. TI - Model-Level Automatic Test Generation for UML Statecharts KW - quality AU - Toth, Andras AU - Varro, Daniel AU - Varró, Dániel AU - Pataricza, Andras PY - 2003/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.3340 ER -