logical inference

Situation awareness support system in the software testing process

The paper is devoted to the development of a prototype information system based on ontological modeling using logical inference (descriptive logic) in the process of software testing.

The actual problem of using situational awareness as a key factor in designing the decision support system is considered.

For the practical application of the developed methods of critical situations identification the software testing industry has been selected. It is related to the complexity of the software development processes and the high cost of error.