Abstract
The diagnostic problems arise while the observed results of a system are different from the expectation. Model-based diagnosis is one of the approaches to solve the diagnostic problems by only usage of system description (SD), i.e. the design or the structure of the system being diagnosed, and the functions of components used in the system.SPL (Structural Programming Language) is a kind of programming language that defined by us. The programming language, SPL, contains the following properties: (1) nested control, and (2) two kinds of data structure.In this thesis, we integrate two parts: (1) semantic analysis of SPL, and (2) model-based diagnosis, into our software debugging. We propose how to model a program in SPL to system description for diagnosis by semantic analysis of this program. We can find these parts of the program that makes the executing results different from our expectation and provide corrections of the program in SPL by the approach of replacement.Finally, we use an idea of multiple case tests to eliminate some impossible single diagnoses in logical assumption, and propose the method of “empirical evaluation” between two sequential replacements to reduce the computing time of consistency check. We demonstrate this idea by examples of software program in SPL.