Title :
Concurrent and distributed desk checking
Author :
Hayardeny, Amiram ; Fienblit, Shachar ; Farchi, Eitan
Author_Institution :
IBM Haifa Res. Lab., Israel
Abstract :
Summary form only given. This paper discusses how to extend desk checking for concurrent and distributed programs. In addition to unbounded possible schedules, concurrent and distributed programs have execution states that include more than one process. Schedule selection guidelines that facilitate early detection and coverage are introduced. The cross-product technique assists in the selection process. Industrial pilots show that concurrent desk checking is a promising review technique for early error detection.
Keywords :
distributed programming; multiprocessing programs; program debugging; system monitoring; concurrent desk checking; concurrent programs; distributed desk checking; distributed programs; error detection; schedule selection guidelines; Education; Fault tolerant systems; Guidelines; Interleaved codes; Job shop scheduling; Manuals; Productivity; Sequential analysis; Testing; Timing;
Conference_Titel :
Parallel and Distributed Processing Symposium, 2004. Proceedings. 18th International
Print_ISBN :
0-7695-2132-0
DOI :
10.1109/IPDPS.2004.1303337