mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Search-based approaches to software fault prediction and software testing
Mälardalens högskola, Akademin för innovation, design och teknik. Embedded Systems.ORCID-id: 0000-0003-0611-2655
2009 (engelsk)Licentiatavhandling, monografi (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
Karlskrona: Department of Systems and Software Engineering, School of Engineering, Blekinge Institute of Technology , 2009.
Serie
Blekinge Institute of Technology Licentiate Dissertation Series, ISSN 1650-2140 ; 6
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-22294Libris ID: 11465138ISBN: 9789172951631 (tryckt)OAI: oai:DiVA.org:mdh-22294DiVA, id: diva2:661105
Tilgjengelig fra: 2014-02-07 Laget: 2013-10-31 Sist oppdatert: 2014-02-07bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Personposter BETA

Afzal, Wasif

Søk i DiVA

Av forfatter/redaktør
Afzal, Wasif
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 115 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf