knowledge model

Paper describes the use of algorithmic knowledge models for overnight testing automation. The arhitecture of intellectual testing system is described. Algorithmic models formalization is proposed. Knowledge model interaction and execution is presented for a real world test automation system.

In this paper mathematical formalization for software system based on ontological models is proposed. Formalization is built using algebraic types system approach. Developed formal representation of models and modeling system.