Impact of automated validation on software model quality
Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Model driven development is gaining momentum, and thus, larger and more complex systems are being represented and developed with the help of modeling. Complex systems often suffer from a number of problems such as difficulties in keeping the model understandable, long compilation times and high coupling. With modeling comes the possibility to validate the models against constraints, which makes it possible to handle problems that traditional static analysis tools can't solve. This thesis is a study on to what degree the usage of automatic model validation can be a useful tool in addressing some of the problems that appear in the development of complex systems. This is done by compiling a list of validation constraints based on existing problems, implementing and applying fixes for these and measuring how a number of different aspects of the model is affected. After applying the fixes and measuring the impact on the models ,it could be seen that validation of dependencies can have a signicant impact on the models by reducing build times of the generated code. Other types of validation constraints require further study to decide what impact they might have on model quality.
Place, publisher, year, edition, pages
2013. , 44 p.
modeling, model validation, automated validation, software quality
IdentifiersURN: urn:nbn:se:liu:diva-92125ISRN: LIU-IDA/LITH-EX-A--13/016--SEOAI: oai:DiVA.org:liu-92125DiVA: diva2:620198
Subject / course
Computer and information science at the Institute of Technology
2013-04-11, Donald Knuth, B-huset. Linköpings universitet 581 83, Linköping, 09:00 (Swedish)
Sandahl, Kristian, Professor
Emanuelsson, Pär, Adj Professor