SUPER-RECURSIVE ALGORITHMS IN TESTING DISTRIBUTED SYSTEMS

摘要

In this paper, we show necessity of super-recursive algorithms for software testing and analyze how super-recursive algorithms can make testing more powerful, exact and efficient. The main goal is to find what kinds of testing lead to correct reliable software, to elaborate general principles for efficient testing software, and to make testing more an engineering discipline than an art. We introduce a new technological schema for testing based on super-recursive algorithms, compare testing abilities of recursive and super-recursive algorithms and demonstrate that testing software based on super-recursive algorithms can estimate much more properties of software than testing software based on recursive algorithms.