A survey and a taxonomy of approaches for testing parallel and distributed programs

Testing is a difficult and time-consuming part of the software development cycle. This is because an error may happen in an unexpected way at an unexpected spot. Testing and debugging parallel and distributed software are much more difficult than sequential software. This is due to the fact that err...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:ACS/IEEE International Conference on Computer Systems and Applications, 2001, Beirut, Lebanon s. 273 - 279
Hlavní autor: Al-Iadan, M.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 2001
Témata:
Concurrent computing
Data analysis
Debugging
Flow graphs
Information analysis
Runtime
Sequential analysis
Software testing
System recovery
Taxonomy
ISBN:9780769511658, 0769511651
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Testing is a difficult and time-consuming part of the software development cycle. This is because an error may happen in an unexpected way at an unexpected spot. Testing and debugging parallel and distributed software are much more difficult than sequential software. This is due to the fact that errors are usually reproducible in sequential programs while they may not be reproducible in parallel and distributed programs. In addition, parallel and distributed programs introduce new types of errors and anomalies, race conditions and deadlocks, that do not exist in sequential software. I present a survey and a taxonomy of existing approaches for detecting race conditions and deadlocks in parallel and distributed programs. These approaches can be classified into two main classes: static analysis techniques, and dynamic analysis techniques. I have subdivided further static analysis techniques into three different subgroups: concurrency analysis methods; data-flow analysis methods; and formal proof methods. A brief discussion highlighting the main problems in most known approaches is given. The paper concludes with tables summarizing the comparison between the surveyed approaches.
ISBN:9780769511658
0769511651
DOI:10.1109/AICCSA.2001.933988