-
Anglický jazyk
Toward the Static Detection of Deadlock in Java Software
Autor: Jose E. Fadul
Concurrency is the source of many real-world software reliability and security problems. Concurrency defects are difficult to detect because they defy conventional software testing techniques due to their non-local and non-deterministic nature. We focus... Viac o knihe
Na objednávku, dodanie 2-4 týždne
58.62 €
bežná cena: 61.70 €
O knihe
Concurrency is the source of many real-world software reliability and security problems. Concurrency defects are difficult to detect because they defy conventional software testing techniques due to their non-local and non-deterministic nature. We focus on one important aspect of this problem: static detection of the possibility of deadlock--a situation in which two or more processes are prevented from continuing while each waits for resources to be freed by the continuation of the other. This thesis proposes a flow-insensitive interprocedural static analysis that detects the possibility that a program can deadlock at runtime. Our analysis proceeds in two steps. The first extracts the "real" call graph decorated with acquired locks from the target program.
- Vydavateľstvo: Tradd Street Press
- Rok vydania: 2012
- Formát: Paperback
- Rozmer: 234 x 156 mm
- Jazyk: Anglický jazyk
- ISBN: 9781288335206
Nemecký jazyk 
Španielsky jazyk 