Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Concurrent Software Testing: A Systematic Review and an Evaluation of Static Analysis Tools
Blekinge Institute of Technology, School of Computing.
Blekinge Institute of Technology, School of Computing.
2009 (English)Independent thesis Advanced level (degree of Master (Two Years))Student thesis
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.

Place, publisher, year, edition, pages
2009. , 51 p.
Keyword [en]
Systematic review, concurrent software testing, testing techniques and tools, test case generation, benchmark, static analysis tools, concurrency bugs, bug patterns
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:bth-4310Local ID: oai:bth.se:arkivex018786A0C2AFDA31C125765400542440OAI: oai:DiVA.org:bth-4310DiVA: diva2:831642
Uppsok
Technology
Supervisors
Available from: 2015-04-22 Created: 2009-10-19 Last updated: 2015-06-30Bibliographically approved

Open Access in DiVA

fulltext(462 kB)150 downloads
File information
File name FULLTEXT01.pdfFile size 462 kBChecksum SHA-512
967f6cf86ead87079524321b84cbe1719bc542c646f43ff2ab9031711cf21043e6d9e08a5b74c2d04fd24e0ed6cc59ab26acdb1dce83b6623997fccba57192ca
Type fulltextMimetype application/pdf

By organisation
School of Computing
Software Engineering

Search outside of DiVA

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

Total: 60 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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