USING SPECIFICATIONS FOR DEBUGGING PARALLEL PROGRAMS

被引：0
作者：
FREY, M
WEININGER, A
机构：
来源：
APPLICATIONS IN PARALLEL AND DISTRIBUTED COMPUTING | 1994年 / 44卷
关键词：
CONCURRENT PROGRAMMING; TESTING AND DEBUGGING; SPECIFYING AND VERIFYING AND REASONING ABOUT PROGRAMS;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Usually when a programmer develops a program he has implicitly a specification of the program in mind. During the debugging phase he looks for deviations of program runs from this specification. In this paper we present a method to support the programmer of parallel programs during the debugging process. We describe a formal model for parallel program runs and present a variant of open predicate path expressions to specify properties of the program. Then a parallel debugger can check the specification automatically against a program run.
引用
收藏
页码：135 / 144
页数：10
相关论文
共 11 条
[1]  
AUGUSTON M, 1992, LITHIDAR9216 U TEKN
[2]   HIGH-LEVEL DEBUGGING OF DISTRIBUTED SYSTEMS - THE BEHAVIORAL ABSTRACTION APPROACH [J].
BATES, PC ;
WILEDEN, JC .
JOURNAL OF SYSTEMS AND SOFTWARE, 1983, 3 (04) :255-264
[3]  
BRUEGGE B, 1983, SIGPLAN NOTICES, V18, P34, DOI 10.1145/1006142.1006157
[4]  
CAMPBELL RH, 1977, UIUCDCSR77863 U ILL
[5]  
FREY M, 1992, THESIS TU MUNCHEN MU
[6]  
FREY M, 1993, 19TH EUR C BARC
[7]  
HARTER PK, 1985, 5TH P INT C DISTR CO, P498
[8]  
HEADINGTON MR, 1985, 1985 P INT C PAR COM, P239
[9]   A NEW SOLUTION TO LAMPORT CONCURRENT PROGRAMMING PROBLEM USING SMALL SHARED VARIABLES [J].
PETERSON, GL .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1983, 5 (01) :56-65
[10]  
REISIG W, 1988, LECT NOTES COMPUT SC, V335, P121
12