Compositional Testing