Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Concurrent Software Testing: A Systematic Review and an Evaluation of Static Analysis Tools
Blekinge Tekniska Högskola, Sektionen för datavetenskap och kommunikation.
Blekinge Tekniska Högskola, Sektionen för datavetenskap och kommunikation.
2009 (Engelska)Självständigt arbete på avancerad nivå (masterexamen)Studentuppsats (Examensarbete)
Abstract [en]

Verification and validation is one of the most important concerns in the area of software engineering towards more reliable software development. Hence it is important to overcome the challenges of testing concurrent programs. The extensive use of concurrent systems warrants more attention to the concurrent software testing. For testing concurrent software, automatic tools development is getting increased focus. The first part of this study presents a systematic review that aims to explore the state-of-the-art of concurrent software testing. The systematic review reports several issues like concurrent software characteristics, bugs, testing techniques and tools, test case generation techniques and tools, and benchmarks developed for the tools. The second part presents the evaluation of four commercial and open source static analysis tools detecting Java multithreaded bugs. An empirical evaluation of the tools would help the industry as well as the academia to learn more about the effectiveness of the static analysis tools for concurrency bugs.

Ort, förlag, år, upplaga, sidor
2009. , s. 51
Nyckelord [en]
Systematic review, concurrent software testing, testing techniques and tools, test case generation, benchmark, static analysis tools, concurrency bugs, bug patterns
Nationell ämneskategori
Programvaruteknik
Identifikatorer
URN: urn:nbn:se:bth-4310Lokalt ID: oai:bth.se:arkivex018786A0C2AFDA31C125765400542440OAI: oai:DiVA.org:bth-4310DiVA, id: diva2:831642
Uppsök
teknik
Handledare
Tillgänglig från: 2015-04-22 Skapad: 2009-10-19 Senast uppdaterad: 2025-09-30Bibliografiskt granskad

Open Access i DiVA

fulltext(462 kB)327 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 462 kBChecksumma SHA-512
967f6cf86ead87079524321b84cbe1719bc542c646f43ff2ab9031711cf21043e6d9e08a5b74c2d04fd24e0ed6cc59ab26acdb1dce83b6623997fccba57192ca
Typ fulltextMimetyp application/pdf

Av organisationen
Sektionen för datavetenskap och kommunikation
Programvaruteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 327 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 359 träffar
RefereraExporteraLänk till posten
Permanent länk

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