Error Detection in Concurrent Java Programs
| Autor: | Keith D. Swenson, Sreeranga P. Rajan, Tom Sidle, Graham Hughes |
|---|---|
| Rok vydání: | 2006 |
| Předmět: |
Model checking
General Computer Science Java Computer science Programming language Concurrency software verification and validation computer.software_genre model checking Theoretical Computer Science Software construction Data Corruption concurrency Software verification and validation Error detection and correction computer Software verification computer.programming_language Computer Science(all) |
| Zdroj: | Electronic Notes in Theoretical Computer Science. 144(3):45-58 |
| ISSN: | 1571-0661 |
| DOI: | 10.1016/j.entcs.2006.01.004 |
| Popis: | Concurrency in multithreaded programs introduces additional complexity in software verification and testing, and thereby significantly increases the cost of Quality Assurance (QA). We present a case study in which a specialized model checker was used to discover concurrency errors in a large preexisting code base. The results revealed race conditions that lead to data corruption errors whose detection would have been prohibitively expensive with conventional testing and QA methods. We describe our methodology and highlight parts of the methodology that could be automated. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect