Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • 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
Ansvarlig organisasjon
2009 (engelsk)Licentiatavhandling, med artikler (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: Blekinge Institute of Technology , 2009. , s. 206
Serie
Blekinge Institute of Technology Licentiate Dissertation Series, ISSN 1650-2140 ; 6
HSV kategori
Identifikatorer
URN: urn:nbn:se:bth-00439Lokal ID: oai:bth.se:forskinfoF0738B5FC4CA0BBAC12575980043DEF3ISBN: 978-91-7295-163-1 (tryckt)OAI: oai:DiVA.org:bth-00439DiVA, id: diva2:835923
Tilgjengelig fra: 2012-09-18 Laget: 2009-04-14 Sist oppdatert: 2018-01-11bibliografisk kontrollert

Open Access i DiVA

fulltekst(1973 kB)827 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 1973 kBChecksum SHA-512
4fcb21ff8dd37c95e59d8853a3b86f937724eaa29ee4304c2e9857647ed60fcf5aae873911efbac057e629774e5b22943ce2a4e87e963d33d6823b26a5942eea
Type fulltextMimetype application/pdf

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 827 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

isbn
urn-nbn

Altmetric

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

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • 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