The document discusses using artificial intelligence and mathematical models in software testing. It proposes using a neural network trained on test case data to act as an automated test oracle that classifies test results as passed or failed. A mathematical model is introduced to represent the test case execution process. An algorithm is also constructed for a comparison tool to analyze results from the neural network test oracle and the actual tested software. The approach aims to help with regression testing of software by automating some of the decision making.