%0 Conference Paper %1 Murthy2006 %A Murthy, P. V.R. %A Anitha, P. C. %A Mahesh, M. %A Subramanyan, Rajesh %B SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools %C New York, NY, USA %D 2006 %I ACM %K UML algorithms based category-partition feasible model path sensitization statecharts testing tool %P 75--82 %R http://doi.acm.org/10.1145/1138953.1138968 %T Test ready UML statechart models %U http://portal.acm.org/citation.cfm?id=1138953.1138968 %X The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as systematic testing and test adequacy. We choose UML Statechart models of behavior as the basis for test generation. This paper attempts to lay a new foundation for UML Statechart based test generation by introducing Test Ready UML Statechart models that can be used by testers in the testing phases just as the conventional UML Statecharts are required during the design and development phases. In order to achieve the goal of automatic test generation based on UML Statecharts, we identify what is required over and above UML Statecharts for testers to specify so that the resulting test ready models are amenable for automatic generation of executable test scripts. The test generation problem from a Test Ready UML Statechart is solved by determining all the sentential forms derivable from an equivalent extended context free grammar model. %@ 1-59593-394-8

@inproceedings{Murthy2006, abstract = {The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as systematic testing and test adequacy. We choose UML Statechart models of behavior as the basis for test generation. This paper attempts to lay a new foundation for UML Statechart based test generation by introducing Test Ready UML Statechart models that can be used by testers in the testing phases just as the conventional UML Statecharts are required during the design and development phases. In order to achieve the goal of automatic test generation based on UML Statecharts, we identify what is required over and above UML Statecharts for testers to specify so that the resulting test ready models are amenable for automatic generation of executable test scripts. The test generation problem from a Test Ready UML Statechart is solved by determining all the sentential forms derivable from an equivalent extended context free grammar model.}, added-at = {2008-07-08T17:32:57.000+0200}, address = {New York, NY, USA}, author = {Murthy, P. V.R. and Anitha, P. C. and Mahesh, M. and Subramanyan, Rajesh}, biburl = {https://www.bibsonomy.org/bibtex/2c83e15c4de6ad694daa22c70b911a167/ist_spl}, booktitle = {SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools}, description = {MR: Interessanter Ansatz. Lässt sich leicht auf Aktivitätsdiagramme übertragen. Besonderheiten: - Kreise im Graphen werden in abgeleiteten Pfaden speziell gekennzeichnet - Das Testmodell (UML Statechart) wird als Extended Context Free Grammar interpretiert - Path Generation Algorithm - Testdaten werden ähnlich der Category-Partition-Methode modelliert - Der eigentliche Test wird parallel zur Ausführung des SUT durch ein Testscript durchgeführt, der den gefundenen Pfad verifiziert. Hierfür muss das SUT Abfragemethoden bereitstellen. Leider wird das Testorakel nicht direkt angesprochen. Man kann es aber indirekt aus dem Testmodell ableiten. Es müssen einfach alle die Bedingungen und Zustände auf einem Pfad erfüllt werden, bis zu dem Endzustand...}, doi = {http://doi.acm.org/10.1145/1138953.1138968}, interhash = {3ab706b30fdf2921a6e1618d37840ed7}, intrahash = {c83e15c4de6ad694daa22c70b911a167}, isbn = {1-59593-394-8}, keywords = {UML algorithms based category-partition feasible model path sensitization statecharts testing tool}, location = {Shanghai, China}, pages = {75--82}, publisher = {ACM}, timestamp = {2008-07-08T17:32:57.000+0200}, title = {Test ready UML statechart models}, url = {http://portal.acm.org/citation.cfm?id=1138953.1138968}, year = 2006 }