Formal Test Generation from UML Models Export

@incollection{BuchsPL2006Formal, abstract = {In this paper we will explain our approach for generating test cases for a UML system model. Despite the fact that UML authors claim that UML semantics are precise enough to define non-ambiguous models, we find that the overlap of the different views makes it difficult to explore and make deductions on the state space of the modeled system in order to generate test cases. Our approach is thus based on a subset of UML (inspired from the Fondue approach) for which we have defined clear transformation semantics. We provide these semantics by delineating transformation rules using the MDA (Model Driven Architecture) architecture. We transform UML models into CO-OPN (Concurrent Object Oriented Petri Nets) ones, CO-OPN being a formal specification language defined in our Laboratory. We have also defined a language for expressing test intentions for CO-OPN models. This language allows selecting interesting executions (tests cases) of a model by providing constraints over all possible traces of that model. By exploring the model's semantics with the tools we have built for our CO-OPN language we are able to generate test cases based on those test intentions. We are also able to partially eliminate redundancy in the produced test cases by finding equivalence classes in the model operation's inputs.}, author = {Buchs, Didier and Pedro, Luis and L\'{u}cio, Levi}, citeulike-article-id = {2862179}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/11808107_7}, doi = {10.1007/11808107_7}, journal = {Dependable Systems: Software, Computing, Networks}, keywords = {mogentes, petrinets, testing}, pages = {145--171}, posted-at = {2008-06-04 19:00:20}, priority = {2}, title = {Formal Test Generation from UML Models}, url = {http://dx.doi.org/10.1007/11808107_7}, year = {2006} }

TY - CHAP ID - BuchsPL2006Formal L3 - citeulike-article-id:2862179 N2 - In this paper we will explain our approach for generating test cases for a UML system model. Despite the fact that UML authors claim that UML semantics are precise enough to define non-ambiguous models, we find that the overlap of the different views makes it difficult to explore and make deductions on the state space of the modeled system in order to generate test cases. Our approach is thus based on a subset of UML (inspired from the Fondue approach) for which we have defined clear transformation semantics. We provide these semantics by delineating transformation rules using the MDA (Model Driven Architecture) architecture. We transform UML models into CO-OPN (Concurrent Object Oriented Petri Nets) ones, CO-OPN being a formal specification language defined in our Laboratory. We have also defined a language for expressing test intentions for CO-OPN models. This language allows selecting interesting executions (tests cases) of a model by providing constraints over all possible traces of that model. By exploring the model's semantics with the tools we have built for our CO-OPN language we are able to generate test cases based on those test intentions. We are also able to partially eliminate redundancy in the produced test cases by finding equivalence classes in the model operation's inputs. JF - Dependable Systems: Software, Computing, Networks EP - 171 TI - Formal Test Generation from UML Models SP - 145 KW - mogentes KW - petrinets KW - testing AU - Buchs, Didier AU - Pedro, Luis AU - Lúcio, Levi PY - 2006/// UR - http://dx.doi.org/10.1007/11808107_7 ER -