Subdomain Theory of Stateless Component Composition

Abstract

ALTHOUGH there are a myriad of ways in which software components can be combined into systems, sequence is the most interesting and fundamental. One component’s output is fed to another component as input, and the pair constitutes a series system. Intuitively, composition is easily understood in functional terms, because composition is a fundamental operation for functions. But tests do not naturally compose. If there is to be any testing-based theory of component composition, a solution must be found for composing test results.