1996 年 6 巻 1 号 p. 117-131
The purpose of this paper are ; (1)to evaluate each posterior debugging models by P-L method, (2)to characterize each debugging model by means of it′s curve, (3)to analyze the relation between the standard model and the raw model and the standard submodel and the raw submodel, (4)to divde each model into the three stages and analyze these stage models, (5)to discuss the characterization of these debugging models and give some advantage of using these models in order to apply the posterior debugging analysis.