Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 3
2	Preliminaries	.... 4
2.1	Programming Language	.... 4
2.2	Specification Language	.... 5
3	Outline of A Logic Program Modification System	.... 8
3.1	Top Level of the Logic Program Madification System	.... 8
3.2	Strategies in Selecting Test Predicates and Specification Formulas	.... 8
3.3	Three Phases in the Logic Program Modification	.... 8
4	Test Case Generation Phase	.... 9
4.1	The Principle of the Test Case Generation	.... 9
4.2	Generating Test Cases for Unexpected Failure	.... 10
4.3	Generating Test Cases for Unexpected Success	.... 11
5	Bug Location Phase	.... 12
5.1	Top Level of the Bug Location	.... 12
5.2	Checking Unexpected Failure	.... 15
5.3	Checking Unexpected Success	.... 15
6	Implementation	.... 16
7	An Example of Program Modification	.... 20
8	Discussion	.... 37
9	Conclusions	.... 41
	Acknowledgements	.... 41
	References	.... 41
	End	.... 42

目次をクリックすると、PDFファイルが表示されます。