liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Impact of automated validation on software model quality
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology.
2013 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

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.
Keyword [en]
modeling, model validation, automated validation, software quality
National Category
Computer Systems
URN: urn:nbn:se:liu:diva-92125ISRN: LIU-IDA/LITH-EX-A--13/016--SEOAI: diva2:620198
External cooperation
Ericsson AB
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)
Available from: 2013-05-21 Created: 2013-05-07 Last updated: 2013-05-21Bibliographically approved

Open Access in DiVA

fulltext(321 kB)163 downloads
File information
File name FULLTEXT01.pdfFile size 321 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Tufvesson, Hampus
By organisation
Software and SystemsThe Institute of Technology
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 163 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 186 hits
ReferencesLink to record
Permanent link

Direct link