An algorithm for implementing a minimal stream X-Machine model to test the correctness of a system

The rapid change of requirements has made software more complex and harder to maintain. Software testing tools play an important role in the Software Development Life Cycle. However, many technology companies have employed fast paced development of software to meet the demands of their markets. Early released software tends to contain serious bugs and errors because they have not been tested properly during the testing process. Many current available testing tools are capable of detecting these faults; however, some of which are either outdated or cannot catch up with the constantly changing demands. Also, these testing tools concentrate more on generating efficient test sets while ignoring their effectiveness. This paper introduces an algorithm called T-SXM which is developed using the Java programming language based on the stream X-Machines theory which is an intuitive and powerful technique for modelling real world problems formally. The T-SXM algorithm is designed to provide developers with a tool to test the correctness of their implemented systems which can potentially resolve the problem of effectiveness that the other testing tools are facing.