<p> </p><p>Most software today is concurrent and are used in everything from cell-</p><p>phones, washing machines, cars to aircraft control systems. The reliability</p><p>of the concurrent software may be more or less critical, depending on which</p><p>a.o. domain it is functioning in. Irrespective of domain, the concurrent</p><p>software must be sufficiently reliable.</p><p>It is therefore interesting to study how adaptable test methods for sequential</p><p>software are to test concurrent software. Novel test methods for concurrent</p><p>software can be developed by adapting test methods for sequential software.</p><p>In this dissertation, adaptability factors have been identified by conducting</p><p>a literature survey over state-of-the-art test methods. Directions taken in</p><p>the research of concurrent software testing is described by the survey. The</p><p>survey also demonstrates differences and similarities between test methods.</p><p>Three research contributions has been achieved by this dissertation. First,</p><p>this dissertation presents a survey over state-of-the-art-test methods. The</p><p>second contribution is the identified adaptability factors that should be</p><p>added to a test method for sequential software, that will be adapted to test</p><p>concurrent software. Finally, the third contribution to the field of concurrent</p><p>software testing is the identified future work in areas where test methods for</p><p>concurrent software has not been researched much or at all.</p><p> </p>

Most software today is concurrent and are used in everything from cell- phones, washing machines, cars to aircraft control systems. The reliability of the concurrent software may be more or less critical, depending on which a.o. domain it is functioning in. Irrespective of domain, the concurrent software must be sufficiently reliable. It is therefore interesting to study how adaptable test methods for sequential software are to test concurrent software. Novel test methods for concurrent software can be developed by adapting test methods for sequential software. In this dissertation, adaptability factors have been identified by conducting a literature survey over state-of-the-art test methods. Directions taken in the research of concurrent software testing is described by the survey. The survey also demonstrates differences and similarities between test methods. Three research contributions has been achieved by this dissertation. First, this dissertation presents a survey over state-of-the-art-test methods. The second contribution is the identified adaptability factors that should be added to a test method for sequential software, that will be adapted to test concurrent software. Finally, the third contribution to the field of concurrent software testing is the identified future work in areas where test methods for concurrent software has not been researched much or at all.

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.