mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
On combining model-based analysis and testing
Xdin Stockholm AB.ORCID iD: 0000-0002-1512-0844
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0001-7586-0409
2013 (English)In: Proceedings of the 2013 10th International Conference on Information Technology: New Generations, ITNG 2013, 2013, 260-266 p.Conference paper, Published paper (Refereed)
Abstract [en]

Testing a computer system is a challenging task, both due to the large number of possible test cases and the limited resources allocated for testing activities. This means that only a subset of all possible test cases can be chosen to test a system, and therefore the decision on the selection of test cases becomes important. The result of static analysis of a system can be used to help with this decision, in the context of model-based development of systems, this means that the analysis performed on a system model can be used to prioritize and guide the testing efforts. Furthermore, since models allow expression of non-functional requirements (such as performance, timing and security), model-guided testing can be used to direct testing towards specific parts of the system which have large impact on such requirements. In this paper, we focus on modeling and trade-off analysis of non-functional requirements and how static analysis helps to identify problematic parts of a system and thus guide the selection of test cases to target such parts. 

Place, publisher, year, edition, pages
2013. 260-266 p.
Keyword [en]
Model-based development, model-based testing, non-functional requirements, static analysis, test-case prioritization
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-22817DOI: 10.1109/ITNG.2013.42ISI: 000334926900040Scopus ID: 2-s2.0-84886643256ISBN: 9780769549675 (print)OAI: oai:DiVA.org:mdh-22817DiVA: diva2:664598
Conference
2013 10th International Conference on Information Technology: New Generations, ITNG 2013, 15 April 2013 through 17 April 2013, Las Vegas, NV
Available from: 2013-11-15 Created: 2013-11-15 Last updated: 2015-02-04Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Saadatmand, MehrdadSjödin, Mikael
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 20 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf