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
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 (engelsk)Independent thesis Advanced level (degree of Master (Two Years))Oppgave
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.

sted, utgiver, år, opplag, sider
2009. , s. 51
Emneord [en]
Systematic review, concurrent software testing, testing techniques and tools, test case generation, benchmark, static analysis tools, concurrency bugs, bug patterns
HSV kategori
Identifikatorer
URN: urn:nbn:se:bth-4310Lokal ID: oai:bth.se:arkivex018786A0C2AFDA31C125765400542440OAI: oai:DiVA.org:bth-4310DiVA, id: diva2:831642
Uppsök
Technology
Veileder
Tilgjengelig fra: 2015-04-22 Laget: 2009-10-19 Sist oppdatert: 2025-09-30bibliografisk kontrollert

Open Access i DiVA

fulltekst(462 kB)327 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 462 kBChecksum SHA-512
967f6cf86ead87079524321b84cbe1719bc542c646f43ff2ab9031711cf21043e6d9e08a5b74c2d04fd24e0ed6cc59ab26acdb1dce83b6623997fccba57192ca
Type fulltextMimetype application/pdf

Av organisasjonen

Søk utenfor DiVA

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

urn-nbn

Altmetric

urn-nbn
Totalt: 359 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