Show simple item record

dc.contributor.authorRapos, Ericen
dc.date2012-09-26 14:18:50.838
dc.date.accessioned2012-09-27T21:09:50Z
dc.date.available2012-09-27T21:09:50Z
dc.date.issued2012-09-27
dc.identifier.urihttp://hdl.handle.net/1974/7534
dc.descriptionThesis (Master, Computing) -- Queen's University, 2012-09-26 14:18:50.838en
dc.description.abstractModel driven development (MDD) is on the rise in software engineering and no more so than in the realm of real-time and embedded systems. Being able to leverage the code generation and validation techniques made available through MDD is worth exploring, and is the focus of much academic and industrial research. However given the iterative nature of MDD, the natural evolution of models causes test case generation to occur multiple times throughout a software modeling project. Currently, the existing process of regenerating test cases for a modified model of a system can be costly, inefficient, and even redundant. The focus of this research was to achieve an improved understanding of the impact of typical model evolution steps on both the execution of the model and its test cases, and how this impact can be mitigated by reusing previously generated test cases. In this thesis we use existing techniques for symbolic execution and test case generation to perform an analysis on example models and determine how evolution affects model artifacts; these findings were then used to classify evolution steps based on their impact. From these classifications, we were able to determine exactly how to perform updates to existing symbolic execution trees and test suites in order to obtain the resulting test suites using minimal computational resources whenever possible. The approach was implemented in a software plugin, IncreTesCaGen, that is capable of incrementally generating test cases for a subset of UML-RT models by leveraging the existing testing artifacts (symbolic execution trees and test suites), as well as presenting additional analysis results to the user. Finally, we present the results of an initial evaluation of our tool, which provides insight into the tool’s performance, the effects of model evolution on execution and test case generation, as well as design tips to produce optimal models for evolution.en
dc.language.isoengen
dc.relation.ispartofseriesCanadian thesesen
dc.rightsThis publication is made available by the authority of the copyright owner solely for the purpose of private study and research and may not be copied or reproduced except as permitted by the copyright laws without written authority from the copyright owner.en
dc.subjectincrementalen
dc.subjectevolutionen
dc.subjecttest case generationen
dc.subjectmodel-driven developmenten
dc.subjectUML-RTen
dc.titleUnderstanding the Effects of Model Evolution Through Incremental Test Case Generation for UML-RT Modelsen
dc.typethesisen
dc.description.degreeM.Sc.en
dc.contributor.supervisorDingel, Juergenen
dc.contributor.departmentComputingen
dc.degree.grantorQueen's University at Kingstonen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record