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
Responsible organisation
2009 (English)Licentiate thesis, comprehensive summary (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: Blekinge Institute of Technology , 2009. , p. 206
Series
Blekinge Institute of Technology Licentiate Dissertation Series, ISSN 1650-2140 ; 6
National Category
Software Engineering Computer Sciences
Identifiers
URN: urn:nbn:se:bth-00439Local ID: oai:bth.se:forskinfoF0738B5FC4CA0BBAC12575980043DEF3ISBN: 978-91-7295-163-1 (print)OAI: oai:DiVA.org:bth-00439DiVA, id: diva2:835923
Available from: 2012-09-18 Created: 2009-04-14 Last updated: 2018-01-11Bibliographically approved

Open Access in DiVA

fulltext(1973 kB)1564 downloads
File information
File name FULLTEXT01.pdfFile size 1973 kBChecksum SHA-512
4fcb21ff8dd37c95e59d8853a3b86f937724eaa29ee4304c2e9857647ed60fcf5aae873911efbac057e629774e5b22943ce2a4e87e963d33d6823b26a5942eea
Type fulltextMimetype application/pdf

Software EngineeringComputer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 1569 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

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 1390 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