logical reasoning

Situation Identification System in the Software Testing

The paper is devoted to the research and development of methods and tools for identifying problematic situations on the basis of ontologies using the mechanisms of logical inference that are used in intellectual decision support systems for software testing problems.

The important problem of software testing using ontological modeling for timely detection of errors and improvement of quality of the developed software is considered.