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
Search-based approaches to software fault prediction and software testing
Mälardalen University, School of Innovation, Design and Engineering. Embedded Systems.ORCID iD: 0000-0003-0611-2655
2009 (English)Licentiate thesis, monograph (Other academic)
Abstract [en]

Software verification and validation activities are essential for software quality but also constitute a large part of software development costs. Therefore efficient and cost effective software verification and validation activities are both a priority and a necessity considering the pressure to decrease time-to-market and intense competition faced by many, if not all, companies today. It is then perhaps not unexpected that decisions related to software quality, when to stop testing, testing schedule and testing resource allocation needs to be as accurate as possible. This thesis investigates the application of search-based techniques within two activities of software verification and validation: Software fault prediction and software testing for non-functional system properties. Software fault prediction modeling can provide support for making important decisions as outlined above. In this thesis we empirically evaluate symbolic regression using genetic programming (a search-based technique) as a potential method for software fault predictions. Using data sets from both industrial and open-source software, the strengths and weaknesses of applying symbolic regression in genetic programming are evaluated against competitive techniques. In addition to software fault prediction this thesis also consolidates available research into predictive modeling of other attributes by applying symbolic regression in genetic programming, thus presenting a broader perspective. As an extension to the application of search-based techniques within software verification and validation this thesis further investigates the extent of application of search-based techniques for testing non-functional system properties. Based on the research findings in this thesis it can be concluded that applying symbolic regression in genetic programming may be a viable technique for software fault prediction. We additionally seek literature evidence where other search-based techniques are applied for testing of non-functional system properties, hence contributing towards the growing application of search-based techniques in diverse activities within software verification and validation.

Place, publisher, year, edition, pages
Karlskrona: Department of Systems and Software Engineering, School of Engineering, Blekinge Institute of Technology , 2009.
Series
Blekinge Institute of Technology Licentiate Dissertation Series, ISSN 1650-2140 ; 6
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-22294Libris ID: 11465138ISBN: 9789172951631 (print)OAI: oai:DiVA.org:mdh-22294DiVA: diva2:661105
Available from: 2014-02-07 Created: 2013-10-31 Last updated: 2014-02-07Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Afzal, Wasif
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Total: 81 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