Inlämning av Examensarbete / Submission of Thesis

Md. Abdullah Al Mamun; Aklima Khanam MSE-2009-22, pp. 51. COM/School of Computing, 2009.

The work

Författare / Author: Md. Abdullah Al Mamun, Aklima Khanam
to.mamun@yahoo.com, aklima.bth@gmail.com
Titel / Title: Concurrent Software Testing: A Systematic Review and an Evaluation of Static Analysis Tools
Abstrakt Abstract:

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.

Ämnesord / Subject: Datavetenskap - Computer Science\Software Engineering

Nyckelord / Keywords: Systematic review, concurrent software testing, testing techniques and tools, test case generation, benchmark, static analysis tools, concurrency bugs, bug patterns

Publication info

Dokument id / Document id:
Program:/ Programme Masterprogram i Software engineering 120 p/Master´s program in Software engineering 120 p
Registreringsdatum / Date of registration: 10/19/2009
Uppsatstyp / Type of thesis: Masterarbete/Master's Thesis (120 credits)

Context

Handledare / Supervisor: Prof. Dr. Håkan Grahn
hakan.grahn@bth.se
Examinator / Examiner: Dr. Robert Feldt
Organisation / Organisation: Blekinge Institute of Technology
Institution / School: COM/School of Computing

+46 455 38 50 00

Files & Access

Bifogad uppsats fil(er) / Files attached: final-thesis-report-mse-2009-22.pdf (473 kB, öppnas i nytt fönster)